Edinburgh IMP77 Compiler - Version 8.4
    1 %BEGIN
				.section	".text"
		.Ltext0:
				.section	".rodata"
		.LC8:
				.byte	11
				.asciz	"CHECK FAILS"
				.skip	243
				.section	".text"
				.align 4
				.proc	020
		CHECK.6063:
		.LFB186:
		.LVL12:
				save	%sp, -4096, %sp
		.LVL13:
				add	%sp, -4032, %sp
				ldx	[%g7+40], %g1
				stx	%g1, [%fp+2039]
				mov	0, %g1
				add	%fp, 2047, %g1
				stx	%g1, [%fp+2031]
    2 %owninteger Fail=0
				mov	%i1, %o1
				call	_imp_initialise, 0
				 mov	%i0, %o0
		.LVL14:
    3 %STRING(30)S,T,U
    4 %ROUTINESPEC CHECK(%STRING(30) P,Q,R)
    5       S=""; T=S
    6       PRINTSTRING("BUG0") %UNLESS T=""
    7       CHECK(S,T,"")
				sethi	%hi(6144), %i4
				xor	%i4, -528, %o1
				mov	30, %o2
				add	%fp, 2047, %g1
				add	%g1, %o1, %o1
				call	_imp_strncpy, 0
				 add	%fp, 1775, %o0
		.LVL15:
				xor	%i5, -528, %o1
				sethi	%hi(7168), %i1
		.LVL19:
				xor	%i1, -272, %i3
				add	%fp, 2047, %g1
				add	%g1, %i3, %i3
				mov	256, %o2
				add	%g1, %o1, %o1
				call	memcpy, 0
				 mov	%i3, %o0
		.LVL20:
				xor	%i5, -272, %o1
				xor	%i1, -528, %i4
				add	%fp, 2047, %g1
				add	%g1, %i4, %i4
				mov	256, %o2
				add	%g1, %o1, %o1
				call	memcpy, 0
				 mov	%i4, %o0
		.LVL21:
				xor	%i1, -784, %i5
				add	%fp, 2047, %g1
				add	%g1, %i5, %i5
				mov	256, %o2
				mov	%i2, %o1
				call	memcpy, 0
				 mov	%i5, %o0
		.LVL22:
				add	%fp, 1775, %g5
				mov	%i5, %o2
				mov	%i4, %o1
				call	CHECK.6063, 0
				 mov	%i3, %o0
		.LVL23:
    8       S="ABCD"; T=S
				xor	%i4, -16, %o1
				add	%fp, 2047, %g1
				add	%g1, %o1, %o1
				call	_imp_strcmp, 0
				 mov	%i5, %o0
		.LVL17:
				cmp	%o0, 0
				bne,pn	%icc, .L16
				 mov	256, %o2
		.L9:
		.LBB48:
    9       CHECK(S,T,"ABCD")
				xor	%i2, -272, %o1
				mov	256, %o2
				add	%fp, 2047, %g1
				add	%g1, %o1, %o1
				call	memcpy, 0
				 mov	%i5, %o0
		.LVL29:
				xor	%i2, -16, %o1
				mov	256, %o2
				add	%fp, 2047, %g1
				add	%g1, %o1, %o1
				call	memcpy, 0
				 mov	%i4, %o0
		.LVL30:
				mov	256, %o2
				add	%fp, -1809, %o1
				call	memcpy, 0
				 mov	%i3, %o0
		.LVL31:
				add	%fp, 1775, %g5
				mov	%i3, %o2
				mov	%i4, %o1
				call	CHECK.6063, 0
				 mov	%i5, %o0
		.LVL32:
		.LBB50:
   10       %UNLESS "MAST"<="MEST"<="MOST" %THEN Fail=1 %and PRINTSTRING("BUG1")
				sethi	%hi(4096), %i2
				xor	%i2, -784, %o1
				mov	30, %o2
				add	%fp, 2047, %g1
				add	%g1, %o1, %o1
				call	_imp_strncpy, 0
				 add	%fp, 1775, %o0
		.LVL24:
   11       S="MAST"; T="MEST"; U="MOST"
				sethi	%hi(.LC0), %o1
				or	%o1, %lo(.LC0), %o1
				call	memcpy, 0
				 add	%fp, 1519, %o0
		.LVL51:
				sethi	%hi(5120), %i5
				xor	%i5, -784, %i5
				add	%fp, 2047, %g1
				add	%g1, %i5, %i5
				mov	256, %o2
				add	%fp, 1519, %o1
				call	memcpy, 0
				 mov	%i5, %o0
		.LVL52:
				mov	256, %o2
				mov	%i5, %o1
				call	memcpy, 0
				 add	%fp, 751, %o0
		.LVL53:
		.LBE60:
		.LBB61:
		.LBB62:
				sethi	%hi(7168), %i5
				xor	%i5, -272, %i5
				add	%fp, 2047, %g1
				add	%g1, %i5, %i5
				mov	256, %o2
				add	%fp, 751, %o1
				call	memcpy, 0
				 mov	%i5, %o0
		.LVL54:
				call	_imp_printstring, 0
				 mov	%i5, %o0
		.LVL55:
		.LBE62:
		.LBE61:
   12       %UNLESS S<=T<=U %THEN Fail=1 %and PRINTSTRING("BUG2")
				xor	%i4, -272, %o1
				sethi	%hi(7168), %i5
				xor	%i5, -16, %i5
				add	%fp, 2047, %g1
				add	%g1, %i5, %i5
				mov	30, %o2
				add	%g1, %o1, %o1
				call	_imp_strncpy, 0
				 mov	%i5, %o0
		.LVL16:
   13       %if Fail=0 %then printstring("TEST OK")
				mov	30, %o2
		.L21:
				add	%fp, -529, %o1
				call	_imp_strncpy, 0
				 add	%fp, 1775, %o0
		.LVL40:
				sethi	%hi(FAIL.6056), %g1
				lduw	[%g1+%lo(FAIL.6056)], %g1
		.L25:
				cmp	%g1, 0
				be,pn	%icc, .L19
				 mov	256, %o2
		.L14:
		.LVL49:
		.LBB58:
		.LBB59:
				call	exit, 0
				 mov	0, %o0
		.LVL50:
		.L16:
		.LBE59:
		.LBE58:
		.LBB60:
   14       %ROUTINE CHECK(%STRING(30) P,Q,R)
				.register	%g2, #scratch
				.register	%g7, #ignore
				save	%sp, -960, %sp
				ldx	[%g7+40], %g1
				stx	%g1, [%fp+2039]
				mov	0, %g1
				sethi	%hi(.LC7), %o1
				or	%o1, %lo(.LC7), %o1
				call	memcpy, 0
				 add	%fp, 1519, %o0
		.LVL60:
				mov	256, %o2
				add	%fp, 1519, %o1
				call	memcpy, 0
				 add	%fp, 495, %o0
		.LVL61:
				mov	256, %o2
				add	%fp, 495, %o1
				call	memcpy, 0
				 add	%fp, 1519, %o0
		.LVL62:
		.LBE65:
		.LBB66:
		.LBB67:
				sethi	%hi(7168), %i5
				xor	%i5, -784, %i5
				add	%fp, 2047, %g1
				add	%g1, %i5, %i5
				mov	256, %o2
				add	%fp, 1519, %o1
				call	memcpy, 0
				 mov	%i5, %o0
		.LVL63:
				call	_imp_printstring, 0
				 mov	%i5, %o0
		.LVL64:
				ba,pt	%xcc, .L14
				 nop
		.LBE67:
		.LBE66:
		.LFE185:
				.common	FAIL.6056,4,4
		.Letext0:
   15       Fail=1 %and PRINTSTRING("CHECK FAILS") %UNLESS %C
				sethi	%hi(5120), %i5
		.L20:
				xor	%i5, -16, %i2
				add	%fp, 2047, %g1
				add	%g1, %i2, %i2
				mov	256, %o2
				mov	0, %o1
				call	memset, 0
				 mov	%i2, %o0
		.LVL18:
		.LBE48:
				xor	%i2, -528, %o1
				xor	%i1, -16, %o0
				mov	30, %o2
				add	%fp, 2047, %g1
				add	%g1, %o1, %o1
				call	_imp_strncpy, 0
				 add	%g1, %o0, %o0
		.LVL25:
		.LBB49:
				add	%fp, -1297, %o1
		.LVL33:
				call	_imp_strcmp, 0
				 add	%fp, -1553, %o0
		.LVL34:
				cmp	%o0, 0
				ble,pn	%icc, .L17
				 add	%fp, -1041, %o1
		.L10:
		.LBE50:
				sethi	%hi(FAIL.6056), %g1
		.L23:
				mov	1, %g2
				st	%g2, [%g1+%lo(FAIL.6056)]
		.LBB51:
				mov	256, %o2
				sethi	%hi(.LC5), %o1
				or	%o1, %lo(.LC5), %o1
				call	memcpy, 0
				 add	%fp, 1519, %o0
		.LVL35:
				mov	256, %o2
				add	%fp, 1519, %o1
				call	memcpy, 0
				 add	%fp, -785, %o0
		.LVL36:
				mov	256, %o2
				add	%fp, -785, %o1
				call	memcpy, 0
				 add	%fp, 1007, %o0
		.LVL37:
		.LBE51:
		.LBB52:
		.LBB53:
				sethi	%hi(7168), %i5
				xor	%i5, -784, %i5
				add	%fp, 2047, %g1
				add	%g1, %i5, %i5
				mov	256, %o2
				add	%fp, 1007, %o1
				call	memcpy, 0
				 mov	%i5, %o0
		.LVL38:
				call	_imp_printstring, 0
				 mov	%i5, %o0
		.LVL39:
		.L11:
		.LBE53:
		.LBE52:
				ba,pt	%xcc, .L20
				 sethi	%hi(5120), %i5
		.LVL56:
		.L17:
		.LBB63:
				call	_imp_strcmp, 0
				 add	%fp, -1297, %o0
		.LVL57:
				cmp	%o0, 0
				bg,pt	%icc, .L23
				 sethi	%hi(FAIL.6056), %g1
		.LBE63:
				ba,pt	%xcc, .L21
				 mov	30, %o2
		.LVL58:
		.L18:
		.LBB64:
				xor	%o1, -784, %o1
				add	%fp, 2047, %g1
				add	%g1, %o1, %o1
				call	_imp_strcmp, 0
				 mov	%i5, %o0
		.LVL59:
				cmp	%o0, 0
				bg,pt	%icc, .L24
				 sethi	%hi(FAIL.6056), %g1
		.LBE64:
				ba,pt	%xcc, .L25
				 lduw	[%g1+%lo(FAIL.6056)], %g1
		.L19:
		.LBB65:
   16          P=S %AND Q=R %AND P=Q=R
   17       %END
				mov	%g5, %o1
				call	_imp_strcmp, 0
				 mov	%i0, %o0
		.LVL0:
				cmp	%o0, 0
				bne,pt	%icc, .L7
				 sethi	%hi(FAIL.6056), %g1
				mov	226, %o2
				mov	0, %o1
				call	memset, 0
				 add	%fp, 1549, %o0
		.LVL26:
				sethi	%hi(.LC9), %g1
				ldub	[%g1+%lo(.LC9)], %g2
				stb	%g2, [%fp+1520]
				ldub	[%g1+%lo(.LC9)+1], %g2
				stb	%g2, [%fp+1521]
				ldub	[%g1+%lo(.LC9)+2], %g2
				stb	%g2, [%fp+1522]
				ldub	[%g1+%lo(.LC9)+3], %g2
				stb	%g2, [%fp+1523]
				ldub	[%g1+%lo(.LC9)+4], %g1
				stb	%g1, [%fp+1524]
				mov	25, %o2
				mov	0, %o1
				call	memset, 0
				 add	%fp, 1525, %o0
		.LVL27:
				mov	4, %g1
				stb	%g1, [%fp+1519]
				mov	256, %o2
				add	%fp, 1519, %o1
				call	memcpy, 0
				 add	%fp, -1809, %o0
		.LVL28:
		.LBE49:
				mov	%i5, %o1
				call	_imp_strcmp, 0
				 add	%fp, 1775, %o0
		.LVL43:
				cmp	%o0, 0
				ble,pn	%icc, .L18
				 sethi	%hi(6144), %o1
		.L12:
		.LBE54:
				sethi	%hi(FAIL.6056), %g1
		.L24:
				mov	1, %g2
				st	%g2, [%g1+%lo(FAIL.6056)]
		.LBB55:
				mov	256, %o2
				sethi	%hi(.LC6), %o1
				or	%o1, %lo(.LC6), %o1
				call	memcpy, 0
				 add	%fp, 1519, %o0
		.LVL44:
				mov	256, %o2
				add	%fp, 1519, %o1
				call	memcpy, 0
				 add	%fp, 239, %o0
		.LVL45:
				mov	256, %o2
				add	%fp, 239, %o1
				call	memcpy, 0
				 add	%fp, 1263, %o0
		.LVL46:
		.LBE55:
		.LBB56:
		.LBB57:
				sethi	%hi(7168), %i5
				xor	%i5, -784, %i5
				add	%fp, 2047, %g1
				add	%g1, %i5, %i5
				mov	256, %o2
				add	%fp, 1263, %o1
				call	memcpy, 0
				 mov	%i5, %o0
		.LVL47:
				call	_imp_printstring, 0
				 mov	%i5, %o0
		.LVL48:
		.L13:
		.LBE57:
		.LBE56:
   18 %ENDOFPROGRAM
				ldx	[%fp+2039], %g1
				ldx	[%g7+40], %g2
				xor	%g1, %g2, %g1
				mov	0, %g2
				brnz,pn	%g1, .L6
				 nop
				return	%i7+8
				 nop
		.L5:
		.LVL7:
		.LBB47:
				call	_imp_strcmp, 0
				 mov	%i0, %o0
		.LVL8:
				cmp	%o0, 0
				bne,pt	%icc, .L7
				 sethi	%hi(FAIL.6056), %g1
				mov	%i2, %o1
				call	_imp_strcmp, 0
				 mov	%i1, %o0
		.LVL9:
				cmp	%o0, 0
				bne,pt	%icc, .L7
				 sethi	%hi(FAIL.6056), %g1
		.LBE47:
				ba,pt	%xcc, .L1
				 nop
		.LVL10:
		.L6:
				call	__stack_chk_fail, 0
				 nop
		.LVL11:
				nop
		.LFE186:
				.section	".rodata"
				.align 8
		.LC9:
				.asciz	"ABCD"
				.skip	25
		.LC5:
				.byte	4
				.asciz	"BUG1"
				.skip	250
		.LC6:
				.byte	4
				.asciz	"BUG2"
				.skip	250
		.LC0:
				.byte	4
				.asciz	"BUG0"
				.skip	250
		.LC7:
				.byte	7
				.asciz	"TEST OK"
				.skip	247
				.section	".text"
				.align 4
				.global main
				.proc	04
		main:
		.LFB185:
				sethi	%hi(7168), %i5
				xor	%i5, -16, %i5
				add	%fp, 2047, %g1
				add	%g1, %i5, %i5
				mov	30, %o2
				add	%fp, -273, %o1
				call	_imp_strncpy, 0
				 mov	%i5, %o0
		.LVL41:
				mov	30, %o2
				add	%fp, -17, %o1
				sethi	%hi(6144), %o0
				xor	%o0, -784, %o0
				add	%fp, 2047, %g1
				call	_imp_strncpy, 0
				 add	%g1, %o0, %o0
		.LVL42:
		.LBB54:
   21 Statements compiled
				mov	%i2, %o1
				call	_imp_strcmp, 0
				 mov	%i1, %o0
		.LVL1:
				cmp	%o0, 0
				be,pn	%icc, .L5
				 mov	%i1, %o1
		.L2:
				sethi	%hi(FAIL.6056), %g1
		.L7:
				mov	1, %g2
				st	%g2, [%g1+%lo(FAIL.6056)]
		.LBB44:
				mov	256, %o2
				sethi	%hi(.LC8), %o1
				or	%o1, %lo(.LC8), %o1
				call	memcpy, 0
				 add	%fp, 1783, %o0
		.LVL2:
				mov	256, %o2
				add	%fp, 1783, %o1
				call	memcpy, 0
				 add	%fp, 1527, %o0
		.LVL3:
				mov	256, %o2
				add	%fp, 1527, %o1
				call	memcpy, 0
				 add	%fp, 1783, %o0
		.LVL4:
		.LBE44:
		.LBB45:
		.LBB46:
				mov	256, %o2
				add	%fp, 1783, %o1
				call	memcpy, 0
				 add	%fp, 1263, %o0
		.LVL5:
				call	_imp_printstring, 0
				 add	%fp, 1263, %o0
		.LVL6:
		.L3:
		.L1:
		.LBE46:
		.LBE45: