fun even( x: int ) = (x mod 2 = 0);
fun odd( x: int ) = (x mod 2 = 1);