program()
type
  R = record
    a: Int;
    b: Int
  end

proc f() -> R
return { R; a: 1, b: 2 }

begin
  assert(f() = { R; a: 1, b: 2 })
end.