Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.align	2
				.global	main
		main:
		.LFB185:
		.LVL0:
				sub	sp, sp, #1088
				stp	x29, x30, [sp]
				add	x29, sp, 0
				str	x19, [sp, 16]
				adrp	x2, :got:__stack_chk_guard
				ldr	x2, [x2, #:got_lo12:__stack_chk_guard]
				ldr	x3, [x2]
				str	x3, [x29, 1080]
				mov	x3,0
    2 %constbyteintegerarray trtab(0:255)=1(255),0;
				bl	_imp_initialise
		.LVL1:
				add	x19, x29, 824
				mov	x2, 256
				adrp	x1, .LANCHOR0
				add	x1, x1, :lo12:.LANCHOR0
				mov	x0, x19
				bl	memcpy
		.LVL2:
    3 %integer i,j
    4 i=-1; j=addr(i)
				mov	w0, -1
				str	w0, [x29, 308]
		.LVL3:
		.LBB16:
		.LBB17:
				add	x0, x29, 308
		.LBE17:
		.LBE16:
    5 ->ok %if trtab(byteinteger(j))=0
				sxtw	x0, w0
				ldrb	w0, [x0]
				ldrb	w0, [x19, w0, sxtw]
				cbz	w0, .L2
				stp	x20, x21, [x29, 24]
		.L3:
		.LBB18:
    6 printstring("Fail")
				add	x19, x29, 568
				mov	x20, 256
				mov	x2, x20
				adrp	x1, .LANCHOR0
				add	x1, x1, :lo12:.LANCHOR0
				add	x1, x1, x20
				mov	x0, x19
				bl	memcpy
		.LVL4:
				add	x21, x29, 312
				mov	x2, x20
				mov	x1, x19
				mov	x0, x21
				bl	memcpy
		.LVL5:
				mov	x2, x20
				mov	x1, x21
				mov	x0, x19
				bl	memcpy
		.LVL6:
		.LBE18:
		.LBB19:
		.LBB20:
				add	x0, x29, 48
				mov	x2, x20
				mov	x1, x19
				mov	x19, x0
				bl	memcpy
		.LVL7:
				mov	x0, x19
				bl	_imp_printstring
		.LVL8:
		.LBE20:
		.LBE19:
		.LBB21:
		.LBB22:
				mov	w0, 0
				bl	exit
		.LVL9:
		.L2:
				stp	x20, x21, [x29, 24]
		.LBE22:
		.LBE21:
		.LBB23:
    7 %stop
    8 ok:printstring("Test ok")
    9 %endofprogram
				add	x19, x29, 568
				mov	x20, 256
				mov	x2, x20
				adrp	x1, .LANCHOR0
				add	x1, x1, :lo12:.LANCHOR0
				add	x1, x1, 512
				mov	x0, x19
				bl	memcpy
		.LVL10:
				add	x21, x29, 312
				mov	x2, x20
				mov	x1, x19
				mov	x0, x21
				bl	memcpy
		.LVL11:
				mov	x2, x20
				mov	x1, x21
				mov	x0, x19
				bl	memcpy
		.LVL12:
		.LBE23:
		.LBB24:
		.LBB25:
				add	x0, x29, 48
				mov	x2, x20
				mov	x1, x19
				mov	x19, x0
				bl	memcpy
		.LVL13:
				mov	x0, x19
				bl	_imp_printstring
		.LVL14:
		.LBE25:
		.LBE24:
		.LBB26:
		.LBB27:
				mov	w0, 0
				bl	exit
		.LVL15:
		.LBE27:
		.LBE26:
		.LFE185:
				.section	.rodata
				.align	3
				.set	.LANCHOR0,. + 0
		.LC0:
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	1
				.byte	0
		.LC1:
				.byte	4
				.string	"Fail"
				.zero	250
		.LC2:
				.byte	7
				.string	"Test ok"
				.zero	247
		.Letext0:
   10 Statements compiled