Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.globl	main
		main:
		.LFB189:
				leal	4(%esp), %ecx
				andl	$-16, %esp
				pushl	-4(%ecx)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%ebx
				pushl	%ecx
				subl	$32, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -28(%ebp)
				movl	%gs:20, %ecx
				movl	%ecx, -12(%ebp)
				xorl	%ecx, %ecx
				leal	8(%ebp), %edx
				movl	%edx, -20(%ebp)
				subl	$8, %esp
				pushl	-28(%ebp)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
				movl	$0, -16(%ebp)
		.LBB4:
		.LBB5:
				subl	$12, %esp
				pushl	-16(%ebp)
				call	exit@PLT
		.LBE5:
		.LBE4:
		.LFE189:
				.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:
		.LFB198:
				movl	(%esp), %ebx
				ret
		.LFE198:
		.Letext0:
    2   %routine do fn(%integerfn fred(%integer i))
    3     %integer x
    4     x = fred(1)
    5   %end
    6   %routine do proc(%routine fred(%integer i))
    7     fred(1)
    8   %end
    9   %routine do map(%integermap fred(%integer i))
   10     fred(1) = 1
   11   %end
   12   %routine do pred(%predicate fred(%integer i))
   13     %return %if fred(1)
   14   %end
   15
   16   %integerfn fn fred(%integer i)
   17     %result = i
   18   %end
   19
   20   %routine proc fred(%integer i)
   21   %end
?I unused
   22
   23   %integermap map fred(%integer i)
   24     %owninteger j
   25     %result == j
   26   %end
?I unused
   27
   28   %predicate pred fred(%integer i)
   29     %true %if i&1 = 0
   30     %false
   31   %end
   32
   33 %endofprogram
?PREDFRED unused
?MAPFRED unused
?PROCFRED unused
?FNFRED unused
?DOPRED unused
?DOMAP unused
?DOPROC unused
?DOFN unused
   28 Statements compiled