Edinburgh IMP77 Compiler - Version 8.4
    1 %BEGIN
		.Ltext0:
				.align	1
				.thumb
				.thumb_func
		FACT.10028:
		.LFB186:
				@ args = 0, pretend = 0, frame = 1032
				@ frame_needed = 0, uses_anonymous_args = 0
		.LVL5:
				push	{r4, r5, r6, r7, r8, r9, r10, fp, lr}
				subw	sp, sp, #1276
				ldr	r3, .L18
		.LPIC0:
				add	r3, pc
				ldr	r2, .L18+4
				ldr	r3, [r3, r2]
				ldr	r3, [r3]
				str	r3, [sp, #1268]
    2 %owninteger fail=0
				bl	_imp_initialise(PLT)
		.LVL6:
    3 %INTEGER I
    4 %INTEGERFN FACT(%INTEGER N)
				@ args = 0, pretend = 0, frame = 0
				@ frame_needed = 0, uses_anonymous_args = 0
		.LVL0:
				push	{r4, lr}
				mov	r4, r0
		.L3:
    5       %IF N<=1 %THENRESULT=1
				cmp	r0, #1
				bgt	.L9
    6       %RESULT=N*FACT(N-1)
				movs	r0, #1
		.LVL1:
				subs	r0, r0, #1
		.LVL3:
				bl	FACT.10028(PLT)
		.LVL4:
				mul	r0, r4, r0
				pop	{r4, pc}
		.LFE186:
				.align	1
				.global	main
				.thumb
				.thumb_func
		main:
		.LFB185:
    7 %END
				bx	lr
		.LVL2:
		.L9:
    8 %ROUTINE COMPARE(%INTEGER I,J)
    9       %UNLESS I=J %START
				cmp	r6, r10
				beq	.L13
		.LBB27:
   10          PRINTSTRING("ERROR")
				add	r7, sp, #756
				ldr	r9, .L18+8
		.LPIC1:
				add	r9, pc
		.LBE26:
				mov	fp, #256
				mov	r2, fp
				mov	r1, r9
				mov	r0, r7
				bl	memcpy(PLT)
		.LVL13:
				mov	r2, fp
				mov	r1, r7
				add	r5, sp, #1012
				mov	r0, r5
				bl	memcpy(PLT)
		.LVL14:
				mov	r2, fp
				mov	r1, r5
				add	r5, sp, #500
				mov	r0, r5
				bl	memcpy(PLT)
		.LVL15:
		.LBE27:
		.LBB28:
		.LBB29:
				movs	r2, #240
				add	r1, sp, #516
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL16:
				ldm	r5, {r0, r1, r2, r3}
				bl	_imp_printstring(PLT)
		.LVL17:
		.LBE29:
		.LBE28:
   11          WRITE(I,5); WRITE(J,5)
				movs	r1, #5
				mov	r0, r6
				bl	_imp_writeint(PLT)
		.LVL18:
   12          Fail=1; NEWLINE
				ldr	r8, .L18+12
		.LPIC2:
				add	r8, pc
				b	.L11
		.LVL7:
		.L13:
				mov	r5, r4
		.LBE25:
		.LBE24:
				movs	r1, #5
				mov	r0, r10
				bl	_imp_writeint(PLT)
		.LVL19:
				movs	r3, #1
				str	r3, [r8]
		.LBB30:
		.LBB31:
				bl	_imp_newline(PLT)
		.LVL20:
				b	.L13
		.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")
				movs	r5, #1
		.LBB24:
		.LBB25:
		.LBB26:
				ldr	r3, .L18+16
		.LPIC3:
				add	r3, pc
				ldr	r3, [r3]
				cbz	r3, .L17
		.LVL21:
		.L14:
		.LBB34:
		.LBB35:
				movs	r0, #0
				bl	exit(PLT)
		.LVL22:
		.L17:
		.LBE35:
		.LBE34:
		.LBB36:
   17 %ENDOFPROGRAM
				mov	r6, #256
		.LVL23:
				mov	r2, r6
				ldr	r1, .L18+20
		.LPIC4:
				add	r1, pc
				add	r1, r1, r6
				add	r4, sp, #756
		.LVL24:
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL25:
				mov	r2, r6
				mov	r1, r4
				add	r5, sp, #244
		.LVL26:
				mov	r0, r5
				bl	memcpy(PLT)
		.LVL27:
				mov	r2, r6
				mov	r1, r5
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL28:
		.LBE36:
		.LBB37:
		.LBB38:
				movs	r2, #240
				add	r1, sp, #772
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL29:
				ldm	r4, {r0, r1, r2, r3}
				bl	_imp_printstring(PLT)
		.LVL30:
				b	.L14
		.L19:
				.align	2
		.L18:
				.word	_GLOBAL_OFFSET_TABLE_-(.LPIC0+4)
				.word	__stack_chk_guard(GOT)
				.word	.LANCHOR0-(.LPIC1+4)
				.word	.LANCHOR1-(.LPIC2+4)
				.word	.LANCHOR1-(.LPIC3+4)
				.word	.LANCHOR0-(.LPIC4+4)
		.LBE38:
		.LBE37:
		.LFE185:
				.section	.rodata
				.align	2
				.set	.LANCHOR0,. + 0
		.LC1:
				.byte	5
				.ascii	"ERROR\000"
				.space	249
		.LC0:
				.byte	7
				.ascii	"TEST OK\000"
				.space	247
				.bss
				.align	2
				.set	.LANCHOR1,. + 0
		FAIL.10025:
				.space	4
		.Letext0:
   19 Statements compiled
				cmp	r4, #10
				beq	.L12
		.LVL8:
		.L11:
				adds	r4, r5, #1
		.LVL9:
				mov	r0, r4
				bl	FACT.10028(PLT)
		.LVL10:
				mov	r6, r0
				mov	r0, r5
				bl	FACT.10028(PLT)
		.LVL11:
				mul	r10, r4, r0
		.LVL12:
		.LBB33:
		.LBB32: