Edinburgh IMP77 Compiler - Version 8.4
    1 %BEGIN
				NO_APP
		.Ltext0:
				.align	2
		FACT.5990:
		.LFB186:
		.LVL2:
		 		link.w %fp,#-1024
		 		movem.l #16188,-(%sp)
    2 %owninteger fail=0
		 		move.l 12(%fp),-(%sp)
		 		move.l 8(%fp),-(%sp)
		 		jsr _imp_initialise
		.LVL3:
		 		addq.l #8,%sp
    3 %INTEGER I
    4 %INTEGERFN FACT(%INTEGER N,mult)
		.LVL0:
		 		link.w %fp,#0
		 		move.l %d2,-(%sp)
		 		move.l 8(%fp),%d1
		 		move.l 12(%fp),%d0
    5       %IF N<=1 %THENRESULT=mult
		 		moveq #1,%d2
		 		cmp.l %d1,%d2
		 		jlt .L4
		.L2:
    6       %RESULT=FACT(N-1,mult*N)
		 		muls.l %d1,%d0
		 		move.l %d0,-(%sp)
		 		move.l %d1,%a0
		 		pea -1(%a0)
		 		jsr FACT.5990
		.LVL1:
		 		addq.l #8,%sp
		 		jra .L2
		.LFE186:
				.section	.rodata
		.LC1:
		 		.byte	5
		 		.string	"ERROR"
		 		.zero	249
		.LC0:
		 		.byte	7
		 		.string	"TEST OK"
		 		.zero	247
				.align	2
				.globl	main
		main:
		.LFB185:
    7 %END
		 		move.l -4(%fp),%d2
		 		unlk %fp
		 		rts
		.L4:
		.L3:
    8 %ROUTINE COMPARE(%INTEGER I,J)
    9       %UNLESS I=J %START
		 		cmp.l %d4,%d0
		 		jeq .L8
		.LBB27:
   10          PRINTSTRING("ERROR")
		 		move.l %fp,%d7
		.LVL4:
		 		add.l #-512,%d7
		.LVL5:
		 		lea .LC1,%a4
		 		lea memcpy,%a2
		 		move.l %fp,%d6
		.LVL6:
		 		add.l #-256,%d6
		.LVL7:
		 		move.l %fp,%d5
		.LVL8:
		 		add.l #-768,%d5
		.LVL9:
		 		jra .L6
		.LVL10:
		.L8:
		 		move.l %d2,%d0
		.LBE26:
		.LBE25:
		.LBE24:
		 		moveq #100,%d1
		 		cmp.l %d2,%d1
		 		jeq .L7
		.LVL11:
		.L6:
		 		move.l %d0,%d2
		 		addq.l #1,%d2
		.LVL12:
		 		pea 1.w
		 		move.l %d0,-(%sp)
		 		jsr (%a3)
		.LVL13:
		 		addq.l #8,%sp
		 		move.l %d0,%d4
		 		muls.l %d2,%d4
		 		pea 1.w
		 		move.l %d2,-(%sp)
		 		jsr (%a3)
		.LVL14:
		 		addq.l #8,%sp
		 		move.l %d0,%a5
		.LVL15:
		.LBB33:
		.LBB32:
		 		move.l #256,%d3
		 		move.l %d3,-(%sp)
		 		move.l %a4,-(%sp)
		 		move.l %d7,-(%sp)
		 		jsr (%a2)
		.LVL16:
		 		move.l %d3,-(%sp)
		 		move.l %d7,-(%sp)
		 		move.l %d6,-(%sp)
		 		jsr (%a2)
		.LVL17:
		 		move.l %d3,-(%sp)
		 		move.l %d6,-(%sp)
		 		move.l %d5,-(%sp)
		 		jsr (%a2)
		.LVL18:
		.LBE27:
		.LBB28:
		.LBB29:
		 		lea (-220,%sp),%sp
		 		move.l %sp,%d0
		 		move.l %d3,-(%sp)
		 		move.l %d5,-(%sp)
		 		move.l %d0,-(%sp)
		 		jsr (%a2)
		.LVL19:
		 		lea (12,%sp),%sp
		 		jsr _imp_printstring
		.LVL20:
		.LBE29:
		.LBE28:
   11          WRITE(I,5); WRITE(J,5)
		 		add.l %d3,%sp
		 		pea 5.w
		 		move.l %a5,-(%sp)
		 		lea _imp_writeint,%a5
		.LVL21:
		 		jsr (%a5)
		.LVL22:
   12          Fail=1; NEWLINE
		 		pea 5.w
		 		move.l %d4,-(%sp)
		 		jsr (%a5)
		.LVL23:
		 		moveq #1,%d0
		 		move.l %d0,FAIL.5986
		.LBB30:
		.LBB31:
		 		jsr _imp_newline
		.LVL24:
		 		lea (16,%sp),%sp
		 		jra .L8
		.LVL25:
		.L7:
		.LBE31:
		.LBE30:
		.LBE32:
		.LBE33:
   13       %FINISH
   14 %END
   15       COMPARE(FACT(I,1),I*FACT(I-1,1)) %FOR I=2,1,100
   16       %if fail=0 %then printstring("TEST OK")
		 		moveq #1,%d0
		 		tst.l FAIL.5986
		 		jeq .L10
		.LVL26:
		.L9:
		.LBB34:
		.LBB35:
		 		clr.l -(%sp)
		 		jsr exit
		.LVL27:
		.L10:
		.LBE35:
		.LBE34:
		.LBB36:
   17 %ENDOFPROGRAM
		 		move.l %fp,%d2
		.LVL28:
		 		add.l #-512,%d2
		.LVL29:
		 		move.l #256,%d3
		 		move.l %d3,-(%sp)
		 		pea .LC0
		 		move.l %d2,-(%sp)
		 		lea memcpy,%a2
		 		jsr (%a2)
		.LVL30:
		 		move.l %fp,%d4
		.LVL31:
		 		add.l #-1024,%d4
		.LVL32:
		 		move.l %d3,-(%sp)
		 		move.l %d2,-(%sp)
		 		move.l %d4,-(%sp)
		 		jsr (%a2)
		.LVL33:
		 		move.l %d3,-(%sp)
		 		move.l %d4,-(%sp)
		 		move.l %d2,-(%sp)
		 		jsr (%a2)
		.LVL34:
		.LBE36:
		.LBB37:
		.LBB38:
		 		lea (-220,%sp),%sp
		 		move.l %sp,%d0
		 		move.l %d3,-(%sp)
		 		move.l %d2,-(%sp)
		 		move.l %d0,-(%sp)
		 		jsr (%a2)
		.LVL35:
		 		lea (12,%sp),%sp
		 		jsr _imp_printstring
		.LVL36:
		 		add.l %d3,%sp
		 		jra .L9
		.LBE38:
		.LBE37:
		.LFE185:
				.comm	FAIL.5986,4,2
		.Letext0:
   19 Statements compiled
		 		lea FACT.5990,%a3
		.LBB24:
		.LBB25:
		.LBB26: