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	%r15
				pushq	%r14
				pushq	%r13
				pushq	%r12
				pushq	%rbp
				pushq	%rbx
				subq	$6696, %rsp
				movq	%fs:40, %rax
				movq	%rax, 6680(%rsp)
				xorl	%eax, %eax
    2   %INTEGER SYM
				call	_imp_initialise@PLT
		.LVL1:
    3   %STRING(255)S
    4   S="ABCDE"
    5   %WHILE S#"" %CYCLE
    6     SYM=CHARNO(S,1)
				leaq	272(%rsp), %rsi
				leaq	16(%rsp), %rdi
				movl	$255, %edx
				call	_imp_strncpy@PLT
		.LVL2:
				movzbl	17(%rsp), %ebp
		.LVL11:
		.LBB67:
		.LBB58:
		.LBB57:
    7     printstring("Before: S=""".S."""  Sym="); printsymbol(sym); newline
    8     printstring("""".S."""->(""")
				leaq	528(%rsp), %r15
				leaq	16(%rsp), %rbx
		.LBB54:
		.LBB55:
		.LBB56:
				movq	%r15, %rsi
				movq	%rbx, %rdi
				call	_imp_strcmp@PLT
		.LVL10:
				testl	%eax, %eax
				je	.L3
    9     printsymbol(SYM)
				leaq	1040(%rsp), %r14
				leaq	1296(%rsp), %rax
				movq	%rax, 8(%rsp)
				jmp	.L2
		.LVL3:
		.L6:
		.LBE56:
		.LBE55:
		.LBE54:
		.LBB59:
				movq	%rbx, %rdx
				movq	8(%rsp), %rsi
				movq	%r14, %rdi
				call	_imp_join@PLT
		.LVL12:
		.LBE57:
				leaq	4112(%rsp), %r12
				leaq	1552(%rsp), %rdx
				movq	%r14, %rsi
				movq	%r12, %rdi
				call	_imp_join@PLT
		.LVL13:
		.LBE58:
		.LBE67:
		.LBB68:
		.LBB69:
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				pushq	1032(%rsp)
				call	_imp_printstring@PLT
		.LVL14:
		.LBE69:
		.LBE68:
   10     printstring(""").S"); newline
				leaq	2064(%rsp), %r13
				leaq	2320(%rsp), %rsi
				movq	%rbx, %rdx
				movq	%r13, %rdi
				call	_imp_join@PLT
		.LVL18:
		.LBE76:
				leaq	2576(%rsp), %rdx
				movq	%r13, %rsi
				movq	%r12, %rdi
				call	_imp_join@PLT
		.LVL19:
		.LBE75:
		.LBE74:
		.LBB77:
		.LBB78:
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				call	_imp_printstring@PLT
		.LVL20:
		.LBE78:
		.LBE77:
		.LBB79:
		.LBB80:
				addq	$256, %rsp
				movl	%ebp, %edi
				call	_imp_printsymbol@PLT
		.LVL21:
		.LBE80:
		.LBE79:
		.LBB81:
				movq	$1395534114, 4113(%rsp)
				movq	$0, 4121(%rsp)
				movb	$0, 4129(%rsp)
				movw	$0, 4130(%rsp)
				movl	$0, 4132(%rsp)
				leaq	4136(%rsp), %rdi
				movl	$29, %ecx
				movl	$0, %eax
				rep stosq
				movb	$4, 4112(%rsp)
				movq	4112(%rsp), %rax
				movq	4120(%rsp), %rdx
				movq	%rax, 2832(%rsp)
				movq	%rdx, 2840(%rsp)
		.LVL22:
				movb	$4, 2832(%rsp)
		.LBE81:
		.LBB82:
		.LBB83:
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	4360(%rsp)
				pushq	3080(%rsp)
				pushq	3080(%rsp)
				call	_imp_printstring@PLT
		.LVL23:
		.LBE83:
		.LBE82:
		.LBB84:
		.LBB85:
				addq	$256, %rsp
				call	_imp_newline@PLT
		.LVL24:
		.LBE85:
		.LBE84:
   11     S->(TOSTRING(SYM)).S
				movabsq	$8603403804667503988, %rax
				movabsq	$8101246951862071855, %rdx
				movq	%rax, 4113(%rsp)
				movq	%rdx, 4121(%rsp)
				movq	$0, 4129(%rsp)
				movq	$0, 4137(%rsp)
				movb	$0, 4145(%rsp)
				movw	$0, 4146(%rsp)
				movl	$0, 4148(%rsp)
				leaq	4152(%rsp), %rdi
				movl	$27, %ecx
				movl	$0, %eax
				rep stosq
				movb	$16, 4112(%rsp)
				movq	4112(%rsp), %rax
				movq	4120(%rsp), %rdx
				movq	%rax, 3600(%rsp)
				movq	%rdx, 3608(%rsp)
		.LVL4:
		.LBE59:
				movb	$16, 3600(%rsp)
				movq	3600(%rsp), %rax
				movq	3608(%rsp), %rdx
				movq	%rax, 5392(%rsp)
				movq	%rdx, 5400(%rsp)
				movq	4128(%rsp), %rax
				movq	4136(%rsp), %rdx
				movq	%rax, 5408(%rsp)
				movq	%rdx, 5416(%rsp)
				movq	4144(%rsp), %rax
				movq	4152(%rsp), %rdx
				movq	%rax, 5424(%rsp)
				movq	%rdx, 5432(%rsp)
				movq	4160(%rsp), %rax
				movq	4168(%rsp), %rdx
				movq	%rax, 5440(%rsp)
				movq	%rdx, 5448(%rsp)
				movq	4176(%rsp), %rax
				movq	4184(%rsp), %rdx
				movq	%rax, 5456(%rsp)
				movq	%rdx, 5464(%rsp)
				movq	4192(%rsp), %rax
				movq	4200(%rsp), %rdx
				movq	%rax, 5472(%rsp)
				movq	%rdx, 5480(%rsp)
				movq	4208(%rsp), %rax
				movq	4216(%rsp), %rdx
				movq	%rax, 5488(%rsp)
				movq	%rdx, 5496(%rsp)
				movq	4224(%rsp), %rax
				movq	4232(%rsp), %rdx
				movq	%rax, 5504(%rsp)
				movq	%rdx, 5512(%rsp)
				movq	4240(%rsp), %rax
				movq	4248(%rsp), %rdx
				movq	%rax, 5520(%rsp)
				movq	%rdx, 5528(%rsp)
				movq	4256(%rsp), %rax
				movq	4264(%rsp), %rdx
				movq	%rax, 5536(%rsp)
				movq	%rdx, 5544(%rsp)
				movq	4272(%rsp), %rax
				movq	4280(%rsp), %rdx
				movq	%rax, 5552(%rsp)
				movq	%rdx, 5560(%rsp)
				movq	4288(%rsp), %rax
				movq	4296(%rsp), %rdx
				movq	%rax, 5568(%rsp)
				movq	%rdx, 5576(%rsp)
				movq	4304(%rsp), %rax
				movq	4312(%rsp), %rdx
				movq	%rax, 5584(%rsp)
				movq	%rdx, 5592(%rsp)
				movq	4320(%rsp), %rax
				movq	4328(%rsp), %rdx
				movq	%rax, 5600(%rsp)
				movq	%rdx, 5608(%rsp)
				movq	4336(%rsp), %rax
				movq	4344(%rsp), %rdx
				movq	%rax, 5616(%rsp)
				movq	%rdx, 5624(%rsp)
				movq	4352(%rsp), %rax
				movq	4360(%rsp), %rdx
				movq	%rax, 5632(%rsp)
				movq	%rdx, 5640(%rsp)
		.L7:
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5384(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				pushq	5896(%rsp)
				movl	$0, %ecx
				movl	$1, %edx
				movl	$7, %esi
				movl	%ebp, %edi
				call	_signal_event@PLT
		.LVL5:
				addq	$512, %rsp
		.L4:
		.LBB60:
		.LBB61:
		.LBB62:
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				pushq	3592(%rsp)
				movq	%rbx, %rsi
				movl	$0, %edi
				call	_imp_resolve@PLT
		.LVL25:
				addq	$512, %rsp
				testl	%eax, %eax
				jne	.L4
				leaq	5136(%rsp), %rdi
				leaq	.LC0(%rip), %rsi
				call	_imp_c2istr@PLT
		.LVL26:
				movl	_imp_current_line(%rip), %ebp
		.LVL27:
				testl	%ebp, %ebp
				movl	$11, %eax
				cmove	%eax, %ebp
				movq	_imp_current_file(%rip), %rsi
				testq	%rsi, %rsi
				je	.L6
				leaq	5392(%rsp), %rdi
				call	_imp_c2istr@PLT
		.LVL28:
				jmp	.L7
		.L3:
		.LBB86:
		.LBB87:
				call	_imp_newline@PLT
		.LVL29:
		.LBE87:
		.LBE86:
		.LBB88:
		.LBB89:
				movl	$0, %edi
				call	exit@PLT
		.LVL30:
		.LBE89:
		.LBE88:
		.LFE185:
		.Letext0:
   12     printstring("After: S=""".S.""""); newline
				movsbl	%bpl, %ebp
		.LVL15:
		.LBB70:
		.LBB71:
				addq	$256, %rsp
				movl	%ebp, %edi
				call	_imp_printsymbol@PLT
		.LVL16:
		.LBE71:
		.LBE70:
		.LBB72:
		.LBB73:
				call	_imp_newline@PLT
		.LVL17:
		.LBE73:
		.LBE72:
		.LBB74:
		.LBB75:
		.LBB76:
   13   %REPEAT
   14   NEWLINE
				leaq	4368(%rsp), %rbp
				leaq	4624(%rsp), %rsi
				movq	%rbx, %rdx
				movq	%rbp, %rdi
				call	_imp_join@PLT
		.LVL6:
		.LBE62:
				leaq	4112(%rsp), %rdi
				leaq	4880(%rsp), %rdx
				movq	%rbp, %rsi
				call	_imp_join@PLT
		.LVL7:
		.LBE61:
		.LBE60:
		.LBB63:
		.LBB64:
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				pushq	4104(%rsp)
				call	_imp_printstring@PLT
		.LVL8:
		.LBE64:
		.LBE63:
		.LBB65:
		.LBB66:
				addq	$256, %rsp
				call	_imp_newline@PLT
		.LVL9:
		.L2:
		.LBE66:
		.LBE65:
   15 %ENDOFPROGRAM
   19 Statements compiled