Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.align	1
				.global	main
				.thumb
				.thumb_func
		main:
		.LFB185:
				@ args = 0, pretend = 0, frame = 1032
				@ frame_needed = 0, uses_anonymous_args = 0
		.LVL0:
				push	{lr}
				subw	sp, sp, #1276
				ldr	r3, .L8
		.LPIC0:
				add	r3, pc
				ldr	r2, .L8+4
				ldr	r3, [r3, r2]
				ldr	r3, [r3]
				str	r3, [sp, #1268]
    2    %integer %name i, t1
				bl	_imp_initialise(PLT)
		.LVL1:
		.L3:
		.LBB26:
		.LBB27:
				movs	r0, #0
				bl	exit(PLT)
		.LVL2:
		.L9:
				.align	2
		.L8:
				.word	_GLOBAL_OFFSET_TABLE_-(.LPIC0+4)
				.word	__stack_chk_guard(GOT)
		.LBE27:
		.LBE26:
		.LFE185:
				.section	.rodata
				.align	2
				.set	.LANCHOR0,. + 0
		.LC1:
				.byte	10
				.ascii	"BUG2 FOUND\000"
				.space	244
		.LC0:
				.byte	10
				.ascii	"BUG1 FOUND\000"
				.space	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