Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.globl	main
		main:
		.LFB185:
		.LVL0:
				subq	$536, %rsp
				movq	%fs:40, %rax
				movq	%rax, 520(%rsp)
				xorl	%eax, %eax
    2 %recordformat rf(%short h0,%byte b2,b3)
				call	_imp_initialise@PLT
		.LVL1:
		.LBB14:
		.LBB15:
    3 %ownrecord(rf) x1,x2
    4 %integerfn fred
    5 %integer k
    6 %record(rf)r0,r1,r2
    7 k=13
    8 r0_h0=12
    9 x1_h0=17
				movw	$17, X1.6395(%rip)
   10 x2=x1
				movl	X1.6395(%rip), %eax
				movl	%eax, X2.6396(%rip)
		.LVL2:
		.LBE15:
		.LBE14:
		.LBB16:
   11 r1=r0
   12 r2=r1
   13 %result=r2_h0
   14 %end
   15 %if fred=12 %and x2_H0=17 %then printstring("Test OK")
   16 %endofprogram
   16 Statements compiled
				movabsq	$21197624064566612, %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
				movl	$29, %ecx
				movl	$0, %eax
				rep stosq
				movb	$7, 256(%rsp)
				movq	256(%rsp), %rax
				movq	264(%rsp), %rdx
				movq	%rax, (%rsp)
				movq	%rdx, 8(%rsp)
		.LVL3:
				movb	$7, (%rsp)
		.LBE16:
		.LBB17:
		.LBB18:
				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	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	248(%rsp)
				pushq	248(%rsp)
				call	_imp_printstring@PLT
		.LVL4:
		.LDL1:
		.LBE18:
		.LBE17:
		.LBB19:
		.LBB20:
				addq	$256, %rsp
				movl	$0, %edi
				call	exit@PLT
		.LVL5:
		.LBE20:
		.LBE19:
		.LFE185:
				.comm	X1.6395,4,2
				.comm	X2.6396,4,2
		.Letext0: