Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
				.section .mdebug.abi32
				.previous
				.nan	legacy
				.module	fp=xx
				.module	nooddspreg
				.abicalls
		$Ltext0:
				.align	2
				.globl	main
				LFB185 = .
				.set	nomips16
				.set	nomicromips
				.ent	main
		main:
				.frame	$sp,32,$31		# vars= 0, regs= 1/0, args= 16, gp= 8
				.mask	0x80000000,-4
				.fmask	0x00000000,0
				.set	noreorder
				.set	nomacro
				LVL0 = .
				addiu	$sp,$sp,-32
				sw	$31,28($sp)
				lui	$28,%hi(__gnu_local_gp)
				addiu	$28,$28,%lo(__gnu_local_gp)
				.cprestore	16
    2   ! see if we can remove redundant *& in assignment of 'that == buff(0)'
				lw	$25,%call16(_imp_initialise)($28)
				.reloc	1f,R_MIPS_JALR,_imp_initialise
			1:	jalr	$25
				nop
				LVL1 = .
				lw	$28,16($sp)
				LVL2 = .
				LVL3 = .
				LBB4 = .
				LBB5 = .
				move	$4,$0
				lw	$25,%call16(exit)($28)
				.reloc	1f,R_MIPS_JALR,exit
			1:	jalr	$25
				nop
				LVL4 = .
				LBE5 = .
				LBE4 = .
				.set	macro
				.set	reorder
				.end	main
		$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