begin
  recordformat F1(integer I)
  recordformat F2(integer J,record(F1)name R)
endofprogram