Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.section	.rodata.str1.1,"aMS",@progbits,1
		.LC0:
				.string	"string resolution fails"
				.globl	main
		main:
		.LFB185:
		.LVL0:
				pushq	%r12
				pushq	%rbp
				pushq	%rbx
				subq	$3856, %rsp
				movq	%fs:40, %rax
				movq	%rax, 3848(%rsp)
				xorl	%eax, %eax
    2   %integer I
				call	_imp_initialise@PLT
		.LVL1:
    3   %real R
    4   %string(255) S, T, U
    5   I = 123
    6   I = 123 ^^ 2
    7   R = 3.141592653589793
    8   R = 2 / 3.141592653589793
    9   S = "hello world"
   10   S -> T.(" ").U
				leaq	512(%rsp), %rsi
				leaq	256(%rsp), %rdi
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				call	_imp_resolve@PLT
		.LVL3:
				addq	$512, %rsp
				testl	%eax, %eax
				je	.L9
		.L2:
		.LVL4:
				leaq	3328(%rsp), %rdi
				leaq	.LC0(%rip), %rsi
				call	_imp_c2istr@PLT
		.LVL13:
				movl	_imp_current_line(%rip), %ebx
				testl	%ebx, %ebx
				jne	.L3
				movl	$10, %ebx
		.L3:
				movq	_imp_current_file(%rip), %rsi
				testq	%rsi, %rsi
				je	.L4
				leaq	3584(%rsp), %rdi
				call	_imp_c2istr@PLT
		.LVL14:
		.L5:
				subq	$256, %rsp
				leaq	3584(%rsp), %rsi
				movl	$32, %ecx
				movq	%rsp, %rdi
				rep movsq
				subq	$256, %rsp
				leaq	4096(%rsp), %rsi
				movl	$32, %ecx
				movq	%rsp, %rdi
				rep movsq
				movl	$1, %edx
				movl	$7, %esi
				movl	%ebx, %edi
				call	_signal_event@PLT
		.LVL15:
				addq	$512, %rsp
				jmp	.L2
		.L4:
		.LVL16:
		.LBB30:
				movabsq	$8603403804667503988, %rax
				movabsq	$7005692768154907695, %rdx
				movq	%rax, 3585(%rsp)
				movq	%rdx, 3593(%rsp)
				movq	$1886218542, 3601(%rsp)
				movq	$0, 3609(%rsp)
				leaq	3617(%rsp), %rdi
				movl	$223, %ecx
				movl	$0, %eax
				rep stosb
				movb	$20, 3584(%rsp)
				leaq	1536(%rsp), %rdi
				leaq	3584(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
		.LVL17:
		.LBE30:
				movb	$20, 1536(%rsp)
				leaq	3584(%rsp), %rdi
				leaq	1536(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
				jmp	.L5
		.LFE185:
		.Letext0:
   11 ! S." OK" -> T.(" ").U
				leaq	768(%rsp), %rsi
				movq	%rsp, %rdi
				movl	$255, %edx
				call	_imp_strncpy@PLT
		.LVL2:
   12   S = "left"." "."right"
   13   S <- "left"." "."right".T
   14   S = T."right"
				leaq	1792(%rsp), %rsi
				movq	%rsp, %rbx
				movl	$255, %edx
				movq	%rbx, %rdi
				call	_imp_strncpy@PLT
		.LVL5:
		.LBB22:
		.LBB23:
   15   S = T.U
				leaq	3072(%rsp), %rbp
				leaq	256(%rsp), %r12
				leaq	2304(%rsp), %rsi
				movq	%r12, %rdx
				movq	%rbp, %rdi
				call	_imp_join@PLT
		.LVL6:
		.LBE23:
		.LBE22:
				leaq	2048(%rsp), %rsi
				movl	$255, %edx
				movq	%rbx, %rdi
				call	_imp_strncpy@PLT
		.LVL7:
		.LBB24:
		.LBB25:
   16 %endofprogram
				leaq	2816(%rsp), %rdx
				movq	%r12, %rsi
				movq	%rbp, %rdi
				call	_imp_join@PLT
		.LVL8:
		.LBE25:
		.LBE24:
				leaq	2560(%rsp), %rsi
				movl	$255, %edx
				movq	%rbx, %rdi
				call	_imp_strncpy@PLT
		.LVL9:
		.LBB26:
		.LBB27:
   15 Statements compiled
				leaq	512(%rsp), %rdx
				movq	%r12, %rsi
				movq	%rbp, %rdi
				call	_imp_join@PLT
		.LVL10:
		.LBE27:
		.LBE26:
				movl	$255, %edx
				movq	%rbp, %rsi
				movq	%rbx, %rdi
				call	_imp_strncpy@PLT
		.LVL11:
		.LBB28:
		.LBB29:
				movl	$0, %edi
				call	exit@PLT
		.LVL12:
		.L9:
		.LBE29:
		.LBE28: