Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
		FRED.6032:
		.LFB190:
				leal	4(%esp), %ecx
				andl	$-16, %esp
				pushl	-4(%ecx)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%esi
				pushl	%ebx
				pushl	%ecx
				subl	$552, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -556(%ebp)
				movl	%gs:20, %esi
				movl	%esi, -28(%ebp)
				xorl	%esi, %esi
				leal	8(%ebp), %edx
				movl	%edx, -548(%ebp)
				subl	$8, %esp
				pushl	-556(%ebp)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
    2 %recordformat rf(%short h0,%byte b2,b3)
    3 %ownrecord(rf) x1,x2
    4 %integerfn fred
				pushl	%ebp
				movl	%esp, %ebp
				subl	$20, %esp
				call	__x86.get_pc_thunk.ax
				addl	$_GLOBAL_OFFSET_TABLE_, %eax
				movl	%ecx, -20(%ebp)
    5 %integer k
    6 %record(rf)r0,r1,r2
    7 k=13
				movl	$13, -16(%ebp)
    8 r0_h0=12
				movw	$12, -12(%ebp)
    9 x1_h0=17
				movw	$17, X1.6029@GOTOFF(%eax)
   10 x2=x1
				movl	X1.6029@GOTOFF(%eax), %edx
				movl	%edx, X2.6030@GOTOFF(%eax)
   11 r1=r0
				movl	-12(%ebp), %eax
				movl	%eax, -8(%ebp)
   12 r2=r1
				movl	-8(%ebp), %eax
				movl	%eax, -4(%ebp)
   13 %result=r2_h0
				movzwl	-4(%ebp), %eax
				cwtl
   14 %end
				leave
				ret
		.LFE190:
				.section	.rodata
				.align 32
		.LC0:
				.byte	7
				.string	"Test OK"
				.zero	247
				.globl	main
		main:
		.LFB189:
   15 %if fred=12 %and x2_H0=17 %then printstring("Test OK")
				leal	-548(%ebp), %eax
				movl	%eax, %ecx
				call	FRED.6032
				cmpl	$12, %eax
				jne	.L8
				movzwl	X2.6030@GOTOFF(%ebx), %eax
				cmpw	$17, %ax
				jne	.L9
		.LBB7:
				leal	-284(%ebp), %eax
				leal	.LC0@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-540(%ebp), %eax
				leal	-284(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %eax
				leal	-540(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE7:
		.LBB8:
		.LBB9:
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-284(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				call	_imp_printstring@PLT
				addl	$256, %esp
				jmp	.L5
		.L8:
		.LBE9:
		.LBE8:
				nop
				jmp	.L5
		.L9:
				nop
		.L5:
				movl	$0, -544(%ebp)
		.LBB10:
		.LBB11:
				subl	$12, %esp
				pushl	-544(%ebp)
				call	exit@PLT
		.LBE11:
		.LBE10:
		.LFE189:
				.comm	X2.6030,4,4
				.comm	X1.6029,4,4
				.section	.text.__x86.get_pc_thunk.ax,"axG",@progbits,__x86.get_pc_thunk.ax,comdat
				.globl	__x86.get_pc_thunk.ax
				.hidden	__x86.get_pc_thunk.ax
		__x86.get_pc_thunk.ax:
		.LFB191:
				movl	(%esp), %eax
				ret
		.LFE191:
				.section	.text.__x86.get_pc_thunk.bx,"axG",@progbits,__x86.get_pc_thunk.bx,comdat
				.globl	__x86.get_pc_thunk.bx
				.hidden	__x86.get_pc_thunk.bx
		__x86.get_pc_thunk.bx:
		.LFB192:
				movl	(%esp), %ebx
				ret
		.LFE192:
		.Letext0:
   16 %endofprogram
   16 Statements compiled