begin

  recordformat rf(record (rf) name next, integer i)
  record (rf) rec
  integer x

  x = rec_next_i

endofprogram