begin
  recordformat newtype(record (newtype) name link, integer i)
endofprogram