Edinburgh IMP77 Compiler - Version 8.4
    1 !%control x'11111111'
		.Ltext0:
				.globl	main
		main:
		.LFB185:
    2 %BEGIN
		.LVL0:
				subq	$536, %rsp
				movq	%fs:40, %rax
				movq	%rax, 520(%rsp)
				xorl	%eax, %eax
    3 %INTEGER COUNT
				call	_imp_initialise@PLT
		.LVL1:
				movl	$257, %eax
		.LVL2:
		.L2:
		.LDL1:
		.LBB23:
		.LBB24:
		.LBB25:
    4 %INTEGER I
    5 %ROUTINE FRED(%INTEGERNAME I,%INTEGER FIRST,STEP,LAST)
    6       %CYCLE I=FIRST,STEP,LAST
    7          COUNT=COUNT+1
    8       %REPEAT
    9 %END
   10       COUNT=0
   11       FRED(I,X'9000',16,X'A000')
				subl	$1, %eax
		.LVL3:
				jne	.L2
		.L3:
		.LVL4:
		.LBE25:
		.LBE24:
		.LBE23:
		.LBB26:
   12       %IF COUNT=257 %AND I=X'A000' %THEN PRINTSTRING("TEST OK") %C
   13          %ELSE PRINTSTRING("WRONG") %AND %MONITOR
   14 %ENDOFPROGRAM
				movabsq	$21197623525590356, %rax
		.LVL5:
				movl	$0, %edx
				movq	%rax, 257(%rsp)
				movq	%rdx, 265(%rsp)
				movb	$0, 273(%rsp)
				movw	$0, 274(%rsp)
				movl	$0, 276(%rsp)
				leaq	280(%rsp), %rdi
				movl	$29, %ecx
				movl	$0, %eax
				rep stosq
				movb	$7, 256(%rsp)
				movq	256(%rsp), %rax
				movq	264(%rsp), %rdx
				movq	%rax, (%rsp)
				movq	%rdx, 8(%rsp)
		.LVL6:
				movb	$7, (%rsp)
		.LBE26:
		.LBB27:
		.LBB28:
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	504(%rsp)
				pushq	248(%rsp)
				pushq	248(%rsp)
				call	_imp_printstring@PLT
		.LVL7:
		.LDL2:
		.LBE28:
		.LBE27:
		.LBB29:
		.LBB30:
				addq	$256, %rsp
				movl	$0, %edi
				call	exit@PLT
		.LVL8:
		.LBE30:
		.LBE29:
		.LFE185:
		.Letext0:
   12 Statements compiled