begin
  recordformat fm(integer a, b, c)
  record (fm) fn recfn
    ownrecord (fm) local
    result = local
  end
  integer i
  i = recfn_b
endofprogram