Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
		_imp_PI:
		.LFB9:
				pushl	%ebp
				movl	%esp, %ebp
				call	__x86.get_pc_thunk.ax
				addl	$_GLOBAL_OFFSET_TABLE_, %eax
				fldl	.LC0@GOTOFF(%eax)
				popl	%ebp
				ret
		.LFE9:
		ALMOSTEQUALS.6023:
		.LFB190:
				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
    2   %predicate almost equals(%real left, right)
				pushl	%ebp
				movl	%esp, %ebp
				subl	$24, %esp
				call	__x86.get_pc_thunk.ax
				addl	$_GLOBAL_OFFSET_TABLE_, %eax
				movl	%ecx, -20(%ebp)
		.LBB4:
    3     %true %if left * 0.999999 <= right <= left * 1.000001
				flds	8(%ebp)
				fldl	.LC1@GOTOFF(%eax)
				fmulp	%st, %st(1)
				flds	12(%ebp)
				fstps	-8(%ebp)
				flds	-8(%ebp)
				fxch	%st(1)
				fucomip	%st(1), %st
				fstp	%st(0)
				ja	.L15
				flds	-8(%ebp)
				flds	8(%ebp)
				fldl	.LC2@GOTOFF(%eax)
				fmulp	%st, %st(1)
				fxch	%st(1)
				fucomip	%st(1), %st
				fstp	%st(0)
				ja	.L16
		.LBE4:
				movl	$1, %eax
				jmp	.L9
		.L15:
		.LBB5:
				nop
				jmp	.L6
		.L16:
				nop
		.L6:
		.LBE5:
		.LBB6:
    4     %true %if right * 0.999999 <= left <= right * 1.000001
				flds	12(%ebp)
				fldl	.LC1@GOTOFF(%eax)
				fmulp	%st, %st(1)
				flds	8(%ebp)
				fstps	-4(%ebp)
				flds	-4(%ebp)
				fxch	%st(1)
				fucomip	%st(1), %st
				fstp	%st(0)
				ja	.L17
				flds	-4(%ebp)
				flds	12(%ebp)
				fldl	.LC2@GOTOFF(%eax)
				fmulp	%st, %st(1)
				fxch	%st(1)
				fucomip	%st(1), %st
				fstp	%st(0)
				ja	.L18
		.LBE6:
				movl	$1, %eax
				jmp	.L9
		.L17:
		.LBB7:
				nop
				jmp	.L12
		.L18:
				nop
		.L12:
		.LBE7:
    5     %false
				movl	$0, %eax
		.L9:
    6   %end
				leave
				ret
		.LFE190:
				.globl	main
		main:
		.LFB189:
    7
    8   %if almost equals(pi, 3.1415926) %start
				call	_imp_PI
				fstps	-32(%ebp)
				flds	-32(%ebp)
				subl	$8, %esp
				leal	-20(%ebp), %eax
				flds	.LC3@GOTOFF(%ebx)
				leal	-4(%esp), %esp
				fstps	(%esp)
				leal	-4(%esp), %esp
				fstps	(%esp)
				movl	%eax, %ecx
				call	ALMOSTEQUALS.6023
				addl	$16, %esp
				testl	%eax, %eax
    9   %finish
				nop
		.L20:
				movl	$0, -16(%ebp)
		.LBB8:
		.LBB9:
				subl	$12, %esp
				pushl	-16(%ebp)
				call	exit@PLT
		.LBE9:
		.LBE8:
		.LFE189:
				.section	.rodata
				.align 8
		.LC0:
				.long	1413754136
				.long	1074340347
				.align 8
		.LC1:
				.long	-417264663
				.long	1072693245
				.align 8
		.LC2:
				.long	208632331
				.long	1072693249
				.align 4
		.LC3:
				.long	1078530010
				.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:
   10
   11 %endofprogram
    9 Statements compiled