Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.globl	main
		main:
		.LFB189:
				leal	4(%esp), %ecx
				andl	$-16, %esp
				pushl	-4(%ecx)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%ebx
				pushl	%ecx
				subl	$48, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -44(%ebp)
				movl	%gs:20, %ecx
				movl	%ecx, -12(%ebp)
				xorl	%ecx, %ecx
				leal	8(%ebp), %edx
				movl	%edx, -16(%ebp)
				subl	$8, %esp
				pushl	-44(%ebp)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
		.LBB5:
    2
    3   %begin
    4     %recordformat RIGHT(%longreal K, J, I)
    5   %end
				nop
		.L2:
				movl	$0, -32(%ebp)
		.LBE5:
		.LBB6:
		.LBB7:
				subl	$12, %esp
				pushl	-32(%ebp)
				call	exit@PLT
		.LBE7:
		.LBE6:
		.LFE189:
				.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:
		.LFB191:
				movl	(%esp), %ebx
				ret
		.LFE191:
		.Letext0:
?RIGHT unused
    6
    7   %recordformatspec RIGHT
    8
    9   %recordformat OTHER(%record (RIGHT) %name MISTAKE)
   10
   11   %recordformat RIGHT(%integer I, J, K)
   12
   13   %record (RIGHT) TEST
   14
   15   %record (RIGHT) %map TESTMAP
   16     %result == TEST
   17   %end
   18
   19 %endofprogram
?TESTMAP unused
?OTHER unused
   12 Statements compiled