let
   evenodd =
     fun even (x: int) => if x = 0 then true else odd (x-1)
     and odd (x: int) => if x = 0 then false else even (x-1)
in
   (evenodd#1 (12345), evenodd#2 (12345))