Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.align	1
				.thumb
				.thumb_func
		OUTER.10026:
		.LFB186:
				@ Volatile: function does not return.
				@ args = 0, pretend = 0, frame = 0
				@ frame_needed = 0, uses_anonymous_args = 0
		.LVL9:
				push	{r3, lr}
    2   %routine outer(%integer i)
				@ args = 0, pretend = 0, frame = 520
				@ frame_needed = 0, uses_anonymous_args = 0
		.LVL0:
				push	{r4, r5, r6, r7, lr}
				sub	sp, sp, #764
				ldr	r3, .L5
		.LPIC0:
				add	r3, pc
				ldr	r2, .L5+4
				ldr	r7, [r3, r2]
				ldr	r3, [r7]
				str	r3, [sp, #756]
		.LBB9:
				bl	_imp_initialise(PLT)
		.LVL10:
		.LBB18:
		.LBB19:
    3     printstring("Outer-level version was called"); newline
				mov	r6, #256
				mov	r2, r6
				ldr	r1, .L5+8
		.LPIC1:
				add	r1, pc
				add	r4, sp, #500
				mov	r0, r4
		.LVL1:
				bl	memcpy(PLT)
		.LVL2:
				mov	r2, r6
				mov	r1, r4
				add	r5, sp, #244
				mov	r0, r5
				bl	memcpy(PLT)
		.LVL3:
				mov	r2, r6
				mov	r1, r5
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL4:
		.LBE9:
		.LBB10:
		.LBB11:
				movs	r2, #240
				add	r1, sp, #516
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL5:
				ldm	r4, {r0, r1, r2, r3}
				bl	_imp_printstring(PLT)
		.LVL6:
		.LBE11:
		.LBE10:
		.LBB12:
		.LBB13:
				bl	_imp_newline(PLT)
		.LVL7:
		.LBE13:
		.LBE12:
    4   %end
?I unused
    5   %routine inner
				ldr	r2, [sp, #756]
				ldr	r3, [r7]
				cmp	r2, r3
				bne	.L4
				add	sp, sp, #764
				@ sp needed
				pop	{r4, r5, r6, r7, pc}
		.L4:
				bl	__stack_chk_fail(PLT)
		.LVL8:
		.L6:
				.align	2
		.L5:
				.word	_GLOBAL_OFFSET_TABLE_-(.LPIC0+4)
				.word	__stack_chk_guard(GOT)
				.word	.LANCHOR0-(.LPIC1+4)
		.LFE186:
				.align	1
				.global	main
				.thumb
				.thumb_func
		main:
		.LFB185:
    6     %routine test1
    7     %end
    8
    9     outer(10)
				movs	r0, #10
				bl	OUTER.10026(PLT)
		.LVL11:
		.LBE19:
		.LBE18:
		.LBB20:
		.LBB21:
				movs	r0, #0
				bl	exit(PLT)
		.LVL12:
		.LBE21:
		.LBE20:
		.LFE185:
				.section	.rodata
				.align	2
				.set	.LANCHOR0,. + 0
		.LC3:
				.byte	30
				.ascii	"Outer-level version was called\000"
				.space	224
		.Letext0:
   10
   11     %routine outer(%integer i)
   12       printstring("Inner-level version was called.  Probably should not have been!"); newline
   13       printstring("This is only likely to have happened if nested procedures were badly"); newline
   14       printstring("exbedded in the conversion to C ..."); newline
   15     %end
?I unused
   16
   17     test1
   18   %end
?OUTER unused
   19   inner
   20 %endofprogram
   21 Statements compiled