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

proc g() -> R
  return R(1, 2)
end

proc f() -> Int
var
  result: Int
begin
  if g() = R(1, 2) then
    result := 0
  else
    result := 1
  end;
  return result
end

return f()

end.