begin
  recordformat fm(integer a, b, c)
  record (fm) map recmap
    ownrecord (fm) local
    result == local
  end
  recmap_b = 42
endofprogram