Edinburgh IMP77 Compiler - Version 8.4
    1 %BEGIN
		.Ltext0:
				.align	2
		CHECK.7696:
		.LFB186:
		.LVL12:
				mov	x16, 8016
				sub	sp, sp, x16
				stp	x29, x30, [sp]
				add	x29, sp, 0
				stp	x19, x20, [sp, 16]
				stp	x21, x22, [sp, 32]
				stp	x23, x24, [sp, 48]
				adrp	x2, :got:__stack_chk_guard
				ldr	x2, [x2, #:got_lo12:__stack_chk_guard]
				ldr	x3, [x2]
				str	x3, [x29, 8008]
				mov	x3,0
				add	x2, x29, 4096
				add	x2, x2, 3920
				str	x2, [x29, 8000]
    2 %owninteger Fail=0
				bl	_imp_initialise
		.LVL13:
    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,"")
				mov	x2, 30
				add	x1, x29, 1344
				add	x0, x29, 4096
				add	x0, x0, 3648
				bl	_imp_strncpy
		.LVL14:
				add	x22, x29, 576
				mov	x2, x19
				add	x1, x29, 2368
				mov	x0, x22
				bl	memcpy
		.LVL18:
				add	x21, x29, 320
				mov	x2, x19
				add	x1, x29, 2624
				mov	x0, x21
				bl	memcpy
		.LVL19:
				add	x20, x29, 64
				mov	x2, x19
				mov	x1, x23
				mov	x0, x20
				bl	memcpy
		.LVL20:
				add	x24, x29, 4096
				add	x24, x24, 3648
				mov	x18, x24
				mov	x2, x20
				mov	x1, x21
				mov	x0, x22
				bl	CHECK.7696
		.LVL21:
    8       S="ABCD"; T=S
				add	x1, x29, 1856
				mov	x0, x19
				bl	_imp_strcmp
		.LVL16:
				cbnz	w0, .L17
		.L9:
		.LBB48:
    9       CHECK(S,T,"ABCD")
				mov	x2, x19
				add	x1, x29, 3648
				mov	x0, x20
				bl	memcpy
		.LVL26:
				mov	x2, x19
				add	x1, x29, 3904
				mov	x0, x21
				bl	memcpy
		.LVL27:
				mov	x2, x19
				mov	x1, x23
				mov	x0, x22
				bl	memcpy
		.LVL28:
				mov	x18, x24
				mov	x2, x22
				mov	x1, x21
				mov	x0, x20
				bl	CHECK.7696
		.LVL29:
		.LBB50:
   10       %UNLESS "MAST"<="MEST"<="MOST" %THEN Fail=1 %and PRINTSTRING("BUG1")
				mov	x2, 30
				add	x1, x29, 3136
				mov	x0, x24
				bl	_imp_strncpy
		.LVL22:
   11       S="MAST"; T="MEST"; U="MOST"
				add	x20, x29, 4096
				add	x20, x20, 3392
				mov	x21, 256
				mov	x2, x21
				adrp	x1, .LANCHOR1
				add	x1, x1, :lo12:.LANCHOR1
				add	x1, x1, x21
				mov	x0, x20
				bl	memcpy
		.LVL49:
				add	x19, x29, 2112
				mov	x2, x21
				mov	x1, x20
				mov	x0, x19
				bl	memcpy
		.LVL50:
				add	x20, x29, 4096
				add	x20, x20, 2624
				mov	x2, x21
				mov	x1, x19
				mov	x0, x20
				bl	memcpy
		.LVL51:
		.LBE60:
		.LBB61:
		.LBB62:
				add	x19, x29, 576
				mov	x2, x21
				mov	x1, x20
				mov	x0, x19
				bl	memcpy
		.LVL52:
				mov	x0, x19
				bl	_imp_printstring
		.LVL53:
				b	.L9
		.LVL54:
		.L18:
		.LBE62:
		.LBE61:
		.LBB63:
				add	x1, x29, 4096
				add	x1, x1, 832
				add	x0, x29, 4096
				add	x0, x0, 576
		.LVL55:
				bl	_imp_strcmp
		.LVL56:
				cmp	w0, 0
				bgt	.L10
		.LBE63:
				b	.L11
		.LVL57:
		.L19:
		.LBB64:
				add	x1, x29, 1088
				add	x0, x29, 832
				bl	_imp_strcmp
		.LVL58:
				cmp	w0, 0
				bgt	.L12
		.LBE64:
				b	.L13
		.LVL59:
		.L20:
		.LBB65:
   12       %UNLESS S<=T<=U %THEN Fail=1 %and PRINTSTRING("BUG2")
				add	x19, x29, 832
				mov	x2, 30
				add	x1, x29, 1600
				mov	x0, x19
				bl	_imp_strncpy
		.LVL15:
   13       %if Fail=0 %then printstring("TEST OK")
				add	x19, x29, 4096
				add	x19, x19, 3648
				mov	x2, 30
				add	x1, x29, 4096
				add	x1, x1, 1344
				mov	x0, x19
				bl	_imp_strncpy
		.LVL37:
				adrp	x0, .LANCHOR0
				ldr	w0, [x0, #:lo12:.LANCHOR0]
				cbz	w0, .L20
		.L14:
		.LVL47:
		.LBB58:
		.LBB59:
				mov	w0, 0
				bl	exit
		.LVL48:
		.L17:
		.LBE59:
		.LBE58:
		.LBB60:
   14       %ROUTINE CHECK(%STRING(30) P,Q,R)
				sub	sp, sp, #832
				stp	x29, x30, [sp]
				add	x29, sp, 0
				stp	x19, x20, [sp, 16]
				str	x21, [sp, 32]
				mov	x21, x0
				mov	x19, x1
				mov	x20, x2
				adrp	x1, :got:__stack_chk_guard
				ldr	x1, [x1, #:got_lo12:__stack_chk_guard]
				ldr	x2, [x1]
				str	x2, [x29, 824]
				mov	x2,0
				add	x19, x29, 4096
				add	x19, x19, 3392
				mov	x20, 256
				mov	x2, x20
				adrp	x1, .LANCHOR1
				add	x1, x1, :lo12:.LANCHOR1
				add	x1, x1, 1024
				mov	x0, x19
				bl	memcpy
		.LVL60:
				add	x21, x29, 4096
				add	x21, x21, 2368
				mov	x2, x20
				mov	x1, x19
				mov	x0, x21
				bl	memcpy
		.LVL61:
				mov	x2, x20
				mov	x1, x21
				mov	x0, x19
				bl	memcpy
		.LVL62:
		.LBE65:
		.LBB66:
		.LBB67:
				add	x0, x29, 64
				mov	x2, x20
				mov	x1, x19
				mov	x19, x0
				bl	memcpy
		.LVL63:
				mov	x0, x19
				bl	_imp_printstring
		.LVL64:
				b	.L14
		.LBE67:
		.LBE66:
		.LFE185:
				.section	.rodata
				.align	3
				.set	.LANCHOR1,. + 0
		.LC8:
				.byte	11
				.string	"CHECK FAILS"
				.zero	243
		.LC0:
				.byte	4
				.string	"BUG0"
				.zero	250
		.LC5:
				.byte	4
				.string	"BUG1"
				.zero	250
		.LC6:
				.byte	4
				.string	"BUG2"
				.zero	250
		.LC7:
				.byte	7
				.string	"TEST OK"
				.zero	247
				.bss
				.align	2
				.set	.LANCHOR0,. + 0
		FAIL.7689:
				.zero	4
		.Letext0:
   15       Fail=1 %and PRINTSTRING("CHECK FAILS") %UNLESS %C
				add	x23, x29, 2880
				mov	x19, 256
				mov	x2, x19
				mov	w1, 0
				mov	x0, x23
				bl	memset
		.LVL17:
		.LBE48:
				mov	x2, 30
				add	x1, x29, 3392
				add	x0, x29, 832
				bl	_imp_strncpy
		.LVL23:
		.LBB49:
				add	x1, x29, 4096
				add	x1, x1, 576
		.LVL30:
				add	x0, x29, 4096
				add	x0, x0, 320
				bl	_imp_strcmp
		.LVL31:
				cmp	w0, 0
				ble	.L18
		.L10:
		.LBE50:
				adrp	x0, .LANCHOR0
				mov	w1, 1
				str	w1, [x0, #:lo12:.LANCHOR0]
		.LBB51:
				add	x20, x29, 4096
				add	x20, x20, 3392
				mov	x21, 256
				mov	x2, x21
				adrp	x1, .LANCHOR1
				add	x1, x1, :lo12:.LANCHOR1
				add	x1, x1, 512
				mov	x0, x20
				bl	memcpy
		.LVL32:
				add	x19, x29, 4096
				add	x19, x19, 1088
				mov	x2, x21
				mov	x1, x20
				mov	x0, x19
				bl	memcpy
		.LVL33:
				add	x20, x29, 4096
				add	x20, x20, 2880
				mov	x2, x21
				mov	x1, x19
				mov	x0, x20
				bl	memcpy
		.LVL34:
		.LBE51:
		.LBB52:
		.LBB53:
				add	x19, x29, 64
				mov	x2, x21
				mov	x1, x20
				mov	x0, x19
				bl	memcpy
		.LVL35:
				mov	x0, x19
				bl	_imp_printstring
		.LVL36:
		.L11:
		.LBE53:
		.LBE52:
   16          P=S %AND Q=R %AND P=Q=R
   17       %END
				mov	x1, x18
				bl	_imp_strcmp
		.LVL0:
				cbnz	w0, .L2
				mov	x2, 226
				mov	w1, 0
				add	x0, x29, 4096
				add	x0, x0, 3422
				bl	memset
		.LVL24:
				mov	x0, 16961
				movk	x0, 0x4443, lsl 16
				mov	x1, 0
				add	x2, x29, 4096
				add	x2, x2, 3393
				stp	x0, x1, [x2]
				add	x0, x29, 4096
				add	x0, x0, 3584
				str	xzr, [x0, -175]
				str	wzr, [x0, -167]
				strh	wzr, [x0, -163]
				mov	w0, 4
				add	x1, x29, 4096
				strb	w0, [x1, 3392]
				add	x23, x29, 4096
				add	x23, x23, 64
				mov	x2, x19
				add	x1, x29, 4096
				add	x1, x1, 3392
				mov	x0, x23
				bl	memcpy
		.LVL25:
		.LBE49:
				mov	x1, x20
				mov	x0, x19
				bl	_imp_strcmp
		.LVL40:
				cmp	w0, 0
				ble	.L19
		.L12:
		.LBE54:
				adrp	x0, .LANCHOR0
				mov	w1, 1
				str	w1, [x0, #:lo12:.LANCHOR0]
		.LBB55:
				add	x20, x29, 4096
				add	x20, x20, 3392
		.LVL41:
				mov	x21, 256
				mov	x2, x21
				adrp	x1, .LANCHOR1
				add	x1, x1, :lo12:.LANCHOR1
				add	x1, x1, 768
				mov	x0, x20
				bl	memcpy
		.LVL42:
				add	x19, x29, 4096
				add	x19, x19, 2112
				mov	x2, x21
				mov	x1, x20
				mov	x0, x19
				bl	memcpy
		.LVL43:
				add	x20, x29, 4096
				add	x20, x20, 3136
				mov	x2, x21
				mov	x1, x19
				mov	x0, x20
				bl	memcpy
		.LVL44:
		.LBE55:
		.LBB56:
		.LBB57:
				add	x19, x29, 64
				mov	x2, x21
				mov	x1, x20
				mov	x0, x19
				bl	memcpy
		.LVL45:
				mov	x0, x19
				bl	_imp_printstring
		.LVL46:
		.L13:
		.LBE57:
		.LBE56:
   18 %ENDOFPROGRAM
				adrp	x0, :got:__stack_chk_guard
				ldr	x0, [x0, #:got_lo12:__stack_chk_guard]
				ldr	x1, [x29, 824]
				ldr	x0, [x0]
				eor	x0, x1, x0
				cbnz	x0, .L7
				ldp	x19, x20, [sp, 16]
				ldr	x21, [sp, 32]
				ldp	x29, x30, [sp]
				add	sp, sp, 832
				ret
		.L6:
		.LVL7:
		.LBB47:
				mov	x1, x19
				mov	x0, x21
				bl	_imp_strcmp
		.LVL8:
				cbnz	w0, .L2
				mov	x1, x20
				mov	x0, x19
				bl	_imp_strcmp
		.LVL9:
				cbnz	w0, .L2
		.LBE47:
				b	.L1
		.LVL10:
		.L7:
				bl	__stack_chk_fail
		.LVL11:
		.LFE186:
				.align	2
				.global	main
		main:
		.LFB185:
				add	x20, x29, 832
				mov	x2, 30
				add	x1, x29, 4096
				add	x1, x1, 1600
				mov	x0, x20
				bl	_imp_strncpy
		.LVL38:
				mov	x2, 30
				add	x1, x29, 4096
				add	x1, x1, 1856
				add	x0, x29, 1088
				bl	_imp_strncpy
		.LVL39:
		.LBB54:
   21 Statements compiled
				mov	x1, x20
				mov	x0, x19
				bl	_imp_strcmp
		.LVL1:
				cbz	w0, .L6
		.L2:
				adrp	x0, .LANCHOR0
				mov	w1, 1
				str	w1, [x0, #:lo12:.LANCHOR0]
		.LBB44:
				add	x19, x29, 568
				mov	x20, 256
				mov	x2, x20
				adrp	x1, .LANCHOR1
				add	x1, x1, :lo12:.LANCHOR1
				mov	x0, x19
				bl	memcpy
		.LVL2:
				add	x21, x29, 312
				mov	x2, x20
				mov	x1, x19
				mov	x0, x21
				bl	memcpy
		.LVL3:
				mov	x2, x20
				mov	x1, x21
				mov	x0, x19
				bl	memcpy
		.LVL4:
		.LBE44:
		.LBB45:
		.LBB46:
				add	x0, x29, 48
				mov	x2, x20
				mov	x1, x19
				mov	x19, x0
				bl	memcpy
		.LVL5:
				mov	x0, x19
				bl	_imp_printstring
		.LVL6:
		.L3:
		.L1:
		.LBE46:
		.LBE45: