Edinburgh IMP77 Compiler - Version 8.4
    1 %BEGIN
				.machinemode zarch
				.machine "zEC12"
		.text
		.Ltext0:
				.align	8
		FACT.6692:
		.LFB186:
		.LVL5:
				stmg	%r6,%r15,48(%r15)
				lay	%r15,-1448(%r15)
				ear	%r1,%a0
				sllg	%r1,%r1,32
				ear	%r1,%a1
				mvc	1440(8,%r15),40(%r1)
    2 %owninteger fail=0
				brasl	%r14,_imp_initialise@PLT
		.LVL6:
    3 %INTEGER I
    4 %INTEGERFN FACT(%INTEGER N)
		.LVL0:
				stmg	%r11,%r15,88(%r15)
				lay	%r15,-160(%r15)
				lgr	%r11,%r2
		.L3:
    5       %IF N<=1 %THENRESULT=1
				cijh	%r2,1,.L9
    6       %RESULT=N*FACT(N-1)
				lhi	%r2,1
		.LVL1:
				ahi	%r2,-1
		.LVL3:
				lgfr	%r2,%r2
				brasl	%r14,FACT.6692
		.LVL4:
				msr	%r2,%r11
				lgfr	%r2,%r2
				lg	%r4,272(%r15)
				lmg	%r11,%r15,248(%r15)
				br	%r4
		.LFE186:
				.section	.rodata
				.align	2
		.LC1:
				.byte	5
				.string	"ERROR"
				.zero	249
				.align	2
		.LC0:
				.byte	7
				.string	"TEST OK"
				.zero	247
		.text
				.align	8
		.globl main
		main:
		.LFB185:
    7 %END
				lgfr	%r2,%r2
				br	%r14
		.LVL2:
		.L9:
    8 %ROUTINE COMPARE(%INTEGER I,J)
    9       %UNLESS I=J %START
				crje	%r9,%r8,.L14
		.LBB30:
   10          PRINTSTRING("ERROR")
				larl	%r6,.LC1
		.LBE26:
		.LBB27:
		.LBB28:
				aghik	%r7,%r15,160
				lhi	%r10,9
				j	.L12
		.LVL7:
		.L14:
				lr	%r9,%r11
		.LVL8:
		.LBE28:
		.LBE27:
		.LBE25:
		.LBE24:
				mvc	928(256,%r15),0(%r6)
				mvc	1184(256,%r15),928(%r15)
				mvc	672(256,%r15),1184(%r15)
		.LBE30:
		.LBB31:
		.LBB29:
				mvc	160(256,%r15),672(%r15)
				lgr	%r2,%r7
				brasl	%r14,_imp_printstring@PLT
		.LVL15:
		.LBE29:
		.LBE31:
   11          WRITE(I,5); WRITE(J,5)
				lghi	%r3,5
				lgr	%r2,%r8
				brasl	%r14,_imp_writeint@PLT
		.LVL16:
   12          Fail=1; NEWLINE
				lghi	%r3,5
				lgfr	%r2,%r9
				brasl	%r14,_imp_writeint@PLT
		.LVL17:
				larl	%r1,FAIL.6689
				mvhi	0(%r1),1
		.LBB32:
		.LBB33:
				brasl	%r14,_imp_newline@PLT
		.LVL18:
				j	.L14
		.LVL19:
		.L20:
		.L13:
		.LBE33:
		.LBE32:
		.LBE34:
		.LBE35:
   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")
				lhi	%r9,1
		.LBB24:
		.LBB25:
		.LBB26:
				larl	%r1,FAIL.6689
				lt	%r1,0(%r1)
				je	.L21
		.L15:
		.LVL20:
		.LBB36:
		.LBB37:
				lghi	%r2,0
				brasl	%r14,exit@PLT
		.LVL21:
		.L21:
		.LBE37:
		.LBE36:
		.LBB38:
   17 %ENDOFPROGRAM
				larl	%r1,.LC0
				mvc	928(256,%r15),0(%r1)
				mvc	416(256,%r15),928(%r15)
				mvc	928(256,%r15),416(%r15)
		.LBE38:
		.LBB39:
		.LBB40:
				mvc	160(256,%r15),928(%r15)
				aghik	%r2,%r15,160
				brasl	%r14,_imp_printstring@PLT
		.LVL22:
				j	.L15
		.LBE40:
		.LBE39:
		.LFE185:
				.comm	FAIL.6689,4,4
		.Letext0:
   19 Statements compiled
				brct	%r10,.L12
		.LVL9:
				j	.L20
		.LVL10:
		.L12:
				ahik	%r11,%r9,1
		.LVL11:
				lgfr	%r2,%r11
				brasl	%r14,FACT.6692
		.LVL12:
				lgr	%r8,%r2
				lgfr	%r2,%r9
				brasl	%r14,FACT.6692
		.LVL13:
				lr	%r9,%r11
				msr	%r9,%r2
		.LVL14:
		.LBB35:
		.LBB34: