Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
				.machinemode zarch
				.machine "zEC12"
		.text
		.Ltext0:
				.align	8
		.globl main
		main:
		.LFB185:
		.LVL0:
				stmg	%r14,%r15,112(%r15)
				lay	%r15,-1448(%r15)
				ear	%r1,%a0
				sllg	%r1,%r1,32
				ear	%r1,%a1
				mvc	1440(8,%r15),40(%r1)
    2    %integer %name i, t1
				brasl	%r14,_imp_initialise@PLT
		.LVL1:
		.L3:
		.LBB26:
		.LBB27:
				lghi	%r2,0
				brasl	%r14,exit@PLT
		.LVL2:
		.LBE27:
		.LBE26:
		.LFE185:
				.section	.rodata
				.align	2
		.LC1:
				.byte	10
				.string	"BUG2 FOUND"
				.zero	244
				.align	2
		.LC0:
				.byte	10
				.string	"BUG1 FOUND"
				.zero	244
		.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