         Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.section	.rodata.str1.8,"aMS",@progbits,1
				.align 8
		.LC0:
				.string	"->SW(%d) out of bounds at %s line %d"
				.section	.rodata.str1.1,"aMS",@progbits,1
		.LC1:
				.string	"test-new/nodef.imp"
				.section	.rodata.str1.8
				.align 8
		.LC2:
				.string	"switch jump to undefined label SW(%d): at %s line %d"
				.globl	main
		main:
		.LFB185:
		.LVL0:
				pushq	%rbx
				subq	$1040, %rsp
				movq	%fs:40, %rax
				movq	%rax, 1032(%rsp)
				xorl	%eax, %eax
    2   %switch sw(0:9)
				call	_imp_initialise@PLT
		.LVL1:
		.LDL1:
    3
    4   ->sw(34)
    5
    6 sw(0):
    7   %stop
    8
    9 %endofprogram
    5 Statements compiled
				movl	_imp_current_line(%rip), %ebx
				testl	%ebx, %ebx
				movl	$11, %eax
				cmove	%eax, %ebx
				movq	_imp_current_file(%rip), %rsi
				testq	%rsi, %rsi
				je	.L15
				leaq	512(%rsp), %rdi
				call	_imp_c2istr@PLT
		.LVL2:
		.L6:
				pushq	$4
				leaq	.LC1(%rip), %rax
				pushq	%rax
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				movl	$34, %r9d
				leaq	.LC0(%rip), %r8
				movl	$34, %ecx
				movl	$3, %edx
				movl	$6, %esi
				movl	%ebx, %edi
				movl	$0, %eax
				call	_signal_eventf@PLT
		.LVL3:
				addq	$272, %rsp
				movl	$0, %eax
				jmp	*%rax
		.L4:
		.LVL4:
		.LBB6:
		.LBB7:
				movl	$0, %edi
				call	exit@PLT
		.LVL5:
		.L15:
		.LBE7:
		.LBE6:
		.LBB8:
				movabsq	$8603403804667503988, %rax
				movabsq	$7579107808573877807, %rdx
				movq	%rax, 769(%rsp)
				movq	%rdx, 777(%rsp)
				movq	$28781, 785(%rsp)
				movq	$0, 793(%rsp)
				leaq	801(%rsp), %rdi
				movl	$223, %ecx
				movl	$0, %eax
				rep stosb
				movb	$18, 768(%rsp)
				movq	%rsp, %rdi
				leaq	768(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
		.LVL6:
		.LBE8:
				movb	$18, (%rsp)
				leaq	512(%rsp), %rdi
				movq	%rsp, %rsi
				movl	$32, %ecx
				rep movsq
				jmp	.L6
		.L7:
				movl	_imp_current_line(%rip), %ebx
				testl	%ebx, %ebx
				movl	$14, %eax
				cmove	%eax, %ebx
				movq	_imp_current_file(%rip), %rsi
				testq	%rsi, %rsi
				jne	.L16
		.LVL7:
		.LBB9:
				movabsq	$8603403804667503988, %rax
				movabsq	$7579107808573877807, %rdx
				movq	%rax, 769(%rsp)
				movq	%rdx, 777(%rsp)
				movq	$28781, 785(%rsp)
				movq	$0, 793(%rsp)
				leaq	801(%rsp), %rdi
				movl	$223, %ecx
				movl	$0, %eax
				rep stosb
				movb	$18, 768(%rsp)
				leaq	256(%rsp), %rdi
				leaq	768(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
		.LVL8:
		.LBE9:
				movb	$18, 256(%rsp)
				leaq	768(%rsp), %rdi
				leaq	256(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
		.L10:
				pushq	$4
				leaq	.LC1(%rip), %rax
				pushq	%rax
				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)
				movl	$34, %r9d
				leaq	.LC2(%rip), %r8
				movl	$34, %ecx
				movl	$2, %edx
				movl	$8, %esi
				movl	%ebx, %edi
				movl	$0, %eax
				call	_signal_eventf@PLT
		.LVL9:
		.LDL2:
				addq	$272, %rsp
				movl	$0, %eax
				movq	1032(%rsp), %rdx
				xorq	%fs:40, %rdx
				jne	.L17
				addq	$1040, %rsp
				popq	%rbx
				ret
		.L16:
				leaq	768(%rsp), %rdi
				call	_imp_c2istr@PLT
		.LVL10:
				jmp	.L10
		.L17:
				call	__stack_chk_fail@PLT
		.LVL11:
		.LFE185:
		.Letext0:
