proc f(): Int var a, b: Int := 5 result: Int begin if a = 5 & b = 5 then result := 0 else result := 1 end; return result end return f() end.