let
  type  rectype = int
  var rec1:rectype := rectype {name="Nobody", age=1000}
in
  rec1.name := "Somebody";
  rec1
end