// File: /workspace/github_c_makefile_star2_O1/johsteffens[P]beth/lib/bcore/bcore.xo.c
// Function: x_btml_t_translate_recursive
void x_btml_t_translate_recursive( const x_btml* o, tp_t t, tp_t name, bl_t shelve, x_sink* sink, sz_t depth )
{
    // bcore_x_btml.h:570:1
    BLM_INIT_LEVEL(0);
    sz_t indent = 4 * depth;
    st_s* buf = ((st_s*)BLM_LEVEL_T_PUSH(0,st_s,st_s_create()));
    
    // shelving obj_l
    if( o && shelve && bcore_via_call_t_defines_shelve(t ) )
    {
        x_btml* o_clone =((x_btml*)( x_inst_t_clone(((const x_inst*)(o)),t ))); // o_clone is obliv
        x_stamp_t_shelve(((x_stamp*)(o_clone)),t );
        x_btml_t_translate_recursive(o_clone,t, name, false, sink, depth );
        x_inst_t_discard(((x_inst*)(o_clone)),t );
        BLM_RETURN();
    }
    
    x_sink_push_fa(sink,"#rn{ }", indent );
    if( name ) x_sink_push_fa(sink,"#<sc_t>:", x_btml_name_of(name, buf ) );
    
    if( !o ) // o == NULL ...
    {
        if( t )
        {
            // Explicit NULL specifies that the object is not instantiated.
            // This is to differentiate from the case where the object was instantiated
            // without additional parameters.
            x_sink_push_fa(sink,"<#<sc_t>>NULL</>\n", x_btml_name_of(t, buf ) );
        }
        else
        {
            x_sink_push_fa(sink,"<></>\n" );
        }
    }
    else // o != NULL ...
    {
        x_sink_push_fa(sink,"<#<sc_t>>", x_btml_name_of(t, buf ) );
    
        if( x_btml_t_defines_btml_body_to_sink(t ) )
        {
            x_btml_t_btml_body_to_sink(o,t, sink );
        }
        else if( t == TYPEOF_st_s ) // strings
        {BLM_INIT_LEVEL(3);
            st_s* string = ((st_s*)BLM_LEVEL_T_PUSH(3,st_s,st_s_clone(((const st_s*)(o)))));
            st_s_replace_char_sc(string,'\"', "\\\"" );
            x_sink_push_fa(sink,"\"#<sc_t>\"", string->sc );
        BLM_DOWN();}
        else if( x_stamp_t_is_leaf(t ) )
        {
            switch( t )
            {
                case ((tp_t)(TYPEOF_tp_t)):
                case ((tp_t)(TYPEOF_er_t)):
                case ((tp_t)(TYPEOF_aware_t)):
                {
                    sc_t sc_name = bnameof( *( tp_t* )o );
                    if( sc_name )
                    {
                        x_sink_push_fa(sink,"#<sc_t>", sc_name );
                    }
                    else
                    {
                        x_sink_push_st_d(sink,st_s_create_typed(t, o ) );
                    }
                }
                break;
    
                default:
                {
                    x_sink_push_st_d(sink,st_s_create_typed(t, o ) );
                }
                break;
            }
        }
        else
        {
            x_sink_push_char(sink,'\n' );
            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 ) )
                {
                    tp_t mono_type = x_array_t_get_mono_type(arr,t );
                    x_btml_t_translate_recursive( ((const x_btml*)(&(mono_type))),((tp_t)(TYPEOF_tp_t)), TYPEOF_type, false, sink, depth + 1 );
                }
                sz_t size = x_array_t_size(arr,t );
                for(sz_t i = 0; i < size; i++ )
                {
                    sr_s sr = x_array_t_c_get_sr(arr,t, i );
                    x_btml_t_translate_recursive(((const x_btml*)( sr.o)),sr_s_o_type(&(sr)), 0, true, sink, depth + 1 );
                    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_btml_t_translate_recursive(((const x_btml*)( sr.o)),sr_s_o_type(&(sr)), name, true, sink, depth + 1 );
                    sr_down( sr );
                }
            }
            x_sink_push_fa(sink,"#rn{ }", indent );
        }
        x_sink_push_sc(sink,"</>\n" );
    }
    BLM_DOWN();
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xa8, %rsp
movq %r9, 0x18(%rsp)
movq %r8, %rbp
movl %ecx, %r15d
movq %rdx, 0x30(%rsp)
movq %rsi, %r14
movq %rdi, %rbx
xorb $0x1, %r15b
movabsq $-0x503db0e6e1c2e704, %r13 # imm = 0xAFC24F191E3D18FC
leaq 0x132599(%rip), %rax    # 0x1a8dd0
movq (%rax), %rsi
leaq 0x78(%rsp), %rdi
movq %rdi, 0x28(%rsp)
callq 0xe0431
movq 0x28(%rsp), %r12
movq $0x0, 0x10(%r12)
xorl %eax, %eax
callq 0x114bbb
movq %r12, %rdi
xorl %esi, %esi
movq %r13, %rdx
movq %rax, %rcx
callq 0xe0676
movq %rax, %r12
movq %rbx, 0x20(%rsp)
testq %rbx, %rbx
sete %al
orb %r15b, %al
jne 0x76a9d
leaq 0x12e424(%rip), %rax    # 0x1a4cb0
movl 0x12e41e(%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 0x768ea
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x768ea
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x768ea
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x77147
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x7691a
movabsq $-0x220988275314685e, %rdi # imm = 0xDDF677D8ACEB97A2
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x12e3a1(%rip), %rdi    # 0x1a4cb0
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
cmpq $0x0, 0x20(%r15)
je 0x76a9d
leaq 0x132b3c(%rip), %r12    # 0x1a9468
movl (%r12), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r12,%rax,8), %rcx
movq 0x18(%r12,%rax,8), %rdx
andq %r14, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x76987
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x76987
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x76987
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x77443
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x769b7
movabsq $0x782b96602f424981, %rdi # imm = 0x782B96602F424981
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x132abc(%rip), %rdi    # 0x1a9468
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r15, %rdi
movq 0x20(%rsp), %rsi
callq *0xc0(%r15)
movq %rax, %r15
movq %rax, %rdi
movq %r14, %rsi
callq 0x7a590
movq %r15, %rdi
movq %r14, %rsi
movq 0x30(%rsp), %rdx
xorl %ecx, %ecx
movq %rbp, %r8
movq 0x18(%rsp), %r9
callq 0x767fb
testq %r15, %r15
je 0x76a8e
movl (%r12), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r12,%rax,8), %rcx
movq 0x18(%r12,%rax,8), %rdx
andq %r14, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x76a52
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x76a52
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x76a52
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x77453
movq (%rax,%rcx), %rbx
testq %rbx, %rbx
jne 0x76a82
movabsq $0x782b96602f424981, %rdi # imm = 0x782B96602F424981
movq %r14, %rsi
callq 0xf3f85
movq %rax, %rbx
leaq 0x1329f1(%rip), %rdi    # 0x1a9468
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movq %rbx, %rdi
movq %r15, %rsi
callq *0xb8(%rbx)
movq 0x28(%rsp), %rdi
callq 0xe0b30
jmp 0x7742c
movq 0x18(%rsp), %rax
leaq (,%rax,4), %rdx
leaq 0xc1cc6(%rip), %rsi     # 0x138777
movq %rbp, %rbx
movq %rbp, %rdi
movq %rdx, 0x68(%rsp)
xorl %eax, %eax
callq 0x5afab
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x76ae9
movq %r12, %rsi
callq 0x77522
leaq 0xcc475(%rip), %rsi     # 0x142f51
movq %rbx, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0x5afab
movq 0x20(%rsp), %r13
testq %r13, %r13
je 0x76c51
movq %r14, %rdi
movq %r12, %rsi
callq 0x77522
leaq 0xcc46a(%rip), %rsi     # 0x142f73
movq %rbx, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0x5afab
leaq 0x130313(%rip), %r12    # 0x1a6e30
movl 0x13030d(%rip), %eax    # 0x1a6e30
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r12,%rax,8), %rcx
movq 0x18(%r12,%rax,8), %rdx
andq %r14, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x76b7a
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x76b7a
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x76b7a
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7714f
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x76baa
movabsq $0x2e954f9f03ce7daf, %rdi # imm = 0x2E954F9F03CE7DAF
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x130291(%rip), %rdi    # 0x1a6e30
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
cmpq $0x0, 0x18(%r15)
je 0x76c7e
movl 0x130275(%rip), %eax    # 0x1a6e30
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r12,%rax,8), %rcx
movq 0x18(%r12,%rax,8), %rdx
andq %r14, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x76c12
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x76c12
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x76c12
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7744b
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x76c42
movabsq $0x2e954f9f03ce7daf, %rdi # imm = 0x2E954F9F03CE7DAF
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x1301f9(%rip), %rdi    # 0x1a6e30
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r13, %rdi
movq %rbx, %rsi
callq *0x18(%r15)
jmp 0x77380
testq %r14, %r14
je 0x76d07
movq %r14, %rdi
movq %r12, %rsi
callq 0x77522
leaq 0xcc2ee(%rip), %rsi     # 0x142f5a
movq %rbx, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0x5afab
jmp 0x77422
movabsq $-0x503db0e6e1c2e704, %r12 # imm = 0xAFC24F191E3D18FC
cmpq %r12, %r14
jne 0x76d1d
movq 0x28(%rsp), %rsi
leaq 0x38(%rsp), %rdi
leaq 0x70(%rsp), %r14
movq %rdi, (%r14)
callq 0xe0431
movq (%r14), %r15
movq $0x3, 0x10(%r15)
movq %r13, %rdi
callq 0x115213
movl $0x3, %esi
movq %r15, %rdi
movq %r12, %rdx
movq %rax, %rcx
callq 0xe0676
movq %rax, %r15
leaq 0xc2177(%rip), %rdx     # 0x138e4f
movq %rax, %rdi
movl $0x22, %esi
callq 0x116181
movq 0x8(%r15), %rdx
leaq 0xcc28d(%rip), %rsi     # 0x142f7d
movq %rbx, %rdi
xorl %eax, %eax
callq 0x5afab
movq %r14, %rdi
callq 0xe0b11
jmp 0x77380
leaq 0xcc25e(%rip), %rsi     # 0x142f6c
movq %rbx, %rdi
xorl %eax, %eax
callq 0x5afab
jmp 0x77422
leaq 0x1333d4(%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 0x76d7d
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x76d7d
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x76d7d
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7745a
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x76dad
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x133356(%rip), %rdi    # 0x1aa0f8
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r15, %rdi
xorl %esi, %esi
callq 0x10decb
testb %al, %al
je 0x76e10
movabsq $-0x4db4989f9014f113, %rax # imm = 0xB24B67606FEB0EED
cmpq %rax, %r14
je 0x76dec
movabsq $0x6d07f9ef5b68e8a2, %rax # imm = 0x6D07F9EF5B68E8A2
cmpq %rax, %r14
je 0x76dec
movabsq $-0x388c46b188de83fe, %rax # imm = 0xC773B94E77217C02
cmpq %rax, %r14
jne 0x77157
movq (%r13), %rdi
callq 0xe0cbc
testq %rax, %rax
je 0x77157
leaq 0xd8e5f(%rip), %rsi     # 0x14fc64
movq %rbx, %rdi
movq %rax, %rdx
jmp 0x77379
movq (%rbx), %r12
leaq 0x132c96(%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 0x76e74
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x76e74
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x76e74
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x77462
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x76ea4
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x132c17(%rip), %rdi    # 0x1a9ab0
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r15, %rdi
movq %rbx, %rsi
movl $0xa, %edx
callq 0x109065
leaq 0x13323d(%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 0x76f14
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x76f14
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x76f14
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7746a
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x76f44
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x1331bf(%rip), %rdi    # 0x1aa0f8
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r15, %rdi
xorl %esi, %esi
callq 0x10ded3
testb %al, %al
je 0x77172
leaq 0x131ec3(%rip), %r12    # 0x1a8e20
movl (%r12), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r12,%rax,8), %rcx
movq 0x18(%r12,%rax,8), %rdx
andq %r14, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x76fb8
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x76fb8
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x76fb8
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x77472
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x76fe8
movabsq $-0x5073d588c3beb52e, %rdi # imm = 0xAF8C2A773C414AD2
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x131e43(%rip), %rdi    # 0x1a8e20
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r15, %rdi
callq 0xf8694
testb %al, %al
je 0x7702e
movq %r13, %rdi
movq %r14, %rsi
callq 0x79e3a
leaq 0x38(%rsp), %rdi
movq %rax, (%rdi)
movq 0x18(%rsp), %rax
leaq 0x1(%rax), %r9
movabsq $0x6d07f9ef5b68e8a2, %rsi # imm = 0x6D07F9EF5B68E8A2
movabsq $-0x586bc610840563d3, %rdx # imm = 0xA79439EF7BFA9C2D
xorl %ecx, %ecx
movq %rbx, %r8
callq 0x767fb
movl (%r12), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r12,%rax,8), %rcx
movq 0x18(%r12,%rax,8), %rdx
andq %r14, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x77089
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x77089
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x77089
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7747a
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x770b9
movabsq $-0x5073d588c3beb52e, %rdi # imm = 0xAF8C2A773C414AD2
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x131d72(%rip), %rdi    # 0x1a8e20
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r15, %rdi
movq %r13, %rsi
callq 0xf837b
testq %rax, %rax
jle 0x7736a
movq %rax, %r12
incq 0x18(%rsp)
xorl %r13d, %r13d
leaq 0x38(%rsp), %rbp
movq %rbp, %rdi
movq 0x20(%rsp), %rsi
movq %r14, %rdx
movq %r13, %rcx
callq 0x5c1f3
movq 0x40(%rsp), %rax
testq %rax, %rax
je 0x77100
movq 0x8(%rax), %rsi
jmp 0x77102
xorl %esi, %esi
movq 0x38(%rsp), %rdi
xorl %edx, %edx
movl $0x1, %ecx
movq %rbx, %r8
movq 0x18(%rsp), %r9
callq 0x767fb
testb $0x2, 0x48(%rsp)
je 0x7713a
movq 0x48(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x38(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
incq %r13
cmpq %r13, %r12
jne 0x770dd
jmp 0x7736a
xorl %r15d, %r15d
jmp 0x768ee
xorl %r15d, %r15d
jmp 0x76b7e
movq %r14, %rdi
movq %r13, %rsi
callq 0x1150a7
movq %rbx, %rdi
movq %rax, %rsi
callq 0x7a7ad
jmp 0x77380
leaq 0x132f7f(%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 0x771d2
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x771d2
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x771d2
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x77482
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x77202
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x132f01(%rip), %rdi    # 0x1aa0f8
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x20(%r15), %r12
testq %r12, %r12
jle 0x7736a
incq 0x18(%rsp)
movl $0x8, %ebp
xorl %r13d, %r13d
leaq 0x38(%rsp), %rdi
movq 0x20(%rsp), %rsi
movq %r14, %rdx
movq %r13, %rcx
callq 0x5e069
movq 0x48(%rsp), %rax
testb $0x2, %al
jne 0x77243
orq $0x1, %rax
movq %rax, 0x48(%rsp)
leaq 0x132eae(%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 0x772a3
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x772a3
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x772a3
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x77362
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x772d3
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x132e30(%rip), %rdi    # 0x1aa0f8
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x20(%r15), %r9
cmpq %r13, %r9
ja 0x77300
leaq 0xd2fc1(%rip), %rdi     # 0x14a2a4
leaq 0xd2fd6(%rip), %rsi     # 0x14a2c0
movl $0x4e, %edx
leaq 0xd2fde(%rip), %rcx     # 0x14a2d4
movq %r13, %r8
xorl %eax, %eax
callq 0xc80f6
movq 0x30(%r15), %rax
movq (%rax,%rbp), %rdx
movq 0x38(%rsp), %rdi
movq 0x40(%rsp), %rax
testq %rax, %rax
je 0x7731d
movq 0x8(%rax), %rsi
jmp 0x7731f
xorl %esi, %esi
movl $0x1, %ecx
movq %rbx, %r8
movq 0x18(%rsp), %r9
callq 0x767fb
testb $0x2, 0x48(%rsp)
je 0x77350
movq 0x48(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x38(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
incq %r13
addq $0x38, %rbp
cmpq %r13, %r12
jne 0x7721c
jmp 0x7736a
xorl %r15d, %r15d
jmp 0x772a7
leaq 0xc1406(%rip), %rsi     # 0x138777
movq %rbx, %rdi
movq 0x68(%rsp), %rdx
xorl %eax, %eax
callq 0x5afab
movq (%rbx), %r14
leaq 0x132726(%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 %r14, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x773e0
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x773e0
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x773e0
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7743e
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x77410
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x1326ab(%rip), %rdi    # 0x1a9ab0
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
leaq 0xcbb57(%rip), %rdx     # 0x142f6e
movq %r15, %rdi
movq %rbx, %rsi
callq 0x10908b
leaq 0x28(%rsp), %rdi
callq 0xe0b11
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorl %r15d, %r15d
jmp 0x773e4
xorl %r15d, %r15d
jmp 0x7698b
xorl %r15d, %r15d
jmp 0x76c16
xorl %ebx, %ebx
jmp 0x76a56
xorl %r15d, %r15d
jmp 0x76d81
xorl %r15d, %r15d
jmp 0x76e78
xorl %r15d, %r15d
jmp 0x76f18
xorl %r15d, %r15d
jmp 0x76fbc
xorl %r15d, %r15d
jmp 0x7708d
xorl %r15d, %r15d
jmp 0x771d6