type R = record a: Int; b: Int end proc f() -> Int var result: Int begin if R(1, 2) = R(1, 2) then result := 0 else result := 1 end; return result end return f() end.