f : N -> N
f x = {? z   if 2 divides x
             let z = x // 2
      ,  x   otherwise
      ?}