         Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.align	1
				.global	main
				.thumb
				.thumb_func
		main:
		.LFB185:
				@ args = 0, pretend = 0, frame = 0
				@ frame_needed = 0, uses_anonymous_args = 0
		.LVL0:
				push	{r3, lr}
    2     %integer i
				bl	_imp_initialise(PLT)
		.LVL1:
		.LBB4:
		.LBB5:
				movs	r0, #0
				bl	exit(PLT)
		.LVL2:
		.LBE5:
		.LBE4:
		.LFE185:
		.Letext0:
    3     ! Imp allows the declaration below even if this is absent:
    4     %recordformatspec rf
    5     %recordformat rf(%record (rf) %name next, %integer i)
    6     %record (rf) rec
    7     %record (rf) %name %array rna(0:10)
    8
    9     rec = rna(i)
   10     rec = rna(i)_next
   11 %endofprogram
    9 Statements compiled
