Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
				.option nopic
		.Ltext0:
				.align	1
				.globl	main
		main:
		.LFB185:
		.LVL0:
				add	sp,sp,-16
				sd	ra,8(sp)
    2   ! see if we can remove redundant *& in assignment of 'that == buff(0)'
				call	_imp_initialise
		.LVL1:
		.LBB4:
		.LBB5:
				li	a0,0
				call	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