Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.align	1
				.global	main
				.thumb
				.thumb_func
		main:
		.LFB185:
				@ args = 0, pretend = 0, frame = 0
				@ frame_needed = 0, uses_anonymous_args = 0
		.LVL0:
				push	{r3, lr}
    2
				bl	_imp_initialise(PLT)
		.LVL1:
		.LDL1:
		.LBB4:
		.LBB5:
				movs	r0, #0
				bl	exit(PLT)
		.LVL2:
		.LBE5:
		.LBE4:
		.LFE185:
		.Letext0:
    3   %integer X
    4   %integername XP
    5
    6   %predicate test(%integer a,b, %integername c)
    7     %true
    8   %end
?C unused
?B unused
?A unused
    9
   10   %if test(X,XP,X) %start
   11
   12   %finish
   13
   14 %endofprogram
    9 Statements compiled