Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
		SIMPLE.6394:
		.LFB187:
		.LVL9:
				subq	$8, %rsp
    2   %routine calgol(%longreal c, %integerfn f(%integer p), %integername n)
				call	_imp_initialise@PLT
		.LVL10:
		.LBB18:
		.LBB19:
    3     n = f(n)
				movl	$3, %edi
				call	SIMPLE.6394
		.LVL11:
		.LBE19:
		.LBE18:
		.LBB20:
		.LBB21:
				movl	$0, %edi
				call	exit@PLT
		.LVL12:
		.LBE21:
		.LBE20:
		.LFE185:
		.Letext0:
    4   %end
?C unused
    5   %integerfn simple(%integer param)
		.LVL0:
				pushq	%r14
				pushq	%r13
				pushq	%r12
				pushq	%rbp
				pushq	%rbx
				subq	$528, %rsp
				movl	%edi, %ebp
				movq	%fs:40, %rax
				movq	%rax, 520(%rsp)
				xorl	%eax, %eax
		.LVL1:
		.LBB9:
    6     printstring("Called"); newline
				movabsq	$110386773516611, %rax
				movl	$0, %edx
				movq	%rax, 257(%rsp)
				movq	%rdx, 265(%rsp)
				movb	$0, 273(%rsp)
				movw	$0, 274(%rsp)
				movl	$0, 276(%rsp)
				leaq	280(%rsp), %rdi
		.LVL2:
				movl	$29, %ecx
				movl	$0, %eax
				rep stosq
				movb	$6, 256(%rsp)
				movq	256(%rsp), %rax
				movq	264(%rsp), %rdx
				movq	%rax, (%rsp)
				movq	%rdx, 8(%rsp)
				movdqa	272(%rsp), %xmm0
				movaps	%xmm0, 16(%rsp)
				movdqa	288(%rsp), %xmm1
				movaps	%xmm1, 32(%rsp)
				movdqa	304(%rsp), %xmm2
				movaps	%xmm2, 48(%rsp)
				movdqa	320(%rsp), %xmm3
				movaps	%xmm3, 64(%rsp)
				movdqa	336(%rsp), %xmm4
				movaps	%xmm4, 80(%rsp)
				movdqa	352(%rsp), %xmm5
				movaps	%xmm5, 96(%rsp)
				movdqa	368(%rsp), %xmm6
				movaps	%xmm6, 112(%rsp)
				movdqa	384(%rsp), %xmm7
				movaps	%xmm7, 128(%rsp)
				movdqa	400(%rsp), %xmm0
				movaps	%xmm0, 144(%rsp)
				movdqa	416(%rsp), %xmm1
				movaps	%xmm1, 160(%rsp)
				movq	432(%rsp), %r13
				movq	440(%rsp), %r14
				movq	%r13, 176(%rsp)
				movq	%r14, 184(%rsp)
				movq	448(%rsp), %rsi
				movq	456(%rsp), %rdi
				movq	%rsi, 192(%rsp)
				movq	%rdi, 200(%rsp)
				movq	464(%rsp), %r9
				movq	472(%rsp), %r10
				movq	%r9, 208(%rsp)
				movq	%r10, 216(%rsp)
				movq	480(%rsp), %rcx
				movq	488(%rsp), %rbx
				movq	%rcx, 224(%rsp)
				movq	%rbx, 232(%rsp)
				movq	496(%rsp), %r11
				movq	504(%rsp), %r12
				movq	%r11, 240(%rsp)
				movq	%r12, 248(%rsp)
		.LVL3:
				movb	$6, (%rsp)
				movq	(%rsp), %rax
				movq	8(%rsp), %rdx
				movq	%rax, 256(%rsp)
				movq	%rdx, 264(%rsp)
		.LBE9:
		.LBB10:
		.LBB11:
				pushq	%r12
				pushq	%r11
				pushq	%rbx
				pushq	%rcx
				pushq	%r10
				pushq	%r9
				pushq	%rdi
				pushq	%rsi
				pushq	%r14
				pushq	%r13
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	%rdx
				pushq	%rax
				call	_imp_printstring@PLT
		.LVL4:
		.LBE11:
		.LBE10:
		.LBB12:
		.LBB13:
				addq	$256, %rsp
				call	_imp_newline@PLT
		.LVL5:
		.LBE13:
		.LBE12:
    7     %result = param
    8   %end
				movq	520(%rsp), %rbx
				xorq	%fs:40, %rbx
				jne	.L4
				movl	%ebp, %eax
				addq	$528, %rsp
				popq	%rbx
				popq	%rbp
		.LVL6:
				popq	%r12
				popq	%r13
				popq	%r14
				ret
		.LVL7:
		.L4:
				call	__stack_chk_fail@PLT
		.LVL8:
		.LFE187:
				.globl	main
		main:
		.LFB185:
    9   %longreal a = 1.23
   10   %integer num
   11   num = 3
   12   calgol(a, simple, num)
   13 %endofprogram
   14 Statements compiled