Edinburgh IMP77 Compiler - Version 8.4
    1 %BEGIN
		.Ltext0:
				.align	1
				.thumb
				.thumb_func
		CHECK.10032:
		.LFB186:
				@ args = 0, pretend = 0, frame = 7176
				@ frame_needed = 0, uses_anonymous_args = 0
		.LVL14:
				push	{r4, r5, r6, r7, r8, r9, r10, fp, lr}
				sub	sp, sp, #7904
				sub	sp, sp, #28
				ldr	r3, .L23
		.LPIC3:
				add	r3, pc
				ldr	r2, .L23+4
				ldr	r3, [r3, r2]
				ldr	r3, [r3]
				add	r2, sp, #7904
				adds	r2, r2, #20
				str	r3, [r2]
				add	r4, sp, #7648
				adds	r4, r4, #16
				add	r3, sp, #7968
				str	r3, [r4, #256]
    2 %owninteger Fail=0
				bl	_imp_initialise(PLT)
		.LVL15:
    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,"")
				movs	r2, #30
				add	r1, sp, #1264
				mov	r0, r4
				bl	_imp_strncpy(PLT)
		.LVL16:
				addw	r10, sp, #2296
				add	r5, sp, #2288
				add	r9, sp, #496
				mov	r2, r4
				mov	r1, r6
				mov	r0, r9
				bl	memcpy(PLT)
		.LVL20:
				add	r8, sp, #240
				mov	r2, r4
				add	r1, sp, #2544
				mov	r0, r8
				bl	memcpy(PLT)
		.LVL21:
				movs	r7, #240
				mov	r2, r7
				add	r1, r10, #8
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL22:
				ldm	r5, {r0, r1, r2, r3}
				add	r5, sp, #7648
				adds	r5, r5, #16
				mov	ip, r5
				bl	CHECK.10032(PLT)
		.LVL23:
    8       S="ABCD"; T=S
				add	r1, sp, #1776
				mov	r0, r4
				bl	_imp_strcmp(PLT)
		.LVL18:
				cmp	r0, #0
				bne	.L19
		.L11:
		.LBB48:
    9       CHECK(S,T,"ABCD")
				addw	fp, sp, #3576
				add	r6, sp, #3568
				mov	r2, r4
				mov	r1, r10
				mov	r0, r9
				bl	memcpy(PLT)
		.LVL28:
				mov	r2, r4
				add	r1, sp, #3824
				mov	r0, r8
				bl	memcpy(PLT)
		.LVL29:
				mov	r2, r7
				add	r1, fp, #8
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL30:
				ldm	r6, {r0, r1, r2, r3}
				mov	ip, r5
				bl	CHECK.10032(PLT)
		.LVL31:
		.LBB50:
   10       %UNLESS "MAST"<="MEST"<="MOST" %THEN Fail=1 %and PRINTSTRING("BUG1")
				movs	r2, #30
				add	r1, sp, #3056
				mov	r0, r5
				bl	_imp_strncpy(PLT)
		.LVL24:
   11       S="MAST"; T="MEST"; U="MOST"
				mov	r5, #256
				mov	r2, r5
				ldr	r1, .L23+32
		.LPIC4:
				add	r1, pc
				add	r1, r1, r5
				add	r4, sp, #7392
				adds	r4, r4, #16
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL50:
				mov	r2, r5
				mov	r1, r4
				add	r4, sp, #2032
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL51:
				mov	r2, r5
				mov	r1, r4
				add	r4, sp, #6624
				adds	r4, r4, #16
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL52:
		.LBE60:
		.LBB61:
		.LBB62:
				movs	r2, #240
				add	r1, sp, #6656
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL53:
				ldm	r4, {r0, r1, r2, r3}
				bl	_imp_printstring(PLT)
		.LVL54:
				b	.L11
		.LVL55:
		.L20:
		.LBE62:
		.LBE61:
		.LBB63:
				add	r1, sp, #4832
				adds	r1, r1, #16
				add	r0, sp, #4576
				adds	r0, r0, #16
				bl	_imp_strcmp(PLT)
		.LVL56:
				cmp	r0, #0
				bgt	.L12
		.LBE63:
				b	.L13
		.LVL57:
		.L21:
		.LBB64:
				add	r1, sp, #1008
				add	r0, sp, #752
				bl	_imp_strcmp(PLT)
		.LVL58:
				cmp	r0, #0
				bgt	.L14
		.LBE64:
				b	.L15
		.LVL59:
		.L22:
		.LBB65:
   12       %UNLESS S<=T<=U %THEN Fail=1 %and PRINTSTRING("BUG2")
				movs	r2, #30
				add	r1, sp, #1520
				add	r4, sp, #752
				mov	r0, r4
				bl	_imp_strncpy(PLT)
		.LVL17:
   13       %if Fail=0 %then printstring("TEST OK")
				movs	r2, #30
				add	r1, sp, #5344
				adds	r1, r1, #16
				add	r4, sp, #7648
				adds	r4, r4, #16
				mov	r0, r4
				bl	_imp_strncpy(PLT)
		.LVL38:
				ldr	r3, .L23+28
		.LPIC10:
				add	r3, pc
				ldr	r3, [r3]
				cbz	r3, .L22
		.L16:
		.LVL48:
		.LBB58:
		.LBB59:
				movs	r0, #0
				bl	exit(PLT)
		.LVL49:
		.L19:
		.LBE59:
		.LBE58:
		.LBB60:
   14       %ROUTINE CHECK(%STRING(30) P,Q,R)
				@ Nested: function declared inside another function.
				@ args = 768, pretend = 16, frame = 520
				@ frame_needed = 0, uses_anonymous_args = 0
				sub	sp, sp, #16
				push	{r4, r5, r6, r7, lr}
				sub	sp, sp, #764
				add	r4, sp, #784
				stm	r4, {r0, r1, r2, r3}
				ldr	r6, .L8
		.LPIC0:
				add	r6, pc
				ldr	r3, .L8+4
				ldr	r3, [r6, r3]
				ldr	r3, [r3]
				str	r3, [sp, #756]
				mov	r6, #256
				mov	r2, r6
				ldr	r1, .L23+36
		.LPIC11:
				add	r1, pc
				add	r1, r1, #1056
				add	r4, sp, #7392
				adds	r4, r4, #16
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL60:
				mov	r2, r6
				mov	r1, r4
				add	r5, sp, #6368
				adds	r5, r5, #16
				mov	r0, r5
				bl	memcpy(PLT)
		.LVL61:
				mov	r2, r6
				mov	r1, r5
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL62:
		.LBE65:
		.LBB66:
		.LBB67:
				movs	r2, #240
				add	r1, sp, #7424
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL63:
				ldm	r4, {r0, r1, r2, r3}
				bl	_imp_printstring(PLT)
		.LVL64:
				b	.L16
		.L24:
				.align	2
		.L23:
				.word	_GLOBAL_OFFSET_TABLE_-(.LPIC3+4)
				.word	__stack_chk_guard(GOT)
				.word	.LANCHOR1-(.LPIC5+4)
				.word	.LANCHOR0-(.LPIC6+4)
				.word	.LANCHOR1-(.LPIC7+4)
				.word	.LANCHOR0-(.LPIC8+4)
				.word	.LANCHOR1-(.LPIC9+4)
				.word	.LANCHOR0-(.LPIC10+4)
				.word	.LANCHOR1-(.LPIC4+4)
				.word	.LANCHOR1-(.LPIC11+4)
		.LBE67:
		.LBE66:
		.LFE185:
				.section	.rodata
				.align	2
				.set	.LANCHOR1,. + 0
		.LC8:
				.byte	11
				.ascii	"CHECK FAILS\000"
				.space	243
		.LC0:
				.byte	4
				.ascii	"BUG0\000"
				.space	250
		.LC9:
				.ascii	"ABCD\000"
				.space	25
				.space	2
		.LC5:
				.byte	4
				.ascii	"BUG1\000"
				.space	250
		.LC6:
				.byte	4
				.ascii	"BUG2\000"
				.space	250
		.LC7:
				.byte	7
				.ascii	"TEST OK\000"
				.space	247
				.bss
				.align	2
				.set	.LANCHOR0,. + 0
		FAIL.10025:
				.space	4
		.Letext0:
   15       Fail=1 %and PRINTSTRING("CHECK FAILS") %UNLESS %C
				mov	r4, #256
				mov	r2, r4
				movs	r1, #0
				add	r6, sp, #2800
				mov	r0, r6
				bl	memset(PLT)
		.LVL19:
		.LBE48:
				movs	r2, #30
				add	r1, sp, #3312
				add	r0, sp, #752
				bl	_imp_strncpy(PLT)
		.LVL25:
		.LBB49:
				add	r1, sp, #4576
				adds	r1, r1, #16
				add	r0, sp, #4320
				adds	r0, r0, #16
				bl	_imp_strcmp(PLT)
		.LVL32:
				cmp	r0, #0
				ble	.L20
		.L12:
		.LBE50:
				ldr	r3, .L23+12
		.LPIC6:
				add	r3, pc
				movs	r2, #1
				str	r2, [r3]
		.LBB51:
				mov	r5, #256
				mov	r2, r5
				ldr	r1, .L23+16
		.LPIC7:
				add	r1, pc
				add	r1, r1, #544
				add	r4, sp, #7392
				adds	r4, r4, #16
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL33:
				mov	r2, r5
				mov	r1, r4
				add	r4, sp, #5088
				adds	r4, r4, #16
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL34:
				mov	r2, r5
				mov	r1, r4
				add	r4, sp, #6880
				adds	r4, r4, #16
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL35:
		.LBE51:
		.LBB52:
		.LBB53:
				movs	r2, #240
				add	r1, sp, #6912
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL36:
				ldm	r4, {r0, r1, r2, r3}
				bl	_imp_printstring(PLT)
		.LVL37:
		.L13:
		.LBE53:
		.LBE52:
   16          P=S %AND Q=R %AND P=Q=R
   17       %END
				mov	r1, ip
				mov	r0, r4
				bl	_imp_strcmp(PLT)
		.LVL0:
				cbnz	r0, .L2
				movs	r2, #226
				movs	r1, #0
				add	r0, sp, #7424
				adds	r0, r0, #14
				bl	memset(PLT)
		.LVL26:
				ldr	r2, .L23+8
		.LPIC5:
				add	r2, pc
				ldr	r0, [r2, #512]
				add	r3, sp, #7392
				adds	r3, r3, #17
				str	r0, [r3]	@ unaligned
				ldrb	r2, [r2, #516]	@ zero_extendqisi2
				strb	r2, [r3, #4]
				movs	r2, #0
				add	r3, sp, #7392
				adds	r3, r3, #22
				str	r2, [r3]	@ unaligned
				str	r2, [r3, #4]	@ unaligned
				str	r2, [r3, #8]	@ unaligned
				str	r2, [r3, #12]	@ unaligned
				str	r2, [r3, #16]	@ unaligned
				str	r2, [r3, #20]	@ unaligned
				strb	r2, [r3, #24]
				movs	r3, #4
				add	r1, sp, #7392
				adds	r1, r1, #16
				strb	r3, [r1]
				mov	r2, r4
				add	r10, sp, #4080
				mov	r0, r10
				bl	memcpy(PLT)
		.LVL27:
		.LBE49:
				mov	r1, r5
				mov	r0, r4
				bl	_imp_strcmp(PLT)
		.LVL41:
				cmp	r0, #0
				ble	.L21
		.L14:
		.LBE54:
				ldr	r3, .L23+20
		.LPIC8:
				add	r3, pc
				movs	r2, #1
				str	r2, [r3]
		.LBB55:
				mov	r5, #256
		.LVL42:
				mov	r2, r5
				ldr	r1, .L23+24
		.LPIC9:
				add	r1, pc
				add	r1, r1, #800
				add	r4, sp, #7392
				adds	r4, r4, #16
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL43:
				mov	r2, r5
				mov	r1, r4
				add	r4, sp, #6112
				adds	r4, r4, #16
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL44:
				mov	r2, r5
				mov	r1, r4
				add	r4, sp, #7136
				adds	r4, r4, #16
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL45:
		.LBE55:
		.LBB56:
		.LBB57:
				movs	r2, #240
				add	r1, sp, #7168
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL46:
				ldm	r4, {r0, r1, r2, r3}
				bl	_imp_printstring(PLT)
		.LVL47:
		.L15:
		.LBE57:
		.LBE56:
   18 %ENDOFPROGRAM
				ldr	r3, .L8+4
				ldr	r3, [r6, r3]
				ldr	r2, [sp, #756]
				ldr	r3, [r3]
				cmp	r2, r3
				bne	.L7
				add	sp, sp, #764
				@ sp needed
				pop	{r4, r5, r6, r7, lr}
				add	sp, sp, #16
				bx	lr
		.L6:
		.LVL7:
		.LBB47:
				add	r1, sp, #1040
		.LVL8:
				add	r0, sp, #784
				bl	_imp_strcmp(PLT)
		.LVL9:
				cmp	r0, #0
				bne	.L2
				add	r1, sp, #1296
				add	r0, sp, #1040
		.LVL10:
				bl	_imp_strcmp(PLT)
		.LVL11:
				cmp	r0, #0
				bne	.L2
		.LBE47:
				b	.L1
		.LVL12:
		.L7:
				bl	__stack_chk_fail(PLT)
		.LVL13:
		.L9:
				.align	2
		.L8:
				.word	_GLOBAL_OFFSET_TABLE_-(.LPIC0+4)
				.word	__stack_chk_guard(GOT)
				.word	.LANCHOR0-(.LPIC1+4)
				.word	.LANCHOR1-(.LPIC2+4)
		.LFE186:
				.align	1
				.global	main
				.thumb
				.thumb_func
		main:
		.LFB185:
				movs	r2, #30
				add	r1, sp, #5600
				adds	r1, r1, #16
				add	r5, sp, #752
				mov	r0, r5
				bl	_imp_strncpy(PLT)
		.LVL39:
				movs	r2, #30
				add	r1, sp, #5856
				adds	r1, r1, #16
				add	r0, sp, #1008
				bl	_imp_strncpy(PLT)
		.LVL40:
		.LBB54:
   21 Statements compiled
				add	r1, sp, #1296
				add	r0, sp, #1040
				bl	_imp_strcmp(PLT)
		.LVL1:
				cbz	r0, .L6
		.L2:
				ldr	r3, .L8+8
		.LPIC1:
				add	r3, pc
				movs	r2, #1
				str	r2, [r3]
		.LBB44:
				mov	r7, #256
				mov	r2, r7
				ldr	r1, .L8+12
		.LPIC2:
				add	r1, pc
				add	r4, sp, #500
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL2:
				mov	r2, r7
				mov	r1, r4
				add	r5, sp, #244
				mov	r0, r5
				bl	memcpy(PLT)
		.LVL3:
				mov	r2, r7
				mov	r1, r5
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL4:
		.LBE44:
		.LBB45:
		.LBB46:
				movs	r2, #240
				add	r1, sp, #516
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL5:
				ldm	r4, {r0, r1, r2, r3}
				bl	_imp_printstring(PLT)
		.LVL6:
		.L3:
		.L1:
		.LBE46:
		.LBE45: