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 f(%integer i,j,k)
				call	_imp_initialise@PLT
		.LVL1:
		.LBB20:
    3 %record(f) expopnd
    4 %routine test
    5 %record(f)space
    6 %record(f)%name opnd1
    7 opnd1==space
    8 opnd1_i=13
    9 expopnd=opnd1
   10 %end
   11 test
   12 %if expopnd_i=13 %then printstring("TEST OK") %else printstring("FAIL")
   13 %endofprogram
				movabsq	$21197623525590356, %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)
		.LVL2:
				movb	$7, (%rsp)
		.LBE20:
		.LBB21:
		.LBB22:
				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
		.LVL3:
		.LDL1:
		.LBE22:
		.LBE21:
		.LBB23:
		.LBB24:
				addq	$256, %rsp
				movl	$0, %edi
				call	exit@PLT
		.LVL4:
		.LBE24:
		.LBE23:
		.LFE185:
		.Letext0:
   13 Statements compiled