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   %integer I
				lw	$25,%call16(_imp_initialise)($28)
				.reloc	1f,R_MIPS_JALR,_imp_initialise
			1:	jalr	$25
				nop
				LVL1 = .
				lw	$28,16($sp)
				LVL2 = .
				LVL3 = .
				LDL1 = .
				LBB12 = .
				LBB13 = .
				move	$4,$0
				lw	$25,%call16(exit)($28)
				.reloc	1f,R_MIPS_JALR,exit
			1:	jalr	$25
				nop
				LVL4 = .
				LBE13 = .
				LBE12 = .
				.set	macro
				.set	reorder
				.end	main
		$LFE185:
		$Letext0:
    3   %integername N
    4   %integerfn F
    5     %result = I
    6   %end
    7   %routine R
    8   %end
    9   %integermap M
   10     %result == I
   11   %end
   12   %predicate P
   13     %true
   14   %end
   15   %if P %start
   16     R
   17     N == I
   18     N = I
   19     I = F
   20     I = M
   21     I = N
   22     M = I
   23   %finish
   24 %endofprogram
   24 Statements compiled