type
  R = record
    x, y: Int
  end

proc f(): Int
var
  r: R := R{x: 3, y: 2}
return r.x + r.y


begin
  assert(f() = 5)
end.