// File: /workspace/github_c_makefile_star2_O1/johsteffens[P]beth/lib/bcore/bcore.xo.c
// Function: x_bbml_t_translate_recursive
void x_bbml_t_translate_recursive( const x_bbml* o, tp_t t, tp_t name, bl_t shelve, x_sink* sink )
{
    // bcore_x_bbml.h:356:1
    
    // shelving obj_l
    if( o && shelve && bcore_via_call_t_defines_shelve(t ) )
    {
        x_bbml* o_clone =((x_bbml*)( x_inst_t_clone(((const x_inst*)(o)),t ))); // no scoping (o_clone is obliv)
        x_stamp_t_shelve(((x_stamp*)(o_clone)),t );
        x_bbml_t_translate_recursive(o_clone,t, name, false, sink );
        x_inst_discard(((x_inst*)(o_clone)));
        return ;
    }
    
    if( name ) x_bbml_push_type(sink, name );
    
    x_bbml_push_type(sink, t );
    x_bbml_push_flag(sink, o != NULL );
    
    if( o )
    {
        if( x_bbml_t_defines_bbml_body_to_sink(t ) )
        {
            x_bbml_t_bbml_body_to_sink(o,t, sink );
        }
        else if( t == TYPEOF_st_s ) // strings
        {
            const st_s* string = ((const st_s*)(o));
            x_sink_push_data(sink,( vc_t )string->data, string->size + 1 ); // push string including terminating 0
        }
        else if( x_stamp_t_is_leaf(t ) )
        {
            x_bbml_push_leaf(sink, t,((const x_inst*)( o )));
        }
        else
        {
            if( x_stamp_t_is_pure_array(t ) )
            {
                const x_array* arr =((const x_array*)( o));
                if( x_array_t_is_mutable_mono_typed(t ) ) x_bbml_push_type(sink, x_array_t_get_mono_type(arr,t ) );
                sz_t size = x_array_t_size(arr,t );
                x_bbml_push_size(sink, size );
                for(sz_t i = 0; i < size; i++ )
                {
                    sr_s sr = x_array_t_c_get_sr(arr,t, i );
                    x_bbml_t_translate_recursive(((const x_bbml*)( sr.o)),sr_s_o_type(&(sr)), 0, true, sink );
                    sr_down( sr );
                }
            }
            else
            {
                const x_stamp* stamp =((const x_stamp*)( o));
                sz_t size = x_stamp_t_size(t );
                for(sz_t i = 0; i < size; i++ )
                {
                    sr_s sr = x_stamp_t_c_get_sr_i(stamp,t, i );
                    tp_t name = x_stamp_t_name(t, i );
                    x_bbml_t_translate_recursive(((const x_bbml*)( sr.o)),sr_s_o_type(&(sr)), name, true, sink );
                    sr_down( sr );
                }
    
                /// we push a terminating '0' to indicate the end of the parameter list
                x_bbml_push_type(sink, 0 );
            }
        }
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %r8, %rbx
movq %rdx, %r13
movq %rsi, %r14
movq %rdi, %r15
xorb $0x1, %cl
testq %rdi, %rdi
sete %al
orb %cl, %al
jne 0x7b6c9
leaq 0x1297f4(%rip), %rax    # 0x1a4cb0
movl 0x1297ee(%rip), %ecx    # 0x1a4cb0
movslq %ecx, %rcx
leaq (%rcx,%rcx,2), %rcx
movq 0x20(%rax,%rcx,8), %rdx
movq 0x18(%rax,%rcx,8), %rcx
andq %r14, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x7b51a
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x7b51a
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x7b51a
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7bf17
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x7b54a
movabsq $-0x220988275314685e, %rdi # imm = 0xDDF677D8ACEB97A2
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x129771(%rip), %rdi    # 0x1a4cb0
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
cmpq $0x0, 0x20(%r12)
je 0x7b6c9
leaq 0x12df0b(%rip), %rbp    # 0x1a9468
movl (%rbp), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rbp,%rax,8), %rcx
movq 0x18(%rbp,%rax,8), %rdx
andq %r14, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x7b5b7
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x7b5b7
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x7b5b7
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7c1f5
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x7b5e7
movabsq $0x782b96602f424981, %rdi # imm = 0x782B96602F424981
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x12de8c(%rip), %rdi    # 0x1a9468
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r12, %rdi
movq %r15, %rsi
callq *0xc0(%r12)
movq %rax, %r15
movq %rax, %rdi
movq %r14, %rsi
callq 0x7a590
movq %r15, %rdi
movq %r14, %rsi
movq %r13, %rdx
xorl %ecx, %ecx
movq %rbx, %r8
callq 0x7b48a
testq %r15, %r15
je 0x7c1e6
movq (%r15), %rbx
movl (%rbp), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rbp,%rax,8), %rcx
movq 0x18(%rbp,%rax,8), %rdx
andq %rbx, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %rbx, %rdx
je 0x7b67c
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x7b67c
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x7b67c
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x7c205
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x7b6ac
movabsq $0x782b96602f424981, %rdi # imm = 0x782B96602F424981
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x12ddc7(%rip), %rdi    # 0x1a9468
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0xb8(%r14), %rax
movq %r14, %rdi
movq %r15, %rsi
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmpq *%rax
testq %r13, %r13
je 0x7b792
movq %r13, 0x18(%rsp)
movq (%rbx), %r12
leaq 0x12e3cf(%rip), %rax    # 0x1a9ab0
movl (%rax), %ecx
movslq %ecx, %rcx
leaq (%rcx,%rcx,2), %rcx
movq 0x20(%rax,%rcx,8), %rdx
movq 0x18(%rax,%rcx,8), %rcx
andq %r12, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %r12, %rdx
je 0x7b73b
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x7b73b
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x7b73b
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x7bf1f
movq (%rax,%rcx), %r13
testq %r13, %r13
jne 0x7b76b
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r13
leaq 0x12e350(%rip), %rdi    # 0x1a9ab0
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
cmpq $0x0, 0x10(%r13)
jne 0x7b781
leaq 0xc9b45(%rip), %rsi     # 0x1452be
movq %r13, %rdi
callq 0xf592c
leaq 0x18(%rsp), %rsi
movl $0x8, %edx
movq %rbx, %rdi
callq *0x10(%r13)
movq %r14, 0x18(%rsp)
movq (%rbx), %r12
leaq 0x12e30f(%rip), %rdx    # 0x1a9ab0
movl (%rdx), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rdx,%rax,8), %rcx
movq 0x18(%rdx,%rax,8), %rdx
andq %r12, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r12, %rdx
je 0x7b7fa
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x7b7fa
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x7b7fa
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x7bbe6
movq (%rax,%rcx), %r13
testq %r13, %r13
jne 0x7b82a
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r13
leaq 0x12e291(%rip), %rdi    # 0x1a9ab0
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
cmpq $0x0, 0x10(%r13)
jne 0x7b840
leaq 0xc9a86(%rip), %rsi     # 0x1452be
movq %r13, %rdi
callq 0xf592c
leaq 0x18(%rsp), %r12
movl $0x8, %ebp
movl $0x8, %edx
movq %rbx, %rdi
movq %r12, %rsi
callq *0x10(%r13)
testq %r15, %r15
setne (%r12)
movq (%rbx), %r12
leaq 0x12e245(%rip), %rdx    # 0x1a9ab0
movl (%rdx), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rdx,%rax,8), %rcx
movq 0x18(%rdx,%rax,8), %rdx
andq %r12, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rcx
cmpq %r12, %rcx
je 0x7b8bf
movq 0x10(%rax), %rcx
movl $0x18, %ebp
cmpq %r12, %rcx
je 0x7b8bf
movq 0x20(%rax), %rcx
movl $0x28, %ebp
cmpq %r12, %rcx
je 0x7b8bf
movq 0x30(%rax), %rcx
movl $0x38, %ebp
cmpq %r12, %rcx
jne 0x7bbee
movq (%rax,%rbp), %r13
testq %r13, %r13
jne 0x7b8ef
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r13
leaq 0x12e1cc(%rip), %rdi    # 0x1a9ab0
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
cmpq $0x0, 0x10(%r13)
jne 0x7b905
leaq 0xc99c1(%rip), %rsi     # 0x1452be
movq %r13, %rdi
callq 0xf592c
leaq 0x18(%rsp), %rsi
movl $0x1, %edx
movq %rbx, %rdi
callq *0x10(%r13)
testq %r15, %r15
je 0x7c1e6
leaq 0x12b722(%rip), %r13    # 0x1a7048
movl 0x12b71c(%rip), %eax    # 0x1a7048
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r13,%rax,8), %rcx
movq 0x18(%r13,%rax,8), %rdx
andq %r14, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x7b983
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x7b983
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x7b983
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7bf27
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x7b9b3
movabsq $-0x7910b450c18f5d4f, %rdi # imm = 0x86EF4BAF3E70A2B1
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x12b6a0(%rip), %rdi    # 0x1a7048
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
cmpq $0x0, 0x18(%r12)
je 0x7ba5c
movl 0x12b683(%rip), %eax    # 0x1a7048
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r13,%rax,8), %rcx
movq 0x18(%r13,%rax,8), %rdx
andq %r14, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x7ba1c
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x7ba1c
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x7ba1c
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7c1fd
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x7ba4c
movabsq $-0x7910b450c18f5d4f, %rdi # imm = 0x86EF4BAF3E70A2B1
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x12b607(%rip), %rdi    # 0x1a7048
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r15, %rdi
movq %rbx, %rsi
callq *0x18(%r12)
jmp 0x7c1e6
movabsq $-0x503db0e6e1c2e704, %rax # imm = 0xAFC24F191E3D18FC
cmpq %rax, %r14
jne 0x7bb35
movq 0x8(%r15), %r14
movq 0x10(%r15), %r15
movq (%rbx), %r12
leaq 0x12e02f(%rip), %rdx    # 0x1a9ab0
movl (%rdx), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rdx,%rax,8), %rcx
movq 0x18(%rdx,%rax,8), %rdx
andq %r12, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r12, %rdx
je 0x7bada
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x7bada
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x7bada
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x7c20d
movq (%rax,%rcx), %r13
testq %r13, %r13
jne 0x7bb0a
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r13
leaq 0x12dfb1(%rip), %rdi    # 0x1a9ab0
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
incq %r15
cmpq $0x0, 0x10(%r13)
jne 0x7bb23
leaq 0xc97a3(%rip), %rsi     # 0x1452be
movq %r13, %rdi
callq 0xf592c
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq *0x10(%r13)
jmp 0x7c1e6
leaq 0x12e5bc(%rip), %rdx    # 0x1aa0f8
movl (%rdx), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rdx,%rax,8), %rcx
movq 0x18(%rdx,%rax,8), %rdx
andq %r14, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x7bb95
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x7bb95
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x7bb95
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7c215
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x7bbc5
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x12e53e(%rip), %rdi    # 0x1aa0f8
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r12, %rdi
xorl %esi, %esi
callq 0x10decb
testb %al, %al
je 0x7bbf6
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x7e974
jmp 0x7c1e6
xorl %r13d, %r13d
jmp 0x7b7fe
xorl %r13d, %r13d
jmp 0x7b8c3
leaq 0x12e4fb(%rip), %rdx    # 0x1aa0f8
movl (%rdx), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rdx,%rax,8), %rcx
movq 0x18(%rdx,%rax,8), %rdx
andq %r14, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x7bc56
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x7bc56
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x7bc56
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7c21d
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x7bc86
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x12e47d(%rip), %rdi    # 0x1aa0f8
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r12, %rdi
xorl %esi, %esi
callq 0x10ded3
testb %al, %al
je 0x7bf2f
leaq 0x12d181(%rip), %r13    # 0x1a8e20
movl (%r13), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r13,%rax,8), %rcx
movq 0x18(%r13,%rax,8), %rdx
andq %r14, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x7bcfa
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x7bcfa
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x7bcfa
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7c225
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x7bd2a
movabsq $-0x5073d588c3beb52e, %rdi # imm = 0xAF8C2A773C414AD2
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x12d101(%rip), %rdi    # 0x1a8e20
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r12, %rdi
callq 0xf8694
testb %al, %al
je 0x7bd4c
movq %r15, %rdi
movq %r14, %rsi
callq 0x79e3a
movq %rbx, %rdi
movq %rax, %rsi
callq 0x7fad5
movl (%r13), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r13,%rax,8), %rcx
movq 0x18(%r13,%rax,8), %rdx
andq %r14, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x7bda7
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x7bda7
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x7bda7
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7c22d
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x7bdd7
movabsq $-0x5073d588c3beb52e, %rdi # imm = 0xAF8C2A773C414AD2
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x12d054(%rip), %rdi    # 0x1a8e20
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r12, %rdi
movq %r15, %rsi
callq 0xf837b
movq %rax, %r13
movq %rax, 0x18(%rsp)
movq (%rbx), %r12
leaq 0x12dcbc(%rip), %rdx    # 0x1a9ab0
movl (%rdx), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rdx,%rax,8), %rcx
movq 0x18(%rdx,%rax,8), %rdx
andq %r12, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r12, %rdx
je 0x7be4d
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x7be4d
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x7be4d
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x7c235
movq (%rax,%rcx), %rbp
testq %rbp, %rbp
jne 0x7be7d
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r12, %rsi
callq 0xf3f85
movq %rax, %rbp
leaq 0x12dc3e(%rip), %rdi    # 0x1a9ab0
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
cmpq $0x0, 0x10(%rbp)
jne 0x7be93
leaq 0xc9433(%rip), %rsi     # 0x1452be
movq %rbp, %rdi
callq 0xf592c
leaq 0x18(%rsp), %rsi
movl $0x8, %edx
movq %rbx, %rdi
callq *0x10(%rbp)
testq %r13, %r13
jle 0x7c1e6
xorl %r12d, %r12d
leaq 0x18(%rsp), %rbp
movq %rbp, %rdi
movq %r15, %rsi
movq %r14, %rdx
movq %r12, %rcx
callq 0x5c1f3
movq 0x20(%rsp), %rax
testq %rax, %rax
je 0x7bed5
movq 0x8(%rax), %rsi
jmp 0x7bed7
xorl %esi, %esi
movq 0x18(%rsp), %rdi
xorl %edx, %edx
movl $0x1, %ecx
movq %rbx, %r8
callq 0x7b48a
testb $0x2, 0x28(%rsp)
je 0x7bf0a
movq 0x28(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x18(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
incq %r12
cmpq %r12, %r13
jne 0x7beb4
jmp 0x7c1e6
xorl %r12d, %r12d
jmp 0x7b51e
xorl %r13d, %r13d
jmp 0x7b73f
xorl %r12d, %r12d
jmp 0x7b987
leaq 0x12e1c2(%rip), %rdx    # 0x1aa0f8
movl (%rdx), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rdx,%rax,8), %rcx
movq 0x18(%rdx,%rax,8), %rdx
andq %r14, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x7bf8f
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x7bf8f
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x7bf8f
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7c23c
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x7bfbf
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x12e144(%rip), %rdi    # 0x1aa0f8
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x20(%r12), %rax
movq %rax, 0x30(%rsp)
testq %rax, %rax
jle 0x7c123
movl $0x8, %r13d
xorl %r12d, %r12d
leaq 0x18(%rsp), %rdi
movq %r15, %rsi
movq %r14, %rdx
movq %r12, %rcx
callq 0x5e069
movq 0x28(%rsp), %rax
testb $0x2, %al
jne 0x7c000
orq $0x1, %rax
movq %rax, 0x28(%rsp)
leaq 0x12e0f1(%rip), %rdx    # 0x1aa0f8
movl (%rdx), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rdx,%rax,8), %rcx
movq 0x18(%rdx,%rax,8), %rdx
andq %r14, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x7c060
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x7c060
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x7c060
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7c11c
movq (%rax,%rcx), %rbp
testq %rbp, %rbp
jne 0x7c090
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %r14, %rsi
callq 0xf3f85
movq %rax, %rbp
leaq 0x12e073(%rip), %rdi    # 0x1aa0f8
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x20(%rbp), %r9
cmpq %r12, %r9
ja 0x7c0bd
leaq 0xce204(%rip), %rdi     # 0x14a2a4
leaq 0xce219(%rip), %rsi     # 0x14a2c0
movl $0x4e, %edx
leaq 0xce221(%rip), %rcx     # 0x14a2d4
movq %r12, %r8
xorl %eax, %eax
callq 0xc80f6
movq 0x30(%rbp), %rax
movq (%rax,%r13), %rdx
movq 0x18(%rsp), %rdi
movq 0x20(%rsp), %rax
testq %rax, %rax
je 0x7c0da
movq 0x8(%rax), %rsi
jmp 0x7c0dc
xorl %esi, %esi
movl $0x1, %ecx
movq %rbx, %r8
callq 0x7b48a
testb $0x2, 0x28(%rsp)
je 0x7c108
movq 0x28(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x18(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
incq %r12
addq $0x38, %r13
cmpq %r12, 0x30(%rsp)
jne 0x7bfdb
jmp 0x7c123
xorl %ebp, %ebp
jmp 0x7c064
movq $0x0, 0x18(%rsp)
movq (%rbx), %r14
leaq 0x12d97a(%rip), %rdx    # 0x1a9ab0
movl (%rdx), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rdx,%rax,8), %rcx
movq 0x18(%rdx,%rax,8), %rdx
andq %r14, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x7c18f
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x7c18f
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x7c18f
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7c244
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x7c1bf
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x12d8fc(%rip), %rdi    # 0x1a9ab0
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
cmpq $0x0, 0x10(%r15)
jne 0x7c1d5
leaq 0xc90f1(%rip), %rsi     # 0x1452be
movq %r15, %rdi
callq 0xf592c
leaq 0x18(%rsp), %rsi
movl $0x8, %edx
movq %rbx, %rdi
callq *0x10(%r15)
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorl %r12d, %r12d
jmp 0x7b5bb
xorl %r12d, %r12d
jmp 0x7ba20
xorl %r14d, %r14d
jmp 0x7b680
xorl %r13d, %r13d
jmp 0x7bade
xorl %r12d, %r12d
jmp 0x7bb99
xorl %r12d, %r12d
jmp 0x7bc5a
xorl %r12d, %r12d
jmp 0x7bcfe
xorl %r12d, %r12d
jmp 0x7bdab
xorl %ebp, %ebp
jmp 0x7be51
xorl %r12d, %r12d
jmp 0x7bf93
xorl %r15d, %r15d
jmp 0x7c193