Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.align	2
				.global	main
		main:
		.LFB185:
		.LVL0:
				stp	x29, x30, [sp, -16]!
				add	x29, sp, 0
    2   ! see if we can remove redundant *& in assignment of 'that == buff(0)'
				bl	_imp_initialise
		.LVL1:
		.LBB4:
		.LBB5:
				mov	w0, 0
				bl	exit
		.LVL2:
		.LBE5:
		.LBE4:
		.LFE185:
		.Letext0:
    3   %recordformat bfm(%integer i, j)
    4
    5   ! BUG: currently the '*' is missing from the map declaration
    6   %record(bfm)%map   buff(%integer addr)
    7   %record(bfm)  this
    8     %result == this
    9   %end;
?ADDR unused
   10        ;          !  of 'buff'
   10
   11   %record (bfm) %name  that
   12
   13   that == buff(0)
   14
   15 %endofprogram
    9 Statements compiled