(function "is_even" (b:int)
  (catch (exit even b)
   with (odd v)
     (if (== v 0) 0
         (exit even (- v 1)))
   and (even v)
     (if (== v 0) 1
         (exit odd (- v 1)))))