Edinburgh IMP77 Compiler - Version 8.4
    1 %BEGIN
		.Ltext0:
				.section	.rodata
				.align 32
		.LC0:
				.byte	7
				.string	"Test OK"
				.zero	247
				.globl	main
		main:
		.LFB189:
				leal	4(%esp), %ecx
				andl	$-16, %esp
				pushl	-4(%ecx)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%esi
				pushl	%ebx
				pushl	%ecx
				subl	$664, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -668(%ebp)
				movl	%gs:20, %esi
				movl	%esi, -28(%ebp)
				xorl	%esi, %esi
				subl	$8, %esp
				pushl	-668(%ebp)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
    2 %RECORDFORMAT F(%INTEGER I,J,K,%INTEGERARRAY A(1:5))
    3 %RECORD(F) R
    4 %INTEGERARRAYNAME B
				leal	-608(%ebp), %edx
				movl	$0, %eax
				movl	$17, %ecx
				movl	%edx, %edi
				rep stosl
    5 %INTEGER I,Fail
    6       Fail=0
				movl	$0, -652(%ebp)
    7       R_I='I'
				movl	$73, -640(%ebp)
    8       R_J='J'
				movl	$74, -636(%ebp)
    9       %CYCLE I=1,1,5
				movl	$0, -656(%ebp)
		.L2:
				cmpl	$5, -656(%ebp)
				je	.L15
				addl	$1, -656(%ebp)
				nop
		.L4:
   10       R_A(I)=I
				movl	-656(%ebp), %eax
				leal	-1(%eax), %edx
				movl	-656(%ebp), %eax
				movl	%eax, -628(%ebp,%edx,4)
   11       %REPEAT
				jmp	.L2
		.L15:
   12       R_K=255
				movl	$255, -632(%ebp)
   13       B==R_A
				leal	-640(%ebp), %eax
				addl	$12, %eax
				movl	%eax, -648(%ebp)
   14       %CYCLE I=1,1,5
				movl	$0, -656(%ebp)
		.L5:
				cmpl	$5, -656(%ebp)
				je	.L16
				addl	$1, -656(%ebp)
				nop
		.L7:
   15          %if b(i)#i %then fail=1 %and WRITE(B(I),5)
				movl	-656(%ebp), %eax
				leal	0(,%eax,4), %edx
				movl	-648(%ebp), %eax
				addl	%edx, %eax
				movl	(%eax), %eax
				cmpl	%eax, -656(%ebp)
				je	.L17
				movl	$1, -652(%ebp)
				movl	-656(%ebp), %eax
				leal	0(,%eax,4), %edx
				movl	-648(%ebp), %eax
				addl	%edx, %eax
				movl	(%eax), %eax
				subl	$8, %esp
				pushl	$5
				pushl	%eax
				call	_imp_writeint@PLT
				addl	$16, %esp
				jmp	.L5
		.L17:
				nop
		.L9:
   16       %REPEAT
				jmp	.L5
		.L16:
   17 %if fail=0 %then printstring("Test OK")
				cmpl	$0, -652(%ebp)
				jne	.L18
		.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	.L11
		.L18:
		.LBE9:
		.LBE8:
				nop
		.L11:
				movl	$0, -644(%ebp)
		.LBB10:
		.LBB11:
				subl	$12, %esp
				pushl	-644(%ebp)
				call	exit@PLT
		.LBE11:
		.LBE10:
		.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:
		.LFB190:
				movl	(%esp), %ebx
				ret
		.LFE190:
		.Letext0:
   18 %ENDOFPROGRAM
   18 Statements compiled