constrecord(*)name  null == (0)
begin
  recordformat fm1(integer i)
  recordformat fm2(real i)
  record (fm1) r1
  record (fm2) r2
  record (fm1) name rp1
  record (fm2) name rp2
  rp1 == r1
  rp2 == r2
  stop if rp1 == null
  stop if rp2 == null
endofprogram