Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
				NO_APP
		.Ltext0:
				.align	2
				.globl	main
		main:
		.LFB185:
		.LVL0:
		 		link.w %fp,#-1024
    2    %integer %name i, t1
		 		move.l 12(%fp),-(%sp)
		 		move.l 8(%fp),-(%sp)
		 		jsr _imp_initialise
		.LVL1:
    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
		 		addq.l #8,%sp
		.L3:
		.LVL2:
		.LBB26:
		.LBB27:
		 		clr.l -(%sp)
		 		jsr exit
		.LVL3:
		.LBE27:
		.LBE26:
		.LFE185:
				.section	.rodata
		.LC1:
		 		.byte	10
		 		.string	"BUG2 FOUND"
		 		.zero	244
		.LC0:
		 		.byte	10
		 		.string	"BUG1 FOUND"
		 		.zero	244
		.Letext0:
    6 Statements compiled