begin
    integer i = 16_80808080
    ! Imp allows the declaration below even if this is absent:
    recordformatspec rf
    recordformat rf(record (rf) name next, integer i)
    record (rf) rec
    record (rf) name array rna(0:10)

    rec = rna(i)
    rec = rna(i)_next
endofprogram