type
  R = record
    a: Int;
    b: Int
  end

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

return f(R(1, 2))

end.