Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
				NO_APP
		.Ltext0:
				.section	.rodata
		.LC0:
		 		.byte	6
		 		.string	"Called"
		 		.zero	248
				.align	2
		SIMPLE.5994:
		.LFB187:
		.LVL13:
		 		link.w %fp,#0
    2   %predicate calgol(%longreal c, %integerfn f(%integer p), %integername n)
		 		move.l 12(%fp),-(%sp)
		 		move.l 8(%fp),-(%sp)
		 		jsr _imp_initialise
		.LVL14:
		.LBB18:
		.LBB19:
    3     %true %if n = f(n)
		 		pea 3.w
		 		jsr SIMPLE.5994
		.LVL15:
		.LDL1:
		.LDL2:
		.LBE19:
		.LBE18:
		.LBB20:
		.LBB21:
		 		clr.l -(%sp)
		 		jsr exit
		.LVL16:
		.LBE21:
		.LBE20:
		.LFE185:
		.Letext0:
    4     %false
    5   %end
?C unused
    6   %integerfn simple(%integer param)
		.LVL0:
		 		link.w %fp,#-512
		 		movem.l #14368,-(%sp)
		.LBB9:
    7     printstring("Called"); newline
		 		move.l %fp,%d2
		.LVL1:
		 		add.l #-256,%d2
		.LVL2:
		 		move.l #256,%d3
		 		move.l %d3,-(%sp)
		 		pea .LC0
		 		move.l %d2,-(%sp)
		 		lea memcpy,%a2
		 		jsr (%a2)
		.LVL3:
		 		move.l %fp,%d4
		.LVL4:
		 		add.l #-512,%d4
		.LVL5:
		 		move.l %d3,-(%sp)
		 		move.l %d2,-(%sp)
		 		move.l %d4,-(%sp)
		 		jsr (%a2)
		.LVL6:
		 		move.l %d3,-(%sp)
		 		move.l %d4,-(%sp)
		 		move.l %d2,-(%sp)
		 		jsr (%a2)
		.LVL7:
		.LBE9:
		.LBB10:
		.LBB11:
		 		lea (-220,%sp),%sp
		 		move.l %sp,%d0
		 		move.l %d3,-(%sp)
		 		move.l %d2,-(%sp)
		 		move.l %d0,-(%sp)
		 		jsr (%a2)
		.LVL8:
		 		lea (12,%sp),%sp
		 		jsr _imp_printstring
		.LVL9:
		.LBE11:
		.LBE10:
		.LBB12:
		.LBB13:
		 		add.l %d3,%sp
		 		jsr _imp_newline
		.LVL10:
		.LBE13:
		.LBE12:
    8     %result = param
    9   %end
		 		move.l 8(%fp),%d0
		 		movem.l -528(%fp),#1052
		.LVL11:
		 		unlk %fp
		.LVL12:
		 		rts
		.LFE187:
				.align	2
				.globl	main
		main:
		.LFB185:
   10   %longreal a = 1.23
   11   %integer num
   12   num = 3
   13   %if calgol(a, simple, num) %start
   14     num = 1
   15   %finish
   16 %endofprogram
   17 Statements compiled