Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
		TEST.6026:
		.LFB190:
				leal	4(%esp), %ecx
				andl	$-16, %esp
				pushl	-4(%ecx)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%esi
				pushl	%ebx
				pushl	%ecx
				subl	$60, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -60(%ebp)
				movl	%gs:20, %esi
				movl	%esi, -28(%ebp)
				xorl	%esi, %esi
				leal	8(%ebp), %edx
				movl	%edx, -40(%ebp)
				subl	$8, %esp
				pushl	-60(%ebp)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
    2
    3   %integer X
    4   %integername XP
    5
    6   %predicate test(%integer a,b, %integername c)
				pushl	%ebp
				movl	%esp, %ebp
				subl	$4, %esp
				call	__x86.get_pc_thunk.ax
				addl	$_GLOBAL_OFFSET_TABLE_, %eax
				movl	%ecx, -4(%ebp)
    7     %true
				movl	$1, %eax
    8   %end
				leave
				ret
		.LFE190:
				.globl	main
		main:
		.LFB189:
?C unused
?B unused
?A unused
    9
   10   %if test(X,XP,X) %start
				movl	-36(%ebp), %eax
				movl	(%eax), %ecx
				movl	-44(%ebp), %edx
				subl	$4, %esp
				leal	-40(%ebp), %eax
				leal	-44(%ebp), %esi
				pushl	%esi
				pushl	%ecx
				pushl	%edx
				movl	%eax, %ecx
				call	TEST.6026
				addl	$16, %esp
				testl	%eax, %eax
   11
   12   %finish
				nop
		.L4:
   13
   14   %if test(X,XP,XP) %start
				movl	-36(%ebp), %eax
				movl	(%eax), %ecx
				movl	-44(%ebp), %edx
				subl	$4, %esp
				leal	-40(%ebp), %eax
				pushl	-36(%ebp)
				pushl	%ecx
				pushl	%edx
				movl	%eax, %ecx
				call	TEST.6026
				addl	$16, %esp
				testl	%eax, %eax
   15
   16   %finish
				nop
		.L5:
				movl	$0, -32(%ebp)
		.LBB4:
		.LBB5:
				subl	$12, %esp
				pushl	-32(%ebp)
				call	exit@PLT
		.LBE5:
		.LBE4:
		.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:
   17
   18 %endofprogram
   11 Statements compiled