Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
				.section	".text"
		.Ltext0:
				.align 4
				.global main
				.proc	04
		main:
		.LFB185:
		.LVL0:
				save	%sp, -176, %sp
		.LVL1:
    2   ! see if we can remove redundant *& in assignment of 'that == buff(0)'
				mov	%i1, %o1
				call	_imp_initialise, 0
				 mov	%i0, %o0
		.LVL2:
		.LBB4:
		.LBB5:
				call	exit, 0
				 mov	0, %o0
		.LVL3:
		.LBE5:
		.LBE4:
				nop
		.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