Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
				.section	".text"
		.Ltext0:
				.align 4
				.global main
				.proc	04
		main:
		.LFB185:
		.LVL0:
				save	%sp, -176, %sp
		.LVL1:
    2   %predicate almost equals(%real left, right)
				mov	%i1, %o1
				call	_imp_initialise, 0
				 mov	%i0, %o0
		.LVL2:
		.LDL1:
		.LBB6:
		.LBB7:
				call	exit, 0
				 mov	0, %o0
		.LVL3:
		.LBE7:
		.LBE6:
				nop
		.LFE185:
		.Letext0:
    3     %true %if left * 0.999999 <= right <= left * 1.000001
    4     %true %if right * 0.999999 <= left <= right * 1.000001
    5     %false
    6   %end
    7
    8   %if almost equals(pi, 3.1415926) %start
    9   %finish
   10
   11 %endofprogram
    9 Statements compiled