begin

recordformat fm(integer dummy)

record(fm)map rmap
  ownrecord(fm) rec
  rec_dummy = 1
  result == rec
end

integer i

record(fm)name recn

recn == rmap

i = recn_dummy

endofprogram