Edinburgh IMP77 Compiler - Version 8.4
    1 %externalroutine whatever(%integer x)
		.Ltext0:
				.align	1
				.global	WHATEVER
				.thumb
				.thumb_func
		WHATEVER:
		.LFB185:
				@ args = 0, pretend = 0, frame = 0
				@ frame_needed = 0, uses_anonymous_args = 0
				@ link register save eliminated.
		.LVL0:
    2 %end
?X unused
    3
				bx	lr
		.LFE185:
				.align	1
				.global	XR1
				.thumb
				.thumb_func
		XR1:
		.LFB186:
    4 %externalroutine xr1(%routine fred(%integer p2))
				@ args = 0, pretend = 0, frame = 0
				@ frame_needed = 0, uses_anonymous_args = 0
				@ link register save eliminated.
		.LVL1:
    5   %real r1
    6 %end
?R1 unused
?FRED unused
    7
				bx	lr
		.LFE186:
				.align	1
				.global	XM1
				.thumb
				.thumb_func
		XM1:
		.LFB187:
    8 ! Should translate to:
    9
   10 ! void xr1(void (*fred)(int p2)) {
   11 !   float r1;
   12 ! }
   13
   14
   15 %externalintegermap xm1(%routine fred(%integer p2))
   16   %owninteger oi1
				@ args = 0, pretend = 0, frame = 0
				@ frame_needed = 0, uses_anonymous_args = 0
				@ link register save eliminated.
		.LVL2:
   17   %result == oi1
   18 %end
				ldr	r0, .L4
		.LVL3:
		.LPIC0:
				add	r0, pc
				bx	lr
		.L5:
				.align	2
		.L4:
				.word	.LANCHOR0-(.LPIC0+4)
		.LFE187:
				.align	1
				.global	main
				.thumb
				.thumb_func
		main:
		.LFB188:
?FRED unused
   19
   20 ! Should translate to:
   21
   22 ! int *xm1(void (*fred)(int p2)) {
   23 !   static int oi1;
   24 !   return &oi1;
   25 ! }
   26
   27 %begin
				@ args = 0, pretend = 0, frame = 0
				@ frame_needed = 0, uses_anonymous_args = 0
		.LVL4:
				push	{r3, lr}
   28   %integer i           ;! int I;
				bl	_imp_initialise(PLT)
		.LVL5:
		.LBB4:
		.LBB5:
				movs	r0, #0
				bl	exit(PLT)
		.LVL6:
		.LBE5:
		.LBE4:
		.LFE188:
				.bss
				.align	2
				.set	.LANCHOR0,. + 0
		OI1.10033:
				.space	4
		.Letext0:
   29   %integername zz      ;! int *ZZ;
   30   zz == xm1(whatever)  ;! ZZ = XM1(&whatever);
   31   i = zz               ;! I = *ZZ;
   32 %end
   33
   34 %endoffile
   16 Statements compiled