Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
		TEST.6395:
		.LFB186:
		.LVL15:
				subq	$24, %rsp
				movq	%fs:40, %rax
				movq	%rax, 8(%rsp)
				xorl	%eax, %eax
    2 %byteinteger c,d
				call	_imp_initialise@PLT
		.LVL16:
    3 %integer i,j,k
    4 %routine test(%byte b,%integername n,%byte c)
		.LVL0:
				pushq	%r14
				pushq	%r13
				pushq	%r12
				pushq	%rbx
				subq	$1048, %rsp
				movq	%fs:40, %rax
				movq	%rax, 1032(%rsp)
				xorl	%eax, %eax
    5 %if c='c' %and b='b' %and n=12345678 %then printstring("test ok ") %c
    6        %else printstring("Fail") %and %monitor
				cmpb	$98, %dil
				jne	.L2
				cmpb	$99, %dl
				je	.L6
		.L2:
		.LVL1:
		.LBB10:
    7 %end
				cmpl	$12345678, (%rsi)
				jne	.L2
		.LVL8:
		.LBB13:
    8 j=12345678
				movq	1032(%rsp), %rax
				xorq	%fs:40, %rax
				jne	.L7
				addq	$1048, %rsp
				popq	%rbx
				popq	%r12
				popq	%r13
				popq	%r14
				ret
		.LVL7:
		.L6:
				movabsq	$2336083016905090420, %rax
				movl	$0, %edx
		.LVL9:
				movq	%rax, 769(%rsp)
				movq	%rdx, 777(%rsp)
				leaq	785(%rsp), %rdi
		.LVL10:
				movl	$239, %ecx
				movl	$0, %eax
				rep stosb
				movb	$8, 768(%rsp)
				movq	%rsp, %rdi
				leaq	768(%rsp), %rsi
		.LVL11:
				movl	$32, %ecx
				rep movsq
		.LVL12:
				movb	$8, (%rsp)
				leaq	512(%rsp), %rdi
				movq	%rsp, %rsi
				movl	$32, %ecx
				rep movsq
		.LBE13:
		.LBB14:
		.LBB15:
				subq	$256, %rsp
				leaq	768(%rsp), %rsi
				movl	$32, %ecx
				movq	%rsp, %rdi
				rep movsq
				call	_imp_printstring@PLT
		.LVL13:
				addq	$256, %rsp
				jmp	.L1
		.L7:
		.LBE15:
		.LBE14:
				call	__stack_chk_fail@PLT
		.LVL14:
		.LFE186:
				.globl	main
		main:
		.LFB185:
				movl	$12345678, 4(%rsp)
    9 test('b',j,'c')
				leaq	4(%rsp), %rsi
				movl	$99, %edx
				movl	$98, %edi
				call	TEST.6395
		.LVL17:
		.LBB16:
		.LBB17:
				movl	$0, %edi
				call	exit@PLT
		.LVL18:
		.LBE17:
		.LBE16:
		.LFE185:
		.Letext0:
   10 %endofprogram
?K unused
?I unused
?D unused
?C unused
    9 Statements compiled
				movq	$1818845510, 769(%rsp)
				movq	$0, 777(%rsp)
				movb	$0, 785(%rsp)
				movw	$0, 786(%rsp)
				movl	$0, 788(%rsp)
				leaq	792(%rsp), %rdi
		.LVL2:
				movl	$29, %ecx
				movl	$0, %eax
				rep stosq
				movb	$4, 768(%rsp)
				movq	768(%rsp), %rax
				movq	776(%rsp), %rdx
		.LVL3:
				movq	%rax, 256(%rsp)
				movq	%rdx, 264(%rsp)
				movdqa	784(%rsp), %xmm0
				movaps	%xmm0, 272(%rsp)
				movdqa	800(%rsp), %xmm1
				movaps	%xmm1, 288(%rsp)
				movdqa	816(%rsp), %xmm2
				movaps	%xmm2, 304(%rsp)
				movdqa	832(%rsp), %xmm3
				movaps	%xmm3, 320(%rsp)
				movdqa	848(%rsp), %xmm4
				movaps	%xmm4, 336(%rsp)
				movdqa	864(%rsp), %xmm5
				movaps	%xmm5, 352(%rsp)
				movdqa	880(%rsp), %xmm6
				movaps	%xmm6, 368(%rsp)
				movdqa	896(%rsp), %xmm7
				movaps	%xmm7, 384(%rsp)
				movdqa	912(%rsp), %xmm0
				movaps	%xmm0, 400(%rsp)
				movdqa	928(%rsp), %xmm1
				movaps	%xmm1, 416(%rsp)
				movq	944(%rsp), %r13
				movq	952(%rsp), %r14
				movq	%r13, 432(%rsp)
				movq	%r14, 440(%rsp)
				movq	960(%rsp), %rsi
		.LVL4:
				movq	968(%rsp), %rdi
				movq	%rsi, 448(%rsp)
				movq	%rdi, 456(%rsp)
				movq	976(%rsp), %r9
				movq	984(%rsp), %r10
				movq	%r9, 464(%rsp)
				movq	%r10, 472(%rsp)
				movq	992(%rsp), %rcx
				movq	1000(%rsp), %rbx
				movq	%rcx, 480(%rsp)
				movq	%rbx, 488(%rsp)
				movq	1008(%rsp), %r11
				movq	1016(%rsp), %r12
				movq	%r11, 496(%rsp)
				movq	%r12, 504(%rsp)
		.LVL5:
				movb	$4, 256(%rsp)
				movq	256(%rsp), %rax
				movq	264(%rsp), %rdx
				movq	%rax, 768(%rsp)
				movq	%rdx, 776(%rsp)
		.LBE10:
		.LBB11:
		.LBB12:
				pushq	%r12
				pushq	%r11
				pushq	%rbx
				pushq	%rcx
				pushq	%r10
				pushq	%r9
				pushq	%rdi
				pushq	%rsi
				pushq	%r14
				pushq	%r13
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	%rdx
				pushq	%rax
				call	_imp_printstring@PLT
		.LVL6:
				addq	$256, %rsp
		.L3:
		.L1:
		.LBE12:
		.LBE11: