Edinburgh IMP77 Compiler - Version 8.4
    1 %CONTROL X'10000000' ; ! Decode
		.Ltext0:
				.globl	next_free_bound_index
				.bss
				.align 4
		next_free_bound_index:
				.zero	4
				.comm	_lb,384,32
				.comm	_ub,384,32
		ACKERMANN.6026:
		.LFB190:
    2 %BEGIN
				leal	4(%esp), %ecx
				andl	$-16, %esp
				pushl	-4(%ecx)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%esi
				pushl	%ebx
				pushl	%ecx
				subl	$552, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -556(%ebp)
				movl	%gs:20, %esi
				movl	%esi, -28(%ebp)
				xorl	%esi, %esi
				leal	8(%ebp), %edx
				movl	%edx, -552(%ebp)
				subl	$8, %esp
				pushl	-556(%ebp)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
    3   %INTEGERFN ACKERMANN(%INTEGER M, N)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%ebx
				subl	$20, %esp
				call	__x86.get_pc_thunk.ax
				addl	$_GLOBAL_OFFSET_TABLE_, %eax
				movl	%ecx, %ebx
				movl	%ecx, -12(%ebp)
    4
    5    %RESULT = N+1 %IF M = 0
				cmpl	$0, 8(%ebp)
				jne	.L9
				movl	12(%ebp), %eax
				addl	$1, %eax
				jmp	.L4
		.L9:
				nop
		.L3:
    6
    7    %RESULT = ACKERMANN(M-1, 1) %IF N = 0
				cmpl	$0, 12(%ebp)
				jne	.L10
				movl	8(%ebp), %eax
				subl	$1, %eax
				subl	$8, %esp
				pushl	$1
				pushl	%eax
				movl	%ebx, %ecx
				call	ACKERMANN.6026
				addl	$16, %esp
				jmp	.L4
		.L10:
				nop
		.L6:
    8
    9    %RESULT = ACKERMANN(M-1, ACKERMANN(M, N-1))
				movl	12(%ebp), %eax
				subl	$1, %eax
				subl	$8, %esp
				pushl	%eax
				pushl	8(%ebp)
				movl	%ebx, %ecx
				call	ACKERMANN.6026
				addl	$16, %esp
				movl	%eax, %edx
				movl	8(%ebp), %eax
				subl	$1, %eax
				subl	$8, %esp
				pushl	%edx
				pushl	%eax
				movl	%ebx, %ecx
				call	ACKERMANN.6026
				addl	$16, %esp
		.L4:
   10
   11   %END
				movl	-4(%ebp), %ebx
				leave
				ret
		.LFE190:
				.section	.rodata
				.align 32
		.LC0:
				.byte	17
				.string	"Ackermann(3,4) = "
				.zero	237
				.globl	main
		main:
		.LFB189:
   12
   13   %INTEGER I
   14
   15   I = ACKERMANN(3,4)
				subl	$8, %esp
				leal	-552(%ebp), %eax
				pushl	$4
				pushl	$3
				movl	%eax, %ecx
				call	ACKERMANN.6026
				addl	$16, %esp
				movl	%eax, -548(%ebp)
		.LBB9:
   16
   17   PRINT STRING("Ackermann(3,4) = "); WRITE(I, 0); NEWLINE
				leal	-284(%ebp), %eax
				leal	.LC0@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-540(%ebp), %eax
				leal	-284(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %eax
				leal	-540(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE9:
		.LBB10:
		.LBB11:
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-284(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				call	_imp_printstring@PLT
				addl	$256, %esp
		.LBE11:
		.LBE10:
				subl	$8, %esp
				pushl	$0
				pushl	-548(%ebp)
				call	_imp_writeint@PLT
				addl	$16, %esp
		.LBB12:
		.LBB13:
				call	_imp_newline@PLT
				movl	$0, -544(%ebp)
		.LBE13:
		.LBE12:
		.LBB14:
		.LBB15:
				subl	$12, %esp
				pushl	-544(%ebp)
				call	exit@PLT
		.LBE15:
		.LBE14:
		.LFE189:
				.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:
		.LFB191:
				movl	(%esp), %eax
				ret
		.LFE191:
				.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:
		.LFB192:
				movl	(%esp), %ebx
				ret
		.LFE192:
		.Letext0:
   18
   19 %ENDOFPROGRAM
   13 Statements compiled