var b : int
fun f(a : int) : void = a = b   or false and true != false + 2 * 4 ^