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	%rbx
				subq	$6416, %rsp
				movq	%fs:40, %rax
				movq	%rax, 6408(%rsp)
				xorl	%eax, %eax
    2   %string (255) s, a, b
				call	_imp_initialise@PLT
		.LVL1:
    3
    4   s = "A string with xxx in the middle"
    5
    6   s -> a.("xxx").b
				leaq	768(%rsp), %rsi
				movq	%rsp, %rdi
				movl	$255, %edx
				call	_imp_strncpy@PLT
		.LVL2:
				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	.L22
		.L2:
		.LBB39:
		.LBB40:
				call	_imp_newline@PLT
		.LVL4:
		.LBE40:
		.LBE39:
				leaq	4864(%rsp), %rdi
				leaq	.LC0(%rip), %rsi
				call	_imp_c2istr@PLT
		.LVL16:
				movl	_imp_current_line(%rip), %ebx
				testl	%ebx, %ebx
				jne	.L3
				movl	$6, %ebx
		.L3:
				movq	_imp_current_file(%rip), %rsi
				testq	%rsi, %rsi
				je	.L4
				leaq	5120(%rsp), %rdi
				call	_imp_c2istr@PLT
		.LVL17:
		.L5:
				subq	$256, %rsp
				leaq	5120(%rsp), %rsi
				movl	$32, %ecx
				movq	%rsp, %rdi
				rep movsq
				subq	$256, %rsp
				leaq	5632(%rsp), %rsi
				movl	$32, %ecx
				movq	%rsp, %rdi
				rep movsq
				movl	$1, %edx
				movl	$7, %esi
				movl	%ebx, %edi
				call	_signal_event@PLT
		.LVL18:
				addq	$512, %rsp
				jmp	.L2
		.L4:
		.LVL19:
		.LBB47:
				movabsq	$8603403804667503988, %rax
				movabsq	$8391162081548005935, %rdx
				movq	%rax, 6145(%rsp)
				movq	%rdx, 6153(%rsp)
				movabsq	$482871946867, %rax
				movl	$0, %edx
				movq	%rax, 6161(%rsp)
				movq	%rdx, 6169(%rsp)
				leaq	6177(%rsp), %rdi
				movl	$223, %ecx
				movl	$0, %eax
				rep stosb
				movb	$21, 6144(%rsp)
				leaq	1536(%rsp), %rdi
				leaq	6144(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
		.LVL20:
		.LBE47:
				movb	$21, 1536(%rsp)
				leaq	5120(%rsp), %rdi
				leaq	1536(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
				jmp	.L5
		.L23:
		.LBB48:
		.LBB49:
				call	_imp_newline@PLT
		.LVL21:
				jmp	.L6
		.L24:
		.LBE49:
		.LBE48:
    7
    8   newline
    9
   10   %if s -> a.("xxx").b %start
				leaq	512(%rsp), %rsi
				leaq	256(%rsp), %rdi
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				pushq	2296(%rsp)
				call	_imp_resolve@PLT
		.LVL5:
				addq	$512, %rsp
				testl	%eax, %eax
				jne	.L23
		.L6:
		.LVL6:
   11     newline
   12   %finish
   13
   14   s -> ("xxx").b
				leaq	512(%rsp), %rsi
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				pushq	2808(%rsp)
				movl	$0, %edi
				call	_imp_resolve@PLT
		.LVL7:
				addq	$512, %rsp
				testl	%eax, %eax
				je	.L24
		.L7:
		.LBB41:
		.LBB42:
				call	_imp_newline@PLT
		.LVL8:
		.LBE42:
		.LBE41:
				leaq	5376(%rsp), %rdi
				leaq	.LC0(%rip), %rsi
				call	_imp_c2istr@PLT
		.LVL22:
				movl	_imp_current_line(%rip), %ebx
				testl	%ebx, %ebx
				jne	.L8
				movl	$14, %ebx
		.L8:
				movq	_imp_current_file(%rip), %rsi
				testq	%rsi, %rsi
				je	.L9
				leaq	5632(%rsp), %rdi
				call	_imp_c2istr@PLT
		.LVL23:
		.L10:
				subq	$256, %rsp
				leaq	5632(%rsp), %rsi
				movl	$32, %ecx
				movq	%rsp, %rdi
				rep movsq
				subq	$256, %rsp
				leaq	6144(%rsp), %rsi
				movl	$32, %ecx
				movq	%rsp, %rdi
				rep movsq
				movl	$1, %edx
				movl	$7, %esi
				movl	%ebx, %edi
				call	_signal_event@PLT
		.LVL24:
				addq	$512, %rsp
				jmp	.L7
		.L9:
		.LVL25:
		.LBB50:
				movabsq	$8603403804667503988, %rax
				movabsq	$8391162081548005935, %rdx
				movq	%rax, 6145(%rsp)
				movq	%rdx, 6153(%rsp)
				movabsq	$482871946867, %rax
				movl	$0, %edx
				movq	%rax, 6161(%rsp)
				movq	%rdx, 6169(%rsp)
				leaq	6177(%rsp), %rdi
				movl	$223, %ecx
				movl	$0, %eax
				rep stosb
				movb	$21, 6144(%rsp)
				leaq	2816(%rsp), %rdi
				leaq	6144(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
		.LVL26:
		.LBE50:
				movb	$21, 2816(%rsp)
				leaq	5632(%rsp), %rdi
				leaq	2816(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
				jmp	.L10
		.L25:
		.LBB51:
		.LBB52:
				call	_imp_newline@PLT
		.LVL27:
				jmp	.L11
		.L26:
		.LBE52:
		.LBE51:
   15
   16   newline
   17
   18   %if s -> ("xxx").b %start
				leaq	512(%rsp), %rsi
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				pushq	3576(%rsp)
				movl	$0, %edi
				call	_imp_resolve@PLT
		.LVL9:
				addq	$512, %rsp
				testl	%eax, %eax
				jne	.L25
		.L11:
		.LVL10:
   19     newline
   20   %finish
   21
   22   s -> a.("xxx")
				leaq	256(%rsp), %rdi
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				pushq	4088(%rsp)
				movl	$0, %esi
				call	_imp_resolve@PLT
		.LVL11:
				addq	$512, %rsp
				testl	%eax, %eax
				je	.L26
		.L12:
		.LBB43:
		.LBB44:
				call	_imp_newline@PLT
		.LVL12:
		.LBE44:
		.LBE43:
				leaq	5888(%rsp), %rdi
				leaq	.LC0(%rip), %rsi
				call	_imp_c2istr@PLT
		.LVL28:
				movl	_imp_current_line(%rip), %ebx
				testl	%ebx, %ebx
				jne	.L13
				movl	$22, %ebx
		.L13:
				movq	_imp_current_file(%rip), %rsi
				testq	%rsi, %rsi
				je	.L14
				leaq	6144(%rsp), %rdi
				call	_imp_c2istr@PLT
		.LVL29:
		.L15:
				subq	$256, %rsp
				leaq	6144(%rsp), %rsi
				movl	$32, %ecx
				movq	%rsp, %rdi
				rep movsq
				subq	$256, %rsp
				leaq	6656(%rsp), %rsi
				movl	$32, %ecx
				movq	%rsp, %rdi
				rep movsq
				movl	$1, %edx
				movl	$7, %esi
				movl	%ebx, %edi
				call	_signal_event@PLT
		.LVL30:
				addq	$512, %rsp
				jmp	.L12
		.L14:
		.LVL31:
		.LBB53:
				movabsq	$8603403804667503988, %rax
				movabsq	$8391162081548005935, %rdx
				movq	%rax, 6145(%rsp)
				movq	%rdx, 6153(%rsp)
				movabsq	$482871946867, %rax
				movl	$0, %edx
				movq	%rax, 6161(%rsp)
				movq	%rdx, 6169(%rsp)
				leaq	6177(%rsp), %rdi
				movl	$223, %ecx
				movl	$0, %eax
				rep stosb
				movb	$21, 6144(%rsp)
				leaq	4096(%rsp), %rdi
				leaq	6144(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
		.LVL32:
		.LBE53:
				movb	$21, 4096(%rsp)
				leaq	6144(%rsp), %rdi
				leaq	4096(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
				jmp	.L15
		.L27:
		.LBB54:
		.LBB55:
				call	_imp_newline@PLT
		.LVL33:
				jmp	.L16
		.LBE55:
		.LBE54:
		.LFE185:
		.Letext0:
   23
   24   newline
   25
   26   %if s -> a.("xxx") %start
				leaq	256(%rsp), %rdi
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				pushq	4856(%rsp)
				movl	$0, %esi
				call	_imp_resolve@PLT
		.LVL13:
				addq	$512, %rsp
				testl	%eax, %eax
				jne	.L27
		.L16:
		.LVL14:
		.LBB45:
		.LBB46:
				movl	$0, %edi
				call	exit@PLT
		.LVL15:
		.L22:
		.LBE46:
		.LBE45:
   27     newline
   28   %finish
   29
   30 %endofprogram
   19 Statements compiled