Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
				.section	".text"
		.Ltext0:
				.align 4
				.global main
				.proc	04
		main:
		.LFB185:
				.register	%g7, #ignore
		.LVL0:
				save	%sp, -1472, %sp
		.LVL1:
				ldx	[%g7+40], %g1
				stx	%g1, [%fp+2039]
				mov	0, %g1
    2    %integer %name i, t1
				mov	%i1, %o1
				call	_imp_initialise, 0
				 mov	%i0, %o0
		.LVL2:
		.L3:
		.LBB26:
		.LBB27:
				call	exit, 0
				 mov	0, %o0
		.LVL3:
		.LBE27:
		.LBE26:
				nop
		.LFE185:
				.section	".rodata"
		.LC1:
				.byte	10
				.asciz	"BUG2 FOUND"
				.skip	244
		.LC0:
				.byte	10
				.asciz	"BUG1 FOUND"
				.skip	244
				.section	".text"
		.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