// File: /workspace/github_c_makefile_star2_O1/meaning-matters[P]Except/Test.c
// Function: spell
int spell(void)
{
    if (1)
        try
            try 
                try
                    throw (Throwable, 0);
                catch (Throwable, e)
                    return(1);
                finally
                {
                    printf("A");
                    return(2);
                }
        
            catch (Throwable, e)
                printf("Magic");
            finally
                printf("B");
    
        finally
            printf("C");
    return(3);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
leaq 0x9079(%rip), %r12      # 0xd270
movq (%r12), %rdi
leaq 0x6296(%rip), %r13      # 0xa498
movl $0xc3, %edx
movq %r13, %rsi
callq 0x151a
xorl %eax, %eax
movl %eax, %eax
movq %rax, (%rsp)
movl $0xc4, %r14d
movl $0x42, %ebp
movq (%r12), %rdi
callq 0x12d2
movq %rax, %r15
movq %rax, %rdi
leaq 0x90d4(%rip), %rsi      # 0xd30c
movq %r13, %rdx
movl $0xc3, %ecx
callq 0x1b4a
testl %eax, %eax
je 0x4267
movq (%r15), %rdi
cmpl $0x0, 0x1b4(%rdi)
je 0x4267
addq $0x8, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
je 0x42e4
cmpl $0x0, 0x909e(%rip)      # 0xd30c
je 0x42c0
movq (%r15), %rdi
movl $0x3, %r14d
cmpl $0x0, 0x1b4(%rdi)
jne 0x42c6
addq $0xd0, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
jne 0x42c6
movq (%r15), %rax
movl $0x1, 0x1b4(%rax)
movq (%rsp), %rax
leaq 0x61a1(%rip), %rdx      # 0xa450
movslq (%rdx,%rax,4), %rcx
addq %rdx, %rcx
movl %ebx, %eax
movl $0xc4, %r14d
jmpq *%rcx
movl $0x2, %r14d
movl %r14d, %r14d
movl %r14d, %eax
leaq 0x617d(%rip), %rdx      # 0xa450
movslq (%rdx,%rax,4), %rcx
addq %rdx, %rcx
movl %ebx, %eax
movl $0xc4, %r14d
jmpq *%rcx
movq (%r15), %rax
movl $0x1, 0x1b8(%rax)
movq %r15, %rdi
movq %r13, %rsi
movl %r14d, %edx
callq 0x151a
movl %ebx, %eax
movl %eax, %ebx
movq %r15, %rdi
callq 0x12d2
movq %rax, %r12
movq %rax, %rdi
leaq 0x8ff8(%rip), %rsi      # 0xd310
leaq 0x6179(%rip), %r13      # 0xa498
movq %r13, %rdx
movl %r14d, %ecx
callq 0x1b4a
testl %eax, %eax
je 0x4351
movq (%r12), %rdi
cmpl $0x0, 0x1b4(%rdi)
je 0x4351
addq $0x8, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
je 0x4419
movq %r12, %rdi
leaq 0x8fb5(%rip), %rsi      # 0xd310
leaq 0x8d5e(%rip), %rdx      # 0xd0c0
movq %r13, %rcx
movl $0xcf, %r8d
callq 0x1bde
testl %eax, %eax
je 0x43bf
movq (%r12), %rax
cmpl $0x0, 0x1b4(%rax)
je 0x43bf
movq %r12, %rdi
leaq 0x8d35(%rip), %rsi      # 0xd0c0
callq 0x18a9
testl %eax, %eax
je 0x43bf
movq 0x8(%r12), %rdi
movl $0x1, %esi
callq 0x1f2b
movq (%r12), %rax
movl $0x2, 0x1b8(%rax)
xorl %eax, %eax
leaq 0x60ee(%rip), %rdi      # 0xa4a8
callq 0x1080
cmpl $0x0, 0x8f4a(%rip)      # 0xd310
je 0x440e
movq (%r12), %rdi
movl $0x7, %r13d
cmpl $0x0, 0x1b4(%rdi)
jne 0x46d9
addq $0xd0, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
jne 0x46d9
movq (%r12), %rax
movl $0x1, 0x1b4(%rax)
xorl %r13d, %r13d
jmp 0x46d9
movl $0x6, %r13d
jmp 0x46d9
movq (%r12), %rax
movl $0x1, 0x1b8(%rax)
movq %r12, %rdi
movq %r13, %rsi
movl $0xc5, %edx
callq 0x151a
movl %ebx, %ecx
movl %ecx, %ebx
movq %r12, %rdi
callq 0x12d2
movq %rax, %r14
movq %rax, %rdi
leaq 0x8ec4(%rip), %rsi      # 0xd314
movq %r13, %rdx
movl $0xc5, %ecx
callq 0x1b4a
testl %eax, %eax
je 0x4483
movq (%r14), %rdi
cmpl $0x0, 0x1b4(%rdi)
je 0x4483
addq $0x8, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
je 0x454b
movq %r14, %rdi
leaq 0x8e87(%rip), %rsi      # 0xd314
leaq 0x8c2c(%rip), %rdx      # 0xd0c0
movq %r13, %rcx
movl $0xc7, %r8d
callq 0x1bde
testl %eax, %eax
je 0x4574
movq (%r14), %rax
cmpl $0x0, 0x1b4(%rax)
je 0x4574
movq %r14, %rdi
leaq 0x8bfc(%rip), %rsi      # 0xd0c0
callq 0x18a9
testl %eax, %eax
je 0x4574
movq 0x8(%r14), %rdi
movl $0x1, %r13d
movl %r13d, %esi
callq 0x1f2b
movq (%r14), %rax
movl $0x2, 0x1b8(%rax)
movq %r14, %rdi
callq 0x129c
cmpl $-0x1, %eax
je 0x45c9
movq %r14, %rdi
movl $0xc8, %ecx
movl %ecx, %esi
leaq 0x5f86(%rip), %rdx      # 0xa498
callq 0x216e
movq %rax, %rbx
movq %r14, %rdi
callq 0x12d2
movq (%rax), %rax
movq %rbx, 0x1a0(%rax)
movq %rbx, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
je 0x45c1
movq %rbx, %rdi
callq 0x1040
jmp 0x45c9
movq (%r14), %rax
movl $0x1, 0x1b8(%rax)
xorl %eax, %eax
movl %eax, %edx
movq %r14, %rdi
leaq 0x8b5a(%rip), %rsi      # 0xd0c0
movq %r13, %rcx
movl $0xc6, %r8d
callq 0x16b1
cmpl $0x0, 0x8d99(%rip)      # 0xd314
je 0x45a9
movq (%r14), %rdi
movl $0xb, %r13d
cmpl $0x0, 0x1b4(%rdi)
jne 0x45a4
addq $0xd0, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
je 0x45b0
movl %r13d, %eax
jmp 0x45cf
movl $0xa, %eax
jmp 0x45d6
movq (%r14), %rax
movl $0x1, 0x1b4(%rax)
xorl %eax, %eax
jmp 0x45cf
movq %r14, %rdi
callq 0x1b11
movl %r13d, %eax
movl %r13d, %ebx
leaq 0x5ec2(%rip), %r13      # 0xa498
movl %ebx, %ecx
testl %eax, %eax
je 0x4439
movl %ebx, %ecx
cmpl $0xa, %eax
je 0x4439
cmpl $0xb, %eax
jne 0x46b8
movq %r12, %rdi
callq 0x12d2
movq (%rax), %rax
movl $0x3, 0x1b8(%rax)
movq %r12, %rdi
callq 0x12d2
movq (%rax), %rax
cmpl $0x0, 0x1b4(%rax)
jg 0x462d
movq %r12, %rdi
callq 0x18f4
testl %eax, %eax
je 0x46bd
movq %r12, %rdi
callq 0x12d2
movq (%rax), %rax
movl 0x1b4(%rax), %ecx
movl %ecx, %edx
decl %edx
movl %edx, 0x1b4(%rax)
testl %ecx, %ecx
jle 0x4609
movl $0x41, %edi
callq 0x1050
movq %r12, %rdi
callq 0x129c
movl $0x2, %r14d
movl $0x1, %r13d
cmpl $-0x1, %eax
je 0x46d0
movq %r12, %rdi
movl $0xc8, %esi
leaq 0x5e1a(%rip), %rdx      # 0xa498
movl $0xcc, %ecx
callq 0x216e
movq %rax, %rbx
movq %r12, %rdi
callq 0x12d2
movq (%rax), %rax
movq %rbx, 0x1a0(%rax)
movq %rbx, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
je 0x46c8
movq %rbx, %rdi
callq 0x1040
jmp 0x46d0
movl %eax, %r13d
jmp 0x46d3
movl $0xc4, %r14d
jmp 0x43bf
movq %r12, %rdi
callq 0x1b11
movl %r14d, %ebx
movl $0xc4, %r14d
movl %ebx, %eax
testl %r13d, %r13d
je 0x4301
movl %ebx, %eax
cmpl $0x6, %r13d
je 0x4301
cmpl $0x7, %r13d
jne 0x4766
movq %r15, %rdi
callq 0x12d2
movq (%rax), %rax
movl $0x3, 0x1b8(%rax)
leaq 0x8b5e(%rip), %r12      # 0xd270
leaq 0x5d7f(%rip), %r13      # 0xa498
movq %r15, %rdi
callq 0x12d2
movq (%rax), %rax
cmpl $0x0, 0x1b4(%rax)
jg 0x4745
movq %r15, %rdi
callq 0x18f4
testl %eax, %eax
jne 0x4745
jmp 0x4267
movl %ebp, %edi
callq 0x1050
movq %r15, %rdi
callq 0x12d2
movq (%rax), %rax
movl 0x1b4(%rax), %ecx
movl %ecx, %edx
decl %edx
movl %edx, 0x1b4(%rax)
testl %ecx, %ecx
jg 0x473e
jmp 0x4719
movl %r13d, %r14d
leaq 0x8b00(%rip), %r12      # 0xd270
leaq 0x5d21(%rip), %r13      # 0xa498
jmp 0x42c6
movq (%r12), %rdi
callq 0x12d2
movq (%rax), %rax
movl $0x3, 0x1b8(%rax)
movl $0x43, %ebx
movq (%r12), %rdi
callq 0x12d2
movq (%rax), %rax
cmpl $0x0, 0x1b4(%rax)
jg 0x47c2
movq (%r12), %rdi
callq 0x18f4
testl %eax, %eax
jne 0x47c2
jmp 0x47e4
movl %ebx, %edi
callq 0x1050
movq (%r12), %rdi
callq 0x12d2
movq (%rax), %rax
movl 0x1b4(%rax), %ecx
movl %ecx, %edx
decl %edx
movl %edx, 0x1b4(%rax)
testl %ecx, %ecx
jg 0x47bb
jmp 0x4797
movq (%r12), %rdi
callq 0x129c
movl $0x3, %ebp
cmpl $-0x1, %eax
je 0x484b
movq (%r12), %rdi
leaq 0x5c96(%rip), %rdx      # 0xa498
movl $0xc8, %esi
movl $0xd6, %ecx
callq 0x216e
movq %rax, %rbx
movq (%r12), %rdi
callq 0x12d2
movq (%rax), %rax
movq %rbx, 0x1a0(%rax)
movq %rbx, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
je 0x4842
movq %rbx, %rdi
callq 0x1040
jmp 0x484b
movq (%r12), %rdi
callq 0x1b11
movl %ebp, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq