Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
				.section .mdebug.abi32
				.previous
				.nan	legacy
				.module	fp=xx
				.module	nooddspreg
				.abicalls
		$Ltext0:
				.align	2
				.globl	main
				LFB185 = .
				.set	nomips16
				.set	nomicromips
				.ent	main
		main:
				.frame	$sp,1304,$31		# vars= 1032, regs= 1/0, args= 256, gp= 8
				.mask	0x80000000,-4
				.fmask	0x00000000,0
				.set	noreorder
				.set	nomacro
				LVL0 = .
				addiu	$sp,$sp,-1304
				sw	$31,1300($sp)
				lui	$28,%hi(__gnu_local_gp)
				addiu	$28,$28,%lo(__gnu_local_gp)
				.cprestore	256
				lw	$2,%got(__stack_chk_guard)($28)
				lw	$2,0($2)
				sw	$2,1292($sp)
    2    %integer %name i, t1
				lw	$25,%call16(_imp_initialise)($28)
				.reloc	1f,R_MIPS_JALR,_imp_initialise
			1:	jalr	$25
				nop
				LVL1 = .
				lw	$28,256($sp)
				LVL2 = .
				L3 = .
				LVL3 = .
				LBB26 = .
				LBB27 = .
				move	$4,$0
				lw	$25,%call16(exit)($28)
				.reloc	1f,R_MIPS_JALR,exit
			1:	jalr	$25
				nop
				LVL4 = .
				LBE27 = .
				LBE26 = .
				.set	macro
				.set	reorder
				.end	main
		$LFE185:
				.rdata
				.align	2
		$LC1:
				.byte	10
				.ascii	"BUG2 FOUND\000"
				.space	244
				.align	2
		$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