Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.section	.rodata
				.align 32
		.LC0:
				.byte	10
				.string	"BUG1 FOUND"
				.zero	244
				.align 32
		.LC1:
				.byte	10
				.string	"BUG2 FOUND"
				.zero	244
				.globl	main
		main:
		.LFB189:
				leal	4(%esp), %ecx
				andl	$-16, %esp
				pushl	-4(%ecx)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%esi
				pushl	%ebx
				pushl	%ecx
				subl	$1112, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -1116(%ebp)
				movl	%gs:20, %esi
				movl	%esi, -28(%ebp)
				xorl	%esi, %esi
				subl	$8, %esp
				pushl	-1116(%ebp)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
				movl	-1104(%ebp), %eax
				movl	%eax, -1084(%ebp)
		.LBB26:
		.LBB27:
				movl	-1084(%ebp), %edx
				movl	-1100(%ebp), %eax
				movl	%eax, -1088(%ebp)
		.LBE27:
		.LBE26:
		.LBB28:
		.LBB29:
				movl	-1088(%ebp), %eax
		.LBE29:
		.LBE28:
    2    %integer %name i, t1
    3    %string (10) %name s, t2
    4    ! De-Morgan failure:
    5    %unless t1 == i %and t2 == s %then printstring("BUG1 FOUND")
				cmpl	%eax, %edx
				jne	.L17
				movl	-1096(%ebp), %eax
				movl	%eax, -1076(%ebp)
		.LBB30:
		.LBB31:
				movl	-1076(%ebp), %edx
				movl	-1092(%ebp), %eax
				movl	%eax, -1080(%ebp)
		.LBE31:
		.LBE30:
		.LBB32:
		.LBB33:
				movl	-1080(%ebp), %eax
		.LBE33:
		.LBE32:
				cmpl	%eax, %edx
				je	.L18
				jmp	.L5
		.L17:
				nop
		.L5:
		.LBB34:
				leal	-284(%ebp), %eax
				leal	.LC0@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-1052(%ebp), %eax
				leal	-284(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-540(%ebp), %eax
				leal	-1052(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE34:
		.LBB35:
		.LBB36:
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-540(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				call	_imp_printstring@PLT
				addl	$256, %esp
				jmp	.L8
		.L18:
		.LBE36:
		.LBE35:
				nop
		.L8:
				movl	-1104(%ebp), %eax
				movl	%eax, -1068(%ebp)
		.LBB37:
		.LBB38:
				movl	-1068(%ebp), %edx
				movl	-1100(%ebp), %eax
				movl	%eax, -1072(%ebp)
		.LBE38:
		.LBE37:
		.LBB39:
		.LBB40:
				movl	-1072(%ebp), %eax
		.LBE40:
		.LBE39:
    6    %if t1 ## i %and t2 ## s %then printstring("BUG2 FOUND")
				cmpl	%eax, %edx
				je	.L19
				movl	-1096(%ebp), %eax
				movl	%eax, -1060(%ebp)
		.LBB41:
		.LBB42:
				movl	-1060(%ebp), %edx
				movl	-1092(%ebp), %eax
				movl	%eax, -1064(%ebp)
		.LBE42:
		.LBE41:
		.LBB43:
		.LBB44:
				movl	-1064(%ebp), %eax
		.LBE44:
		.LBE43:
				cmpl	%eax, %edx
				je	.L20
		.LBB45:
				leal	-284(%ebp), %eax
				leal	.LC1@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-796(%ebp), %eax
				leal	-284(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %eax
				leal	-796(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE45:
		.LBB46:
		.LBB47:
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-284(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				call	_imp_printstring@PLT
				addl	$256, %esp
				jmp	.L12
		.L19:
		.LBE47:
		.LBE46:
				nop
				jmp	.L12
		.L20:
				nop
		.L12:
				movl	$0, -1056(%ebp)
		.LBB48:
		.LBB49:
				subl	$12, %esp
				pushl	-1056(%ebp)
				call	exit@PLT
		.LBE49:
		.LBE48:
		.LFE189:
				.section	.text.__x86.get_pc_thunk.bx,"axG",@progbits,__x86.get_pc_thunk.bx,comdat
				.globl	__x86.get_pc_thunk.bx
				.hidden	__x86.get_pc_thunk.bx
		__x86.get_pc_thunk.bx:
		.LFB190:
				movl	(%esp), %ebx
				ret
		.LFE190:
		.Letext0:
    7 %end %of %program
    6 Statements compiled