Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.globl	main
		main:
		.LFB185:
		.LVL0:
				subq	$1048, %rsp
				movq	%fs:40, %rax
				movq	%rax, 1032(%rsp)
				xorl	%eax, %eax
    2    %integer %name i, t1
				call	_imp_initialise@PLT
		.LVL1:
		.L3:
		.LBB26:
		.LBB27:
				movl	$0, %edi
				call	exit@PLT
		.LVL2:
		.LBE27:
		.LBE26:
		.LFE185:
		.Letext0:
    3    %string (10) %name s, t2
    4    ! De-Morgan failure:
    5    %unless t1 == i %and t2 == s %then printstring("BUG1 FOUND")
    6    %if t1 ## i %and t2 ## s %then printstring("BUG2 FOUND")
    7 %end %of %program
    6 Statements compiled