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 fred(%integer i)
				bl	_imp_initialise(PLT)
		.LVL1:
		.LBB16:
		.LBB17:
				movs	r0, #0
				bl	exit(PLT)
		.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