Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.align	2
				.global	main
		main:
		.LFB185:
		.LVL0:
				stp	x29, x30, [sp, -16]!
				add	x29, sp, 0
    2
				bl	_imp_initialise
		.LVL1:
		.LDL1:
		.LBB4:
		.LBB5:
				mov	w0, 0
				bl	exit
		.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,XP) %start
   11
   12   %finish
   13
   14 %endofprogram
    9 Statements compiled