1 2 3 4 5 6 7 8 9 10 11
proc f() -> Bool var a, b: Int := 5 return a = 5 & b = 5 program() begin assert(f()) return 0u8 end.