Edinburgh IMP77 Compiler - Version 8.4
    1 %BEGIN
		.Ltext0:
				.section	.rodata
				.align 32
		.LC8:
				.byte	11
				.string	"CHECK FAILS"
				.zero	243
		CHECK.6028:
		.LFB190:
				leal	4(%esp), %ecx
				andl	$-16, %esp
				pushl	-4(%ecx)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%esi
				pushl	%ebx
				pushl	%ecx
				subl	$4664, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -4668(%ebp)
				movl	%gs:20, %esi
				movl	%esi, -28(%ebp)
				xorl	%esi, %esi
				leal	8(%ebp), %edx
				movl	%edx, -32(%ebp)
				subl	$8, %esp
				pushl	-4668(%ebp)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
		.LBB50:
		.LBB51:
    2 %owninteger Fail=0
    3 %STRING(30)S,T,U
    4 %ROUTINESPEC CHECK(%STRING(30) P,Q,R)
    5       S=""; T=S
				movb	$0, -544(%ebp)
				movl	$0, -543(%ebp)
				leal	-539(%ebp), %edx
				movl	$0, %eax
				movb	%al, (%edx)
				addl	$1, %edx
				movw	%ax, (%edx)
				addl	$2, %edx
				movl	$62, %ecx
				movl	%edx, %edi
				rep stosl
				leal	-4128(%ebp), %eax
				leal	-544(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE51:
				leal	-544(%ebp), %eax
				leal	-4128(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-544(%ebp), %eax
		.LBE50:
				subl	$4, %esp
				pushl	$30
				pushl	%eax
				leal	-288(%ebp), %eax
				pushl	%eax
				call	_imp_strncpy@PLT
				addl	$16, %esp
		.LBB52:
				leal	-544(%ebp), %eax
				leal	-288(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-544(%ebp), %eax
		.LBE52:
				subl	$4, %esp
				pushl	$30
				pushl	%eax
				leal	-4640(%ebp), %eax
				pushl	%eax
				call	_imp_strncpy@PLT
				addl	$16, %esp
		.LBB53:
    6       PRINTSTRING("BUG0") %UNLESS T=""
				movb	$0, -544(%ebp)
				movl	$0, -543(%ebp)
				leal	-539(%ebp), %edx
				movl	$0, %eax
				movb	%al, (%edx)
				addl	$1, %edx
				movw	%ax, (%edx)
				addl	$2, %edx
				movl	$62, %ecx
				movl	%edx, %edi
				rep stosl
				leal	-544(%ebp), %eax
		.LBE53:
				subl	$8, %esp
				pushl	%eax
				leal	-4640(%ebp), %eax
				pushl	%eax
				call	_imp_strcmp@PLT
				addl	$16, %esp
				testl	%eax, %eax
				je	.L27
		.LBB54:
				leal	-544(%ebp), %eax
				leal	.LC0@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-3872(%ebp), %eax
				leal	-544(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-1312(%ebp), %eax
				leal	-3872(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE54:
		.LBB55:
		.LBB56:
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-1312(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				call	_imp_printstring@PLT
				addl	$256, %esp
				jmp	.L15
		.L27:
		.LBE56:
		.LBE55:
				nop
		.L15:
		.LBB57:
    7       CHECK(S,T,"")
				leal	-544(%ebp), %edx
				movl	$0, %eax
				movl	$64, %ecx
				movl	%edx, %edi
				rep stosl
				leal	-3616(%ebp), %eax
				leal	-544(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE57:
		.LBB58:
				leal	-544(%ebp), %eax
				leal	-4640(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-544(%ebp), %eax
				movl	%eax, -4672(%ebp)
		.LBE58:
		.LBB59:
				leal	-544(%ebp), %eax
				leal	-288(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-544(%ebp), %edi
				movl	%edi, -4676(%ebp)
		.LBE59:
				leal	-288(%ebp), %ecx
				movl	%ecx, -4680(%ebp)
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-3616(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edx
				movl	-4672(%ebp), %esi
				movl	$64, %eax
				movl	%edx, %edi
				movl	%eax, %ecx
				rep movsl
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edx
				movl	-4676(%ebp), %esi
				movl	$64, %eax
				movl	%edx, %edi
				movl	%eax, %ecx
				rep movsl
				movl	-4680(%ebp), %ecx
				call	CHECK.6028
				addl	$768, %esp
		.LBB60:
		.LBB61:
    8       S="ABCD"; T=S
				leal	-544(%ebp), %eax
				leal	.LC1@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-3360(%ebp), %eax
				leal	-544(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE61:
				leal	-544(%ebp), %eax
				leal	-3360(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-544(%ebp), %eax
		.LBE60:
				subl	$4, %esp
				pushl	$30
				pushl	%eax
				leal	-288(%ebp), %eax
				pushl	%eax
				call	_imp_strncpy@PLT
				addl	$16, %esp
		.LBB62:
				leal	-544(%ebp), %eax
				leal	-288(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-544(%ebp), %eax
		.LBE62:
				subl	$4, %esp
				pushl	$30
				pushl	%eax
				leal	-4640(%ebp), %eax
				pushl	%eax
				call	_imp_strncpy@PLT
				addl	$16, %esp
		.LBB63:
    9       CHECK(S,T,"ABCD")
				leal	-544(%ebp), %edx
				movl	$0, %eax
				movl	$64, %ecx
				movl	%edx, %edi
				rep stosl
				movb	$4, -544(%ebp)
				movl	$1145258561, -543(%ebp)
				movl	$0, -539(%ebp)
				leal	-535(%ebp), %eax
				movl	$0, %edx
				movb	%dl, (%eax)
				addl	$1, %eax
				movw	%dx, (%eax)
				addl	$2, %eax
				movl	$19, %ecx
				movl	%ecx, %esi
				andl	$-4, %esi
				movl	$0, %ecx
		.L16:
				movl	%edx, (%eax,%ecx)
				addl	$4, %ecx
				cmpl	%esi, %ecx
				jb	.L16
				addl	%ecx, %eax
				movw	%dx, (%eax)
				addl	$2, %eax
				movb	%dl, (%eax)
				addl	$1, %eax
				leal	-3104(%ebp), %eax
				leal	-544(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE63:
		.LBB64:
				leal	-544(%ebp), %eax
				leal	-4640(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-544(%ebp), %eax
				movl	%eax, -4672(%ebp)
		.LBE64:
		.LBB65:
				leal	-544(%ebp), %eax
				leal	-288(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-544(%ebp), %edi
				movl	%edi, -4676(%ebp)
		.LBE65:
				leal	-288(%ebp), %ecx
				movl	%ecx, -4680(%ebp)
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-3104(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edx
				movl	-4672(%ebp), %esi
				movl	$64, %eax
				movl	%edx, %edi
				movl	%eax, %ecx
				rep movsl
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edx
				movl	-4676(%ebp), %esi
				movl	$64, %eax
				movl	%edx, %edi
				movl	%eax, %ecx
				rep movsl
				movl	-4680(%ebp), %ecx
				call	CHECK.6028
				addl	$768, %esp
		.LBB66:
		.LBB67:
   10       %UNLESS "MAST"<="MEST"<="MOST" %THEN Fail=1 %and PRINTSTRING("BUG1")
				leal	-544(%ebp), %eax
				leal	.LC2@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-544(%ebp), %eax
		.LBE67:
				movl	%eax, -4652(%ebp)
		.LBB68:
				leal	-544(%ebp), %eax
				leal	.LC3@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-544(%ebp), %eax
		.LBE68:
				subl	$8, %esp
				pushl	-4652(%ebp)
				pushl	%eax
				call	_imp_strcmp@PLT
				addl	$16, %esp
				testl	%eax, %eax
				jg	.L28
		.LBB69:
				leal	-544(%ebp), %eax
				leal	.LC4@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-544(%ebp), %eax
		.LBE69:
				subl	$8, %esp
				pushl	%eax
				pushl	-4652(%ebp)
				call	_imp_strcmp@PLT
				addl	$16, %esp
				testl	%eax, %eax
				jle	.L29
		.LBE66:
				jmp	.L19
		.L28:
		.LBB70:
				nop
		.L19:
		.LBE70:
				movl	$1, FAIL.6021@GOTOFF(%ebx)
		.LBB71:
				leal	-544(%ebp), %eax
				leal	.LC5@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-2848(%ebp), %eax
				leal	-544(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-1056(%ebp), %eax
				leal	-2848(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE71:
		.LBB72:
		.LBB73:
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-1056(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				call	_imp_printstring@PLT
				addl	$256, %esp
				jmp	.L20
		.L29:
		.LBE73:
		.LBE72:
		.LBB74:
				nop
		.L20:
		.LBE74:
		.LBB75:
		.LBB76:
   11       S="MAST"; T="MEST"; U="MOST"
				leal	-544(%ebp), %eax
				leal	.LC3@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-2592(%ebp), %eax
				leal	-544(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE76:
				leal	-544(%ebp), %eax
				leal	-2592(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-544(%ebp), %eax
		.LBE75:
				subl	$4, %esp
				pushl	$30
				pushl	%eax
				leal	-288(%ebp), %eax
				pushl	%eax
				call	_imp_strncpy@PLT
				addl	$16, %esp
		.LBB77:
		.LBB78:
				leal	-544(%ebp), %eax
				leal	.LC2@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-2336(%ebp), %eax
				leal	-544(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE78:
				leal	-544(%ebp), %eax
				leal	-2336(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-544(%ebp), %eax
		.LBE77:
				subl	$4, %esp
				pushl	$30
				pushl	%eax
				leal	-4640(%ebp), %eax
				pushl	%eax
				call	_imp_strncpy@PLT
				addl	$16, %esp
		.LBB79:
		.LBB80:
				leal	-544(%ebp), %eax
				leal	.LC4@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-2080(%ebp), %eax
				leal	-544(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE80:
				leal	-544(%ebp), %eax
				leal	-2080(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-544(%ebp), %eax
		.LBE79:
				subl	$4, %esp
				pushl	$30
				pushl	%eax
				leal	-4384(%ebp), %eax
				pushl	%eax
				call	_imp_strncpy@PLT
				addl	$16, %esp
		.LBB81:
   12       %UNLESS S<=T<=U %THEN Fail=1 %and PRINTSTRING("BUG2")
				leal	-4640(%ebp), %eax
				movl	%eax, -4648(%ebp)
				subl	$8, %esp
				pushl	-4648(%ebp)
				leal	-288(%ebp), %eax
				pushl	%eax
				call	_imp_strcmp@PLT
				addl	$16, %esp
				testl	%eax, %eax
				jg	.L30
				subl	$8, %esp
				leal	-4384(%ebp), %eax
				pushl	%eax
				pushl	-4648(%ebp)
				call	_imp_strcmp@PLT
				addl	$16, %esp
				testl	%eax, %eax
				jle	.L31
		.LBE81:
				jmp	.L22
		.L30:
		.LBB82:
				nop
		.L22:
		.LBE82:
				movl	$1, FAIL.6021@GOTOFF(%ebx)
		.LBB83:
				leal	-544(%ebp), %eax
				leal	.LC6@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-1824(%ebp), %eax
				leal	-544(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-800(%ebp), %eax
				leal	-1824(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE83:
		.LBB84:
		.LBB85:
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-800(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				call	_imp_printstring@PLT
				addl	$256, %esp
				jmp	.L23
		.L31:
		.LBE85:
		.LBE84:
		.LBB86:
				nop
		.L23:
		.LBE86:
   13       %if Fail=0 %then printstring("TEST OK")
				movl	FAIL.6021@GOTOFF(%ebx), %eax
				testl	%eax, %eax
				jne	.L32
		.LBB87:
				leal	-544(%ebp), %eax
				leal	.LC7@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-1568(%ebp), %eax
				leal	-544(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-544(%ebp), %eax
				leal	-1568(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE87:
		.LBB88:
		.LBB89:
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-544(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				call	_imp_printstring@PLT
				addl	$256, %esp
				jmp	.L25
		.L32:
		.LBE89:
		.LBE88:
				nop
		.L25:
				movl	$0, -4644(%ebp)
		.LBB90:
		.LBB91:
				subl	$12, %esp
				pushl	-4644(%ebp)
				call	exit@PLT
		.LBE91:
		.LBE90:
		.LFE189:
				.comm	FAIL.6021,4,4
				.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:
		.LFB191:
				movl	(%esp), %ebx
				ret
		.LFE191:
		.Letext0:
   14       %ROUTINE CHECK(%STRING(30) P,Q,R)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%esi
				pushl	%ebx
				subl	$556, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	%ecx, -556(%ebp)
				movl	%gs:20, %edx
				movl	%edx, -28(%ebp)
				xorl	%edx, %edx
   15       Fail=1 %and PRINTSTRING("CHECK FAILS") %UNLESS %C
				subl	$8, %esp
				pushl	%eax
				leal	8(%ebp), %eax
				pushl	%eax
				call	_imp_strcmp@PLT
				addl	$16, %esp
				testl	%eax, %eax
				jne	.L9
				subl	$8, %esp
				leal	520(%ebp), %eax
				pushl	%eax
				leal	264(%ebp), %eax
				pushl	%eax
				call	_imp_strcmp@PLT
				addl	$16, %esp
				testl	%eax, %eax
				jne	.L10
		.LBB44:
				leal	264(%ebp), %eax
				movl	%eax, -544(%ebp)
				subl	$8, %esp
				pushl	-544(%ebp)
				leal	8(%ebp), %eax
				pushl	%eax
				call	_imp_strcmp@PLT
				addl	$16, %esp
				testl	%eax, %eax
				jne	.L11
				subl	$8, %esp
				leal	520(%ebp), %eax
				pushl	%eax
				pushl	-544(%ebp)
				call	_imp_strcmp@PLT
				addl	$16, %esp
				testl	%eax, %eax
				je	.L12
		.LBE44:
				jmp	.L3
		.L9:
				nop
				jmp	.L3
		.L10:
				nop
				jmp	.L3
		.L11:
		.LBB45:
				nop
		.L3:
		.LBE45:
				movl	$1, FAIL.6021@GOTOFF(%ebx)
		.LBB46:
				leal	-284(%ebp), %eax
				leal	.LC8@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-540(%ebp), %eax
				leal	-284(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %eax
				leal	-540(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE46:
		.LBB47:
		.LBB48:
				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
		.LBE48:
		.LBE47:
				nop
		.L6:
		.LBE49:
				nop
				movl	-28(%ebp), %eax
				xorl	%gs:20, %eax
				je	.L8
				call	__stack_chk_fail_local
		.L8:
				leal	-12(%ebp), %esp
				popl	%ebx
				popl	%esi
				popl	%edi
				popl	%ebp
				ret
		.LFE190:
				.section	.rodata
				.align 32
		.LC0:
				.byte	4
				.string	"BUG0"
				.zero	250
				.align 32
		.LC1:
				.byte	4
				.string	"ABCD"
				.zero	250
				.align 32
		.LC2:
				.byte	4
				.string	"MEST"
				.zero	250
				.align 32
		.LC3:
				.byte	4
				.string	"MAST"
				.zero	250
				.align 32
		.LC4:
				.byte	4
				.string	"MOST"
				.zero	250
				.align 32
		.LC5:
				.byte	4
				.string	"BUG1"
				.zero	250
				.align 32
		.LC6:
				.byte	4
				.string	"BUG2"
				.zero	250
				.align 32
		.LC7:
				.byte	7
				.string	"TEST OK"
				.zero	247
				.globl	main
		main:
		.LFB189:
   16          P=S %AND Q=R %AND P=Q=R
   17       %END
				jmp	.L6
		.L12:
		.LBB49:
   18 %ENDOFPROGRAM
   21 Statements compiled