Edinburgh IMP77 Compiler - Version 8.4
    1 %BEGIN
		.Ltext0:
		INTERCHANGE.6034:
		.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	$1016, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -1020(%ebp)
				movl	%gs:20, %esi
				movl	%esi, -28(%ebp)
				xorl	%esi, %esi
				leal	8(%ebp), %edx
				movl	%edx, -1008(%ebp)
				subl	$8, %esp
				pushl	-1020(%ebp)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
    2 %INTEGER I,J
    3 %OWNSTRING(15)FAILED="TEST OK"
    4 %RECORDFORMAT F(%INTEGER I,J)
    5 %ROUTINESPEC INTERCHANGE(%RECORD(F)%ARRAYNAME A,%INTEGER I,J)
    6 %RECORD(F)%ARRAY A(0:3)
				leal	-932(%ebp), %edx
				movl	$0, %eax
				movl	$17, %ecx
				movl	%edx, %edi
				rep stosl
				leal	-996(%ebp), %eax
				movl	%eax, -932(%ebp)
				movl	$8, -928(%ebp)
    7 %RECORD(F)%ARRAY B(1:4)
				leal	-864(%ebp), %edx
				movl	$0, %eax
				movl	$17, %ecx
				movl	%edx, %edi
				rep stosl
				leal	-964(%ebp), %eax
				movl	%eax, -864(%ebp)
				movl	$8, -860(%ebp)
    8       %CYCLE I=0,1,3
				movl	$-1, -1004(%ebp)
		.L4:
				cmpl	$3, -1004(%ebp)
				je	.L15
				addl	$1, -1004(%ebp)
				nop
		.L6:
    9          A(I)_I=I
				movl	-1004(%ebp), %eax
				movl	-1004(%ebp), %edx
				movl	%edx, -996(%ebp,%eax,8)
   10          B(I+1)_I=I+1
				movl	-1004(%ebp), %eax
				leal	1(%eax), %edx
				movl	-1004(%ebp), %eax
				movl	%edx, -964(%ebp,%eax,8)
   11       %REPEAT
				jmp	.L4
		.L15:
   12       INTERCHANGE(A,1,3)
				subl	$4, %esp
				leal	-1008(%ebp), %eax
				pushl	$3
				pushl	$1
				leal	-996(%ebp), %edx
				pushl	%edx
				movl	%eax, %ecx
				call	INTERCHANGE.6034
				addl	$16, %esp
   13       Failed="***BUG FOUND" %UNLESS A(1)_I=3 %AND A(3)_I=1
				movl	-988(%ebp), %eax
				cmpl	$3, %eax
				jne	.L16
				movl	-972(%ebp), %eax
				cmpl	$1, %eax
				je	.L17
				jmp	.L8
		.L16:
				nop
		.L8:
		.LBB11:
		.LBB12:
				leal	-284(%ebp), %eax
				leal	.LC0@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-796(%ebp), %eax
				leal	-284(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE12:
				leal	-284(%ebp), %eax
				leal	-796(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %eax
		.LBE11:
				subl	$4, %esp
				pushl	$15
				pushl	%eax
				leal	FAILED.6023@GOTOFF(%ebx), %eax
				pushl	%eax
				call	_imp_strncpy@PLT
				addl	$16, %esp
				jmp	.L9
		.L17:
				nop
		.L9:
   14       INTERCHANGE(B,1,3)
				subl	$4, %esp
				leal	-1008(%ebp), %eax
				pushl	$3
				pushl	$1
				leal	-964(%ebp), %edx
				pushl	%edx
				movl	%eax, %ecx
				call	INTERCHANGE.6034
				addl	$16, %esp
   15       Failed="***BUG FOUND" %UNLESS B(1)_I=3 %AND B(3)_I=1
				movl	-964(%ebp), %eax
				cmpl	$3, %eax
				jne	.L18
				movl	-948(%ebp), %eax
				cmpl	$1, %eax
				je	.L19
				jmp	.L11
		.L18:
				nop
		.L11:
		.LBB13:
		.LBB14:
				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
		.LBE14:
				leal	-284(%ebp), %eax
				leal	-540(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %eax
		.LBE13:
				subl	$4, %esp
				pushl	$15
				pushl	%eax
				leal	FAILED.6023@GOTOFF(%ebx), %eax
				pushl	%eax
				call	_imp_strncpy@PLT
				addl	$16, %esp
				jmp	.L12
		.L19:
				nop
		.L12:
		.LBB15:
   16        printstring(failed)
				leal	-284(%ebp), %eax
				leal	FAILED.6023@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %edx
				leal	-284(%ebp), %eax
				movl	%edx, %esi
				movl	$64, %edx
				movl	%eax, %edi
				movl	%edx, %ecx
				rep movsl
		.LBE15:
		.LBB16:
		.LBB17:
				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, -1000(%ebp)
		.LBE17:
		.LBE16:
		.LBB18:
		.LBB19:
				subl	$12, %esp
				pushl	-1000(%ebp)
				call	exit@PLT
		.LBE19:
		.LBE18:
		.LFE189:
				.data
				.align 32
		FAILED.6023:
				.byte	7
				.string	"TEST OK"
				.zero	7
				.zero	240
				.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:
   17 %ROUTINE INTERCHANGE(%RECORD(F)%ARRAYNAME R,%INTEGER P,Q)
				pushl	%ebp
				movl	%esp, %ebp
				subl	$20, %esp
				call	__x86.get_pc_thunk.ax
				addl	$_GLOBAL_OFFSET_TABLE_, %eax
				movl	%ecx, -20(%ebp)
   18 %RECORD(F) TEMP
   19       TEMP=R(P)
				movl	12(%ebp), %eax
				leal	0(,%eax,8), %edx
				movl	8(%ebp), %eax
				addl	%edx, %eax
				movl	4(%eax), %edx
				movl	(%eax), %eax
				movl	%eax, -8(%ebp)
				movl	%edx, -4(%ebp)
   20       R(P)=R(Q)
				movl	16(%ebp), %eax
				leal	0(,%eax,8), %edx
				movl	8(%ebp), %eax
				addl	%edx, %eax
				movl	12(%ebp), %edx
				leal	0(,%edx,8), %ecx
				movl	8(%ebp), %edx
				addl	%edx, %ecx
				movl	4(%eax), %edx
				movl	(%eax), %eax
				movl	%eax, (%ecx)
				movl	%edx, 4(%ecx)
   21       R(Q)=TEMP
				movl	16(%ebp), %eax
				leal	0(,%eax,8), %edx
				movl	8(%ebp), %eax
				leal	(%edx,%eax), %ecx
				movl	-8(%ebp), %eax
				movl	-4(%ebp), %edx
				movl	%eax, (%ecx)
				movl	%edx, 4(%ecx)
   22 %END
				nop
				leave
				ret
		.LFE190:
				.section	.rodata
				.align 32
		.LC0:
				.byte	12
				.string	"***BUG FOUND"
				.zero	242
				.globl	main
		main:
		.LFB189:
   23 %ENDOFPROGRAM
?J unused
   23 Statements compiled