Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
				.option nopic
		.Ltext0:
				.align	1
		SIMPLE.6009:
		.LFB187:
		.LVL9:
				add	sp,sp,-16
				sd	ra,8(sp)
    2   %predicate calgol(%longreal c, %integerfn f(%integer p), %integername n)
				call	_imp_initialise
		.LVL10:
		.LBB18:
		.LBB19:
    3     %true %if n = f(n)
				li	a0,3
				call	SIMPLE.6009
		.LVL11:
		.LDL1:
		.LDL2:
		.LBE19:
		.LBE18:
		.LBB20:
		.LBB21:
				li	a0,0
				call	exit
		.LVL12:
		.LBE21:
		.LBE20:
		.LFE185:
				.section	.rodata
				.align	3
				.set	.LANCHOR0,. + 0
		.LC0:
				.byte	6
				.string	"Called"
				.zero	248
		.Letext0:
    4     %false
    5   %end
?C unused
    6   %integerfn simple(%integer param)
		.LVL0:
				add	sp,sp,-816
				sd	ra,808(sp)
				sd	s0,800(sp)
				sd	s1,792(sp)
				mv	s1,a0
				lui	s0,%hi(__stack_chk_guard)
				ld	a5,%lo(__stack_chk_guard)(s0)
				sd	a5,776(sp)
		.LBB9:
    7     printstring("Called"); newline
				li	a2,256
				lui	a1,%hi(.LANCHOR0)
				addi	a1,a1,%lo(.LANCHOR0)
				add	a0,sp,520
		.LVL1:
				call	memcpy
		.LVL2:
				li	a2,256
				add	a1,sp,520
				add	a0,sp,264
				call	memcpy
		.LVL3:
				li	a2,256
				add	a1,sp,264
				add	a0,sp,520
				call	memcpy
		.LVL4:
		.LBE9:
		.LBB10:
		.LBB11:
				li	a2,256
				add	a1,sp,520
				mv	a0,sp
				call	memcpy
		.LVL5:
				mv	a0,sp
				call	_imp_printstring
		.LVL6:
		.LBE11:
		.LBE10:
		.LBB12:
		.LBB13:
				call	_imp_newline
		.LVL7:
		.LBE13:
		.LBE12:
    8     %result = param
    9   %end
				ld	a4,776(sp)
				ld	a5,%lo(__stack_chk_guard)(s0)
				bne	a4,a5,.L4
				mv	a0,s1
				ld	ra,808(sp)
				ld	s0,800(sp)
				ld	s1,792(sp)
				add	sp,sp,816
				jr	ra
		.L4:
				call	__stack_chk_fail
		.LVL8:
		.LFE187:
				.align	1
				.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