Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.globl	main
		main:
		.LFB185:
		.LVL0:
				subq	$8, %rsp
    2
				call	_imp_initialise@PLT
		.LVL1:
		.LDL1:
		.LDL2:
		.LBB4:
		.LBB5:
				movl	$0, %edi
				call	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   %if test(X,XP,XP) %start
   15
   16   %finish
   17
   18 %endofprogram
   11 Statements compiled