Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
				.machine ppc
				.section	".text"
		.Ltext0:
				.align 2
		SIMPLE.6992:
		.LFB187:
		.LVL11:
				stwu 1,-16(1)
				mflr 0
				stw 0,20(1)
    2   %predicate calgol(%longreal c, %integerfn f(%integer p), %integername n)
				bl _imp_initialise
		.LVL12:
		.LBB18:
		.LBB19:
    3     %true %if n = f(n)
				li 3,3
				bl SIMPLE.6992
		.LVL13:
		.LDL1:
		.LDL2:
		.LBE19:
		.LBE18:
		.LBB20:
		.LBB21:
				li 3,0
				bl exit
		.LVL14:
		.LBE21:
		.LBE20:
		.LFE185:
				.section	.rodata
				.set	.LANCHOR0,. + 0
		.LC0:
				.byte	6
				.string	"Called"
				.zero	248
				.section	".text"
		.Letext0:
    4     %false
    5   %end
?C unused
    6   %integerfn simple(%integer param)
		.LVL0:
				stwu 1,-816(1)
				mflr 0
				stw 0,820(1)
				stw 31,812(1)
				mr 31,3
				lwz 9,-28680(2)
				stw 9,796(1)
				li 9,0
		.LBB9:
    7     printstring("Called"); newline
				li 5,256
				lis 4,.LANCHOR0@ha
				la 4,.LANCHOR0@l(4)
				addi 3,1,540
		.LVL1:
				bl memcpy
		.LVL2:
				li 5,256
				addi 4,1,540
				addi 3,1,284
				bl memcpy
		.LVL3:
				li 5,256
				addi 4,1,284
				addi 3,1,540
				bl memcpy
		.LVL4:
		.LBE9:
		.LBB10:
		.LBB11:
				li 5,256
				addi 4,1,540
				addi 3,1,16
				bl memcpy
		.LVL5:
				addi 3,1,16
				bl _imp_printstring
		.LVL6:
		.LBE11:
		.LBE10:
		.LBB12:
		.LBB13:
				bl _imp_newline
		.LVL7:
		.LBE13:
		.LBE12:
    8     %result = param
    9   %end
				lwz 9,796(1)
				lwz 10,-28680(2)
				xor. 9,9,10
				li 10,0
				bne 0,.L4
				mr 3,31
				lwz 0,820(1)
				mtlr 0
				lwz 31,812(1)
		.LVL8:
				addi 1,1,816
				blr
		.LVL9:
		.L4:
				bl __stack_chk_fail
		.LVL10:
		.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