Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
				NO_APP
		.Ltext0:
				.align	2
				.globl	main
		main:
		.LFB185:
		.LVL0:
		 		link.w %fp,#0
    2   %predicate fred(%integer i)
		 		move.l 12(%fp),-(%sp)
		 		move.l 8(%fp),-(%sp)
		 		jsr _imp_initialise
		.LVL1:
		.LBB16:
		.LBB17:
		 		clr.l -(%sp)
		 		jsr 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