Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.align	1
				.global	main
				.thumb
				.thumb_func
		main:
		.LFB185:
				@ Volatile: function does not return.
				@ args = 0, pretend = 0, frame = 0
				@ frame_needed = 0, uses_anonymous_args = 0
		.LVL0:
				push	{r3, lr}
    2   %predicate almost equals(%real left, right)
				bl	_imp_initialise(PLT)
		.LVL1:
		.LDL1:
		.LBB6:
		.LBB7:
				movs	r0, #0
				bl	exit(PLT)
		.LVL2:
		.LBE7:
		.LBE6:
		.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