Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.align	2
				.global	main
		main:
		.LFB185:
		.LVL0:
				sub	sp, sp, #1312
				stp	x29, x30, [sp]
				add	x29, sp, 0
				adrp	x2, :got:__stack_chk_guard
				ldr	x2, [x2, #:got_lo12:__stack_chk_guard]
				ldr	x3, [x2]
				str	x3, [x29, 1304]
				mov	x3,0
    2    %integer %name i, t1
				bl	_imp_initialise
		.LVL1:
		.L3:
		.LBB26:
		.LBB27:
				mov	w0, 0
				bl	exit
		.LVL2:
		.LBE27:
		.LBE26:
		.LFE185:
				.section	.rodata
				.align	3
				.set	.LANCHOR0,. + 0
		.LC1:
				.byte	10
				.string	"BUG2 FOUND"
				.zero	244
		.LC0:
				.byte	10
				.string	"BUG1 FOUND"
				.zero	244
		.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