Edinburgh IMP77 Compiler - Version 8.4
    1 %BEGIN
				.option nopic
		.Ltext0:
				.align	1
				.globl	main
		main:
		.LFB185:
		.LVL0:
				add	sp,sp,-816
				sd	ra,808(sp)
				sd	s0,800(sp)
				sd	s1,792(sp)
				sd	s2,784(sp)
				li	t1,-4096
				add	sp,sp,t1
				lui	a5,%hi(__stack_chk_guard)
				ld	a5,%lo(__stack_chk_guard)(a5)
				li	s2,4096
				add	a4,s2,776
				add	a4,a4,sp
				sd	a5,0(a4)
    2 %INTEGER I,J,JJ,Fail
				call	_imp_initialise
		.LVL1:
				li	s0,70
    3       JJ=0; Fail=0
				li	a5,0
		.LBB12:
    4 %FOR I=1,1,70 %CYCLE
				li	a4,0
    5       %BEGIN
    6       %BYTEINTEGERARRAY A(0:4095)
    7       J=ADDR(A(0))
				li	s1,-4096
				add	s1,s1,-8
				add	a3,s2,784
				add	a3,a3,sp
				addw	s1,a3,s1
		.LBE12:
				beqz	s0,.L3
		.LVL4:
		.L2:
		.LDL1:
    8       %END
    9       %IF JJ#J %THEN %START
				beq	s1,a5,.L4
   10          Fail=1 %and WRITE(J,5) %AND NEWLINE %UNLESS JJ=0
				beqz	a5,.L4
		.LVL5:
   11          JJ=J
				li	s2,1
				j	.L2
		.LVL2:
		.L4:
				addw	s0,s0,-1
		.LVL3:
				mv	a5,s1
				mv	a4,s2
				j	.L4
		.LVL8:
		.L3:
   12       %FINISH
				li	a1,5
				mv	a0,s1
				call	_imp_writeint
		.LVL6:
		.LBB13:
		.LBB14:
				call	_imp_newline
		.LVL7:
		.LBE14:
		.LBE13:
   13 %REPEAT
   14       %if Fail=0 %then printstring("Test OK")
				beqz	a4,.L8
		.LVL9:
		.L5:
		.LBB15:
		.LBB16:
				li	a0,0
				call	exit
		.LVL10:
		.L8:
		.LBE16:
		.LBE15:
		.LBB17:
   15 %ENDOFPROGRAM
				li	s0,-4096
				add	s1,sp,520
		.LVL11:
				li	a2,256
				lui	a1,%hi(.LANCHOR0)
				addi	a1,a1,%lo(.LANCHOR0)
				mv	a0,s1
				call	memcpy
		.LVL12:
				add	s2,sp,264
				li	a2,256
				mv	a1,s1
				mv	a0,s2
				call	memcpy
		.LVL13:
				li	a2,256
				mv	a1,s2
				mv	a0,s1
				call	memcpy
		.LVL14:
		.LBE17:
		.LBB18:
		.LBB19:
				li	a2,256
				mv	a1,s1
				mv	a0,sp
				call	memcpy
		.LVL15:
				add	a0,s0,-784
				li	a5,4096
				add	a5,a5,784
				add	a5,a5,sp
				add	a0,a5,a0
				call	_imp_printstring
		.LVL16:
				j	.L5
		.LBE19:
		.LBE18:
		.LFE185:
				.section	.rodata
				.align	3
				.set	.LANCHOR0,. + 0
		.LC0:
				.byte	7
				.string	"Test OK"
				.zero	247
		.Letext0:
   16 Statements compiled