Edinburgh IMP77 Compiler - Version 8.4
    1 %BEGIN
		.Ltext0:
				.section	.rodata
				.align 32
		.LC0:
				.byte	35
				.string	"\nTEST OK    (BYTE ADDRESS ANSWERS)\n"
				.zero	219
				.align 32
		.LC1:
				.byte	32
				.string	"\nTEST OK (WORD ADDRESS ANSWERS)\n"
				.zero	222
				.align 32
		.LC2:
				.byte	15
				.string	"\nWRONG ANSWERS\n"
				.zero	239
				.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	$920, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -924(%ebp)
				movl	%gs:20, %esi
				movl	%esi, -28(%ebp)
				xorl	%esi, %esi
				subl	$8, %esp
				pushl	-924(%ebp)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
    2 %RECORDFORMAT F1(%INTEGER I,J,K,L)
    3 %RECORDFORMAT F2(%INTEGER P,%RECORD(F1)%ARRAY A(0:8))
    4 %RECORD(F2) R,RP
    5 %RECORD(F2)%NAME RR
    6 %RECORD(F1)%NAME RN
    7 %INTEGER I,J,K,L
    8 RR==RP
				leal	-688(%ebp), %eax
				movl	%eax, -920(%ebp)
				leal	-836(%ebp), %eax
				addl	$4, %eax
				movl	%eax, -876(%ebp)
		.LBB39:
		.LBB40:
				movl	-876(%ebp), %eax
		.LBE40:
		.LBE39:
    9 I=ADDR(R_A(0))
				movl	%eax, -916(%ebp)
   10 RN==R_A(0)
				leal	-836(%ebp), %eax
				addl	$4, %eax
				movl	%eax, -912(%ebp)
				leal	-836(%ebp), %eax
				addl	$12, %eax
				movl	%eax, -880(%ebp)
		.LBB41:
		.LBB42:
				movl	-880(%ebp), %eax
		.LBE42:
		.LBE41:
   11 J=ADDR(R_A(0)_K)
				movl	%eax, -908(%ebp)
   12 K=ADDR(RR_A(0))
				movl	-920(%ebp), %eax
				addl	$4, %eax
				movl	%eax, -884(%ebp)
		.LBB43:
		.LBB44:
				movl	-884(%ebp), %eax
		.LBE44:
		.LBE43:
				movl	%eax, -904(%ebp)
   13 L=ADDR(RR_A(0)_K)
				movl	-920(%ebp), %eax
				addl	$12, %eax
				movl	%eax, -888(%ebp)
		.LBB45:
		.LBB46:
				movl	-888(%ebp), %eax
		.LBE46:
		.LBE45:
				movl	%eax, -900(%ebp)
   14 RN==RR_A(0)
				movl	-920(%ebp), %eax
				addl	$4, %eax
				movl	%eax, -912(%ebp)
   15 %IF I+8=J %AND ADDR(R)+4=I %AND K+8=L %C
				movl	-916(%ebp), %eax
				addl	$8, %eax
				cmpl	%eax, -908(%ebp)
				jne	.L25
				leal	-836(%ebp), %eax
				movl	%eax, -872(%ebp)
		.LBB47:
		.LBB48:
				movl	-872(%ebp), %eax
		.LBE48:
		.LBE47:
				leal	4(%eax), %edx
				movl	-916(%ebp), %eax
				cmpl	%eax, %edx
				jne	.L26
				movl	-904(%ebp), %eax
				addl	$8, %eax
				cmpl	%eax, -900(%ebp)
				jne	.L27
				movl	-920(%ebp), %eax
				movl	%eax, -868(%ebp)
		.LBB49:
		.LBB50:
		.LBB51:
				movl	-868(%ebp), %eax
		.LBE51:
		.LBE50:
				leal	4(%eax), %edx
				movl	-904(%ebp), %eax
				movl	%eax, -896(%ebp)
				movl	-896(%ebp), %eax
				cmpl	%eax, %edx
				jne	.L28
				movl	-912(%ebp), %eax
				movl	%eax, -864(%ebp)
		.LBB52:
		.LBB53:
				movl	-864(%ebp), %edx
		.LBE53:
		.LBE52:
				movl	-896(%ebp), %eax
				cmpl	%eax, %edx
				jne	.L29
		.LBE49:
		.LBB54:
				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
		.LBE54:
		.LBB55:
		.LBB56:
				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
				movl	$0, -860(%ebp)
		.LBE56:
		.LBE55:
		.LBB57:
		.LBB58:
				subl	$12, %esp
				pushl	-860(%ebp)
				call	exit@PLT
		.L25:
		.LBE58:
		.LBE57:
				nop
				jmp	.L7
		.L26:
				nop
				jmp	.L7
		.L27:
				nop
				jmp	.L7
		.L28:
		.LBB59:
				nop
				jmp	.L7
		.L29:
				nop
		.L7:
		.LBE59:
   16       %AND ADDR(RR)+4=K=ADDR(RN) %THEN PRINTSTRING("
   17 TEST OK    (BYTE ADDRESS ANSWERS)
   18 ") %AND %STOP
   19 %IF I+4=J %AND ADDR(R)+2=I %AND K+4=L %C
				movl	-916(%ebp), %eax
				addl	$4, %eax
				cmpl	%eax, -908(%ebp)
				jne	.L30
				leal	-836(%ebp), %eax
				movl	%eax, -856(%ebp)
		.LBB60:
		.LBB61:
				movl	-856(%ebp), %eax
		.LBE61:
		.LBE60:
				leal	2(%eax), %edx
				movl	-916(%ebp), %eax
				cmpl	%eax, %edx
				jne	.L31
				movl	-904(%ebp), %eax
				addl	$4, %eax
				cmpl	%eax, -900(%ebp)
				jne	.L32
				movl	-920(%ebp), %eax
				movl	%eax, -852(%ebp)
		.LBB62:
		.LBB63:
		.LBB64:
				movl	-852(%ebp), %eax
		.LBE64:
		.LBE63:
				leal	2(%eax), %edx
				movl	-904(%ebp), %eax
				movl	%eax, -892(%ebp)
				movl	-892(%ebp), %eax
				cmpl	%eax, %edx
				jne	.L33
				movl	-912(%ebp), %eax
				movl	%eax, -848(%ebp)
		.LBB65:
		.LBB66:
				movl	-848(%ebp), %edx
		.LBE66:
		.LBE65:
				movl	-892(%ebp), %eax
				cmpl	%eax, %edx
				jne	.L34
		.LBE62:
		.LBB67:
				leal	-284(%ebp), %eax
				leal	.LC1@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
		.LBE67:
		.LBB68:
		.LBB69:
				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
				movl	$0, -844(%ebp)
		.LBE69:
		.LBE68:
		.LBB70:
		.LBB71:
				subl	$12, %esp
				pushl	-844(%ebp)
				call	exit@PLT
		.L30:
		.LBE71:
		.LBE70:
				nop
				jmp	.L16
		.L31:
				nop
				jmp	.L16
		.L32:
				nop
				jmp	.L16
		.L33:
		.LBB72:
				nop
				jmp	.L16
		.L34:
				nop
		.L16:
		.LBE72:
		.LBB73:
   20       %AND ADDR(RR)+2=K=ADDR(RN) %THEN PRINTSTRING("
   21 TEST OK (WORD ADDRESS ANSWERS)
   22 ")  %AND %STOP
   23 PRINTSTRING("
				leal	-284(%ebp), %eax
				leal	.LC2@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
		.LBE73:
		.LBB74:
		.LBB75:
				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
				movl	$0, -840(%ebp)
		.LBE75:
		.LBE74:
		.LBB76:
		.LBB77:
				subl	$12, %esp
				pushl	-840(%ebp)
				call	exit@PLT
		.LBE77:
		.LBE76:
		.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:
   24 WRONG ANSWERS
   25 ")
   26 %ENDOFPROGRAM
   18 Statements compiled