Edinburgh IMP77 Compiler - Version 8.4
    1 %BEGIN
		.Ltext0:
				.globl	main
		main:
		.LFB185:
		.LVL0:
				pushq	%rbp
				pushq	%rbx
				subq	$4632, %rsp
				movq	%fs:40, %rax
				movq	%rax, 4616(%rsp)
				xorl	%eax, %eax
    2 %INTEGER I,J,JJ,Fail
				call	_imp_initialise@PLT
		.LVL1:
				movl	$70, %ebx
    3       JJ=0; Fail=0
				movl	$0, %eax
		.LBB12:
		.LBB13:
		.LBB14:
				leaq	512(%rsp), %rbp
				jmp	.L2
		.LVL2:
		.L4:
				movl	%ebp, %eax
		.LBE14:
		.LBE13:
		.LBE12:
    4 %FOR I=1,1,70 %CYCLE
				movl	$0, %edx
    5       %BEGIN
    6       %BYTEINTEGERARRAY A(0:4095)
    7       J=ADDR(A(0))
				subl	$1, %ebx
		.LVL3:
				je	.L3
		.LVL4:
		.L2:
		.LDL1:
    8       %END
    9       %IF JJ#J %THEN %START
				cmpl	%eax, %ebp
				je	.L4
   10          Fail=1 %and WRITE(J,5) %AND NEWLINE %UNLESS JJ=0
				testl	%eax, %eax
				je	.L4
		.LVL5:
   11          JJ=J
				movl	$1, %edx
				jmp	.L4
		.LVL8:
		.L3:
   12       %FINISH
				movl	$5, %esi
				movl	%ebp, %edi
				call	_imp_writeint@PLT
		.LVL6:
		.LBB15:
		.LBB16:
				call	_imp_newline@PLT
		.LVL7:
		.LBE16:
		.LBE15:
   13 %REPEAT
   14       %if Fail=0 %then printstring("Test OK")
				testl	%edx, %edx
				je	.L8
		.LVL9:
		.L5:
		.LBB17:
		.LBB18:
				movl	$0, %edi
				call	exit@PLT
		.LVL10:
		.L8:
		.LBE18:
		.LBE17:
		.LBB19:
   15 %ENDOFPROGRAM
				movabsq	$21197624064566612, %rax
		.LVL11:
				movl	$0, %edx
		.LVL12:
				movq	%rax, 257(%rsp)
				movq	%rdx, 265(%rsp)
				leaq	273(%rsp), %rdi
				movl	$239, %ecx
				movl	$0, %eax
				rep stosb
				movb	$7, 256(%rsp)
				movq	%rsp, %rdi
				leaq	256(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
		.LVL13:
				movb	$7, (%rsp)
				leaq	256(%rsp), %rdi
				movq	%rsp, %rsi
				movl	$32, %ecx
				rep movsq
		.LBE19:
		.LBB20:
		.LBB21:
				subq	$256, %rsp
				leaq	512(%rsp), %rsi
				movl	$32, %ecx
				movq	%rsp, %rdi
				rep movsq
				call	_imp_printstring@PLT
		.LVL14:
				addq	$256, %rsp
				jmp	.L5
		.LBE21:
		.LBE20:
		.LFE185:
		.Letext0:
   16 Statements compiled