Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
		F.6024:
		.LFB190:
				leal	4(%esp), %ecx
				andl	$-16, %esp
				pushl	-4(%ecx)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%ebx
				pushl	%ecx
				subl	$48, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -44(%ebp)
				movl	%gs:20, %ecx
				movl	%ecx, -12(%ebp)
				xorl	%ecx, %ecx
				leal	8(%ebp), %edx
				movl	%edx, -16(%ebp)
				subl	$8, %esp
				pushl	-44(%ebp)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
    2   %integer I
    3   %integername N
    4   %integerfn F
				pushl	%ebp
				movl	%esp, %ebp
				subl	$40, %esp
				call	__x86.get_pc_thunk.ax
				addl	$_GLOBAL_OFFSET_TABLE_, %eax
				movl	%ecx, %eax
				movl	%ecx, -28(%ebp)
				movl	%gs:20, %edx
				movl	%edx, -12(%ebp)
				xorl	%edx, %edx
    5     %result = I
				movl	(%eax), %eax
    6   %end
				movl	-12(%ebp), %edx
				xorl	%gs:20, %edx
				je	.L3
				call	__stack_chk_fail_local
		.L3:
				leave
				ret
		.LFE190:
				.globl	main
		main:
		.LFB189:
    7   %routine R
				pushl	%ebp
				movl	%esp, %ebp
				subl	$4, %esp
				call	__x86.get_pc_thunk.ax
				addl	$_GLOBAL_OFFSET_TABLE_, %eax
				movl	%ecx, -4(%ebp)
    8   %end
				nop
				leave
				ret
		.LFE191:
		M.6030:
		.LFB192:
    9   %integermap M
				pushl	%ebp
				movl	%esp, %ebp
				subl	$40, %esp
				call	__x86.get_pc_thunk.ax
				addl	$_GLOBAL_OFFSET_TABLE_, %eax
				movl	%ecx, %eax
				movl	%ecx, -28(%ebp)
				movl	%gs:20, %edx
				movl	%edx, -12(%ebp)
				xorl	%edx, %edx
   10     %result == I
   11   %end
				movl	-12(%ebp), %edx
				xorl	%gs:20, %edx
				je	.L13
				call	__stack_chk_fail_local
		.L13:
				leave
				ret
		.LFE192:
		P.6033:
		.LFB193:
   12   %predicate P
				pushl	%ebp
				movl	%esp, %ebp
				subl	$4, %esp
				call	__x86.get_pc_thunk.ax
				addl	$_GLOBAL_OFFSET_TABLE_, %eax
				movl	%ecx, -4(%ebp)
   13     %true
				movl	$1, %eax
   14   %end
				leave
				ret
		.LFE193:
				.section	.text.__x86.get_pc_thunk.ax,"axG",@progbits,__x86.get_pc_thunk.ax,comdat
				.globl	__x86.get_pc_thunk.ax
				.hidden	__x86.get_pc_thunk.ax
		__x86.get_pc_thunk.ax:
		.LFB194:
				movl	(%esp), %eax
				ret
		.LFE194:
				.section	.text.__x86.get_pc_thunk.bx,"axG",@progbits,__x86.get_pc_thunk.bx,comdat
				.globl	__x86.get_pc_thunk.bx
				.hidden	__x86.get_pc_thunk.bx
		__x86.get_pc_thunk.bx:
		.LFB195:
				movl	(%esp), %ebx
				ret
		.LFE195:
		.Letext0:
   15   %if P %start
				leal	-20(%ebp), %eax
				movl	%eax, %ecx
				call	P.6033
				testl	%eax, %eax
				je	.L8
				nop
		.L6:
				movl	$0, -24(%ebp)
		.LBB4:
		.LBB5:
				subl	$12, %esp
				pushl	-24(%ebp)
				call	exit@PLT
		.LBE5:
		.LBE4:
		.LFE189:
		R.6027:
		.LFB191:
   16     R
				leal	-20(%ebp), %eax
				movl	%eax, %ecx
				call	R.6027
   17     N == I
				leal	-20(%ebp), %eax
				movl	%eax, -28(%ebp)
   18     N = I
				movl	-20(%ebp), %edx
				movl	-28(%ebp), %eax
				movl	%edx, (%eax)
   19     I = F
				leal	-20(%ebp), %eax
				movl	%eax, %ecx
				call	F.6024
				movl	%eax, -20(%ebp)
   20     I = M
				leal	-20(%ebp), %eax
				movl	%eax, %ecx
				call	M.6030
				movl	(%eax), %eax
				movl	%eax, -20(%ebp)
   21     I = N
				movl	-28(%ebp), %eax
				movl	(%eax), %eax
				movl	%eax, -20(%ebp)
   22     M = I
				leal	-20(%ebp), %eax
				movl	%eax, %ecx
				call	M.6030
				movl	%eax, %edx
				movl	-20(%ebp), %eax
				movl	%eax, (%edx)
				jmp	.L6
		.L8:
   23   %finish
   24 %endofprogram
   24 Statements compiled