Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
    2   %recordformat rf ( %integer i, %real r, %integer i2)
    3   %record (rf) rec1, rec2
    4   %own %record (rf) %name %array recna1(2:3) ;! cannot be initialised
    5   %record (rf) %name %array %name recnan1
    6
    7   rec1 = rec2
    8   recnan1 == recna1           ;! I think this should translate to RECNAN1 = RECNA1 not RECNAN1 = &RECNA1 as it currently does
    9
   10 %control 3
   11   recnan1(2) == rec1
   12   rec2 = recnan1(2)
   13 %control 0
   14
   15 %endofprogram
   12 Statements compiled