// File: /workspace/github_c_makefile_star2_O3/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 0xa226(%rip), %r13      # 0xe270
movq (%r13), %rdi
leaq 0x63c3(%rip), %rbx      # 0xa418
movl $0xc3, %r14d
movq %rbx, %rsi
movl %r14d, %edx
callq 0x157c
leaq 0xa29f(%rip), %r15      # 0xe30c
movl $0x42, %ebp
movq (%r13), %rdi
callq 0x1334
movq %rax, %r12
movq %rax, %rdi
movq %r15, %rsi
movq %rbx, %rdx
movl %r14d, %ecx
callq 0x1bb0
testl %eax, %eax
je 0x40b2
movq (%r12), %rdi
cmpl $0x0, 0x1b4(%rdi)
je 0x40b2
addq $0x8, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
je 0x40f8
cmpl $0x0, 0xa253(%rip)      # 0xe30c
je 0x4072
movq (%r12), %rdi
cmpl $0x0, 0x1b4(%rdi)
jne 0x445e
addq $0xd0, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
jne 0x445e
movq (%r12), %rax
movl $0x1, 0x1b4(%rax)
jmp 0x4072
movq (%r12), %rax
movl $0x1, 0x1b8(%rax)
movq %r12, %rdi
movq %rbx, %rsi
movl $0xc4, %r14d
movl %r14d, %edx
callq 0x157c
movq %r12, %rdi
callq 0x1334
movq %rax, %r15
movq %rax, %rdi
leaq 0xa1e1(%rip), %rsi      # 0xe310
movq %rbx, %rdx
movl %r14d, %ecx
callq 0x1bb0
testl %eax, %eax
je 0x4160
movq (%r15), %rdi
cmpl $0x0, 0x1b4(%rdi)
je 0x4160
addq $0x8, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
je 0x4213
movq %r15, %rdi
leaq 0xa1a6(%rip), %rsi      # 0xe310
leaq 0x9f4f(%rip), %rdx      # 0xe0c0
movq %rbx, %rcx
movl $0xcf, %r8d
callq 0x1c49
testl %eax, %eax
je 0x41cb
movq (%r15), %rax
cmpl $0x0, 0x1b4(%rax)
je 0x41cb
movq %r15, %rdi
leaq 0x9f27(%rip), %rsi      # 0xe0c0
callq 0x1904
testl %eax, %eax
je 0x41cb
movq 0x8(%r15), %rdi
movl $0x1, %esi
callq 0x1f9d
movq (%r15), %rax
movl $0x2, 0x1b8(%rax)
xorl %eax, %eax
leaq 0x6262(%rip), %rdi      # 0xa428
callq 0x1080
cmpl $0x0, 0xa13e(%rip)      # 0xe310
je 0x411a
movq (%r15), %rdi
cmpl $0x0, 0x1b4(%rdi)
jne 0x4384
addq $0xd0, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
jne 0x4384
movq (%r15), %rax
movl $0x1, 0x1b4(%rax)
jmp 0x411a
movq (%r15), %rax
movl $0x1, 0x1b8(%rax)
movq %r15, %rdi
movq %rbx, %rsi
movl $0xc5, %edx
callq 0x157c
movq %r15, %rdi
callq 0x1334
movq %rax, %r14
movq %rax, %rdi
leaq 0xa0cf(%rip), %rsi      # 0xe314
movq %rbx, %rdx
movl $0xc5, %ecx
callq 0x1bb0
testl %eax, %eax
je 0x4274
movq (%r14), %rdi
cmpl $0x0, 0x1b4(%rdi)
je 0x4274
addq $0x8, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
je 0x42bb
movq %r14, %rdi
leaq 0xa096(%rip), %rsi      # 0xe314
leaq 0x9e3b(%rip), %rdx      # 0xe0c0
movq %rbx, %rcx
movl $0xc7, %r8d
callq 0x1c49
testl %eax, %eax
je 0x42e4
movq (%r14), %rax
cmpl $0x0, 0x1b4(%rax)
je 0x42e4
movq %r14, %rdi
leaq 0x9e13(%rip), %rsi      # 0xe0c0
callq 0x1904
testl %eax, %eax
je 0x42e4
jmp 0x452f
movq (%r14), %rax
movl $0x1, 0x1b8(%rax)
xorl %eax, %eax
movl %eax, %edx
movq %r14, %rdi
leaq 0x9dea(%rip), %rsi      # 0xe0c0
movq %rbx, %rcx
movl $0xc6, %r8d
callq 0x1715
cmpl $0x0, 0xa029(%rip)      # 0xe314
je 0x4230
movq (%r14), %rdi
cmpl $0x0, 0x1b4(%rdi)
jne 0x4324
addq $0xd0, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
jne 0x4324
movq (%r14), %rax
movl $0x1, 0x1b4(%rax)
jmp 0x4230
movq %r15, %rdi
callq 0x1334
movq (%rax), %rax
movl $0x3, 0x1b8(%rax)
movl $0xc4, %r14d
movq %r15, %rdi
callq 0x1334
movq (%rax), %rax
cmpl $0x0, 0x1b4(%rax)
jg 0x4363
movq %r15, %rdi
callq 0x195a
testl %eax, %eax
je 0x41cb
movq %r15, %rdi
callq 0x1334
movq (%rax), %rax
movl 0x1b4(%rax), %ecx
movl %ecx, %edx
decl %edx
movl %edx, 0x1b4(%rax)
testl %ecx, %ecx
jle 0x433f
jmp 0x43f3
movq %r12, %rdi
callq 0x1334
movq (%rax), %rax
movl $0x3, 0x1b8(%rax)
movl $0xc3, %r14d
leaq 0x9f66(%rip), %r15      # 0xe30c
movq %r12, %rdi
callq 0x1334
movq (%rax), %rax
cmpl $0x0, 0x1b4(%rax)
jg 0x43d2
movq %r12, %rdi
callq 0x195a
testl %eax, %eax
jne 0x43d2
jmp 0x40b2
movl %ebp, %edi
callq 0x1050
movq %r12, %rdi
callq 0x1334
movq (%rax), %rax
movl 0x1b4(%rax), %ecx
movl %ecx, %edx
decl %edx
movl %edx, 0x1b4(%rax)
testl %ecx, %ecx
jg 0x43cb
jmp 0x43a6
movl $0x41, %edi
callq 0x1050
movq %r15, %rdi
callq 0x12fc
movl $0x2, %ebp
cmpl $-0x1, %eax
je 0x45b8
leaq 0x5ffe(%rip), %rdx      # 0xa418
movq %r15, %rdi
movl $0xc8, %esi
movl $0xcc, %ecx
callq 0x21ae
movq %rax, %rbx
movq %r15, %rdi
callq 0x1334
movq (%rax), %rax
movq %rbx, 0x1a0(%rax)
movq %rbx, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
jne 0x4522
movq %r15, %rdi
jmp 0x45a7
movq (%r13), %rdi
callq 0x1334
movq (%rax), %rax
movl $0x3, 0x1b8(%rax)
movl $0x43, %ebx
movq (%r13), %rdi
callq 0x1334
movq (%rax), %rax
cmpl $0x0, 0x1b4(%rax)
jg 0x44a4
movq (%r13), %rdi
callq 0x195a
testl %eax, %eax
jne 0x44a4
jmp 0x44c6
movl %ebx, %edi
callq 0x1050
movq (%r13), %rdi
callq 0x1334
movq (%rax), %rax
movl 0x1b4(%rax), %ecx
movl %ecx, %edx
decl %edx
movl %edx, 0x1b4(%rax)
testl %ecx, %ecx
jg 0x449d
jmp 0x4479
movq (%r13), %rdi
callq 0x12fc
movl $0x3, %ebp
cmpl $-0x1, %eax
je 0x45b8
movq (%r13), %rdi
leaq 0x5f30(%rip), %rdx      # 0xa418
movl $0xc8, %esi
movl $0xd6, %ecx
callq 0x21ae
movq %rax, %rbx
movq (%r13), %rdi
callq 0x1334
movq (%rax), %rax
movq %rbx, 0x1a0(%rax)
movq %rbx, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
je 0x45a3
movq %rbx, %rdi
callq 0x1040
jmp 0x45b8
movq 0x8(%r14), %rdi
movl $0x1, %ebx
movl %ebx, %esi
callq 0x1f9d
movq (%r14), %rax
movl $0x2, 0x1b8(%rax)
movq %r14, %rdi
callq 0x12fc
movl %ebx, %ebp
cmpl $-0x1, %eax
je 0x45b8
leaq 0x5eb6(%rip), %rdx      # 0xa418
movl $0xc8, %ecx
movq %r14, %rdi
movl %ecx, %esi
callq 0x21ae
movq %rax, %r15
movq %r14, %rdi
callq 0x1334
movq (%rax), %rax
movq %r15, 0x1a0(%rax)
movl $0x1, %ebx
movq %r15, %rdi
movl %ebx, %esi
callq 0x1130
testl %eax, %eax
je 0x45ae
movq %r15, %rdi
callq 0x1040
jmp 0x45b6
movq (%r13), %rdi
callq 0x1b77
jmp 0x45b8
movq %r14, %rdi
callq 0x1b77
movl %ebx, %ebp
movl %ebp, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq