Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
				.machine ppc
				.section	".text"
		.Ltext0:
				.align 2
				.globl main
		main:
		.LFB185:
		.LVL0:
				stwu 1,-16(1)
				mflr 0
				stw 0,20(1)
    2   %predicate fred(%integer i)
				bl _imp_initialise
		.LVL1:
		.LBB16:
		.LBB17:
				li 3,0
				bl exit
		.LVL2:
		.LBE17:
		.LBE16:
		.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