Edinburgh IMP77 Compiler - Version 8.4
    1 %BEGIN
				.option nopic
		.Ltext0:
				.align	1
		FACT.6004:
		.LFB186:
		.LVL5:
				add	sp,sp,-1360
				sd	ra,1352(sp)
				sd	s0,1344(sp)
				sd	s1,1336(sp)
				sd	s2,1328(sp)
				sd	s3,1320(sp)
				sd	s4,1312(sp)
				sd	s5,1304(sp)
				sd	s6,1296(sp)
				lui	a5,%hi(__stack_chk_guard)
				ld	a5,%lo(__stack_chk_guard)(a5)
				sd	a5,1288(sp)
    2 %owninteger fail=0
				call	_imp_initialise
		.LVL6:
    3 %INTEGER I
    4 %INTEGERFN FACT(%INTEGER N)
		.LVL0:
				add	sp,sp,-16
				sd	ra,8(sp)
				sd	s0,0(sp)
				mv	s0,a0
		.L3:
    5       %IF N<=1 %THENRESULT=1
				li	a5,1
				bgt	a0,a5,.L9
    6       %RESULT=N*FACT(N-1)
				li	a0,1
		.LVL1:
				addw	a0,a0,-1
		.LVL3:
				call	FACT.6004
		.LVL4:
				mulw	a0,a0,s0
				ld	ra,8(sp)
				ld	s0,0(sp)
				add	sp,sp,16
				jr	ra
		.LFE186:
				.align	1
				.globl	main
		main:
		.LFB185:
    7 %END
				ret
		.LVL2:
		.L9:
    8 %ROUTINE COMPARE(%INTEGER I,J)
    9       %UNLESS I=J %START
				beq	s3,s0,.L13
		.LBB27:
   10          PRINTSTRING("ERROR")
				lui	s6,%hi(.LANCHOR0)
		.LBE26:
				li	a2,256
				addi	a1,s6,%lo(.LANCHOR0)
				add	a0,sp,776
		.LVL13:
				call	memcpy
		.LVL14:
				li	a2,256
				add	a1,sp,776
				add	a0,sp,1032
				call	memcpy
		.LVL15:
				li	a2,256
				add	a1,sp,1032
				add	a0,sp,520
				call	memcpy
		.LVL16:
		.LBE27:
		.LBB28:
		.LBB29:
				li	a2,256
				add	a1,sp,520
				mv	a0,sp
				call	memcpy
		.LVL17:
				mv	a0,sp
				call	_imp_printstring
		.LVL18:
		.LBE29:
		.LBE28:
   11          WRITE(I,5); WRITE(J,5)
				li	a1,5
				mv	a0,s3
				call	_imp_writeint
		.LVL19:
   12          Fail=1; NEWLINE
				lui	s5,%hi(FAIL.6001)
				li	s4,1
				j	.L11
		.LVL7:
		.L13:
				mv	s1,s2
		.LBE25:
		.LBE24:
				li	a1,5
				mv	a0,s0
				call	_imp_writeint
		.LVL20:
				sw	s4,%lo(FAIL.6001)(s5)
		.LBB30:
		.LBB31:
				call	_imp_newline
		.LVL21:
				j	.L13
		.LVL22:
		.L12:
		.LBE31:
		.LBE30:
		.LBE32:
		.LBE33:
   13       %FINISH
   14 %END
   15       COMPARE(FACT(I),I*FACT(I-1)) %FOR I=2,1,10
   16       %if fail=0 %then printstring("TEST OK")
				li	s1,1
		.LBB24:
		.LBB25:
		.LBB26:
				lui	a5,%hi(FAIL.6001)
				lw	a5,%lo(FAIL.6001)(a5)
				beqz	a5,.L17
		.L14:
		.LVL23:
		.LBB34:
		.LBB35:
				li	a0,0
				call	exit
		.LVL24:
		.L17:
		.LBE35:
		.LBE34:
		.LBB36:
   17 %ENDOFPROGRAM
				li	a2,256
				lui	a1,%hi(.LANCHOR0+256)
				addi	a1,a1,%lo(.LANCHOR0+256)
				add	a0,sp,776
				call	memcpy
		.LVL25:
				li	a2,256
				add	a1,sp,776
				add	a0,sp,264
				call	memcpy
		.LVL26:
				li	a2,256
				add	a1,sp,264
				add	a0,sp,776
				call	memcpy
		.LVL27:
		.LBE36:
		.LBB37:
		.LBB38:
				li	a2,256
				add	a1,sp,776
				mv	a0,sp
				call	memcpy
		.LVL28:
				mv	a0,sp
				call	_imp_printstring
		.LVL29:
				j	.L14
		.LBE38:
		.LBE37:
		.LFE185:
				.section	.rodata
				.align	3
				.set	.LANCHOR0,. + 0
		.LC1:
				.byte	5
				.string	"ERROR"
				.zero	249
		.LC0:
				.byte	7
				.string	"TEST OK"
				.zero	247
				.section	.sbss,"aw",@nobits
				.align	2
		FAIL.6001:
				.zero	4
		.Letext0:
   19 Statements compiled
				li	a5,10
				beq	s2,a5,.L12
		.LVL8:
		.L11:
				addw	s0,s1,1
				sext.w	s2,s0
		.LVL9:
				mv	a0,s2
				call	FACT.6004
		.LVL10:
				mv	s3,a0
				mv	a0,s1
				call	FACT.6004
		.LVL11:
				mulw	s0,a0,s0
		.LVL12:
		.LBB33:
		.LBB32: