Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.align	1
				.global	main
				.thumb
				.thumb_func
		main:
		.LFB185:
				@ args = 0, pretend = 0, frame = 0
				@ frame_needed = 0, uses_anonymous_args = 0
		.LVL0:
				push	{r3, lr}
    2   %integer I
				bl	_imp_initialise(PLT)
		.LVL1:
		.LDL1:
		.LBB12:
		.LBB13:
				movs	r0, #0
				bl	exit(PLT)
		.LVL2:
		.LBE13:
		.LBE12:
		.LFE185:
		.Letext0:
    3   %integername N
    4   %integerfn F
    5     %result = I
    6   %end
    7   %routine R
    8   %end
    9   %integermap M
   10     %result == I
   11   %end
   12   %predicate P
   13     %true
   14   %end
   15   %if P %start
   16     R
   17     N == I
   18     N = I
   19     I = F
   20     I = M
   21     I = N
   22     M = I
   23   %finish
   24 %endofprogram
   24 Statements compiled