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 fred(%integer i)
				mov	%i1, %o1
				call	_imp_initialise, 0
				 mov	%i0, %o0
		.LVL2:
		.LBB16:
		.LBB17:
				call	exit, 0
				 mov	0, %o0
		.LVL3:
		.LBE17:
		.LBE16:
				nop
		.LFE185:
		.Letext0:
    3     %true %if i = 1
    4     %false
    5   %end
    6   %if fred(1) %then %stop
    7   %unless fred(1) %then %stop
    8 %endofprogram
    8 Statements compiled