// File: /workspace/github_c_makefile_star2_O1/johsteffens[P]beth/lib/bcore/bcore_txt_ml.c
// Function: translate
static void translate( const bcore_txt_ml_translator_s* o, tp_t name, sr_s obj, sr_s sink, uz_t depth )
{
    bcore_life_s* l = bcore_life_s_create();
    sr_s sink_l = sr_cl( sr_cp( sink, TYPEOF_bcore_sink_s ), l );
    sr_s obj_l  = sr_cl( sr_cp( obj, TYPEOF_bcore_via_s ), l );
    st_s* ind = st_s_push_char_n( st_s_create_l( l ), ' ', depth * o->indent );
    st_s* buf = st_s_create_l( l );

    // shelving obj_l
    if( obj_l.o && bcore_via_r_defines_shelve( &obj_l ) )
    {
        obj_l = sr_cl( sr_clone( obj_l ), l );
        bcore_via_r_shelve( &obj_l );
    }

    bcore_sink_x_pushf( sink_l, "%s", ind->sc );
    if( name ) bcore_sink_x_pushf( sink_l, "%s:", name_of( name, buf ) );

    if( !obj_l.o ) // NULL
    {
        if( obj_l.p )
        {
            // Explicit NULL specifies that the object is not instantiated.
            // This is to differentiate from the case where the object was instantiated
            // without additional parameters.
            bcore_sink_x_pushf( sink_l, "<%s>NULL</>\n", name_of( sr_s_type( &obj_l ), buf ) );
        }
        else
        {
            bcore_sink_x_pushf( sink_l, "<></>\n" );
        }
    }
    else
    {
        bcore_sink_x_pushf( sink_l, "<%s>", name_of( sr_s_type( &obj_l ), buf ) );
        if( sr_s_type( &obj_l ) == TYPEOF_st_s ) // strings
        {
            st_s* string = st_s_clone( ( const st_s* )obj_l.o );
            st_s_replace_char_sc( string, '\"', "\\\"" );
            bcore_sink_x_pushf( sink_l, "\"%s\"", string->sc );
            st_s_discard( string );
        }
        else if( bcore_via_x_is_leaf( obj_l ) )
        {
            bcore_sink_x_push_string_d( sink_l, st_s_create_typed( sr_s_type( &obj_l ), obj_l.o ) );
        }
        else
        {
            bcore_sink_x_push_char( sink_l, '\n' );
            if( bcore_via_x_is_pure_array( obj_l ) )
            {
                sr_s arr_l = sr_cp( obj_l, TYPEOF_bcore_array_s );
                if( bcore_array_x_is_mutable_mono_typed( arr_l ) )
                {
                    translate( o, TYPEOF_type, sr_tp( bcore_array_x_get_mono_type( arr_l ) ), sink_l, depth + 1 );
                }
                uz_t size = bcore_array_x_get_size( arr_l );
                for( uz_t i = 0; i < size; i++ )
                {
                    translate( o, 0, bcore_array_x_get( arr_l, i ), sink_l, depth + 1 );
                }
            }
            else
            {
                uz_t size = bcore_via_p_get_size( obj_l.p, NULL );
                for( uz_t i = 0; i < size; i++ )
                {
                    translate( o, bcore_via_x_iget_name( obj_l, i ), bcore_via_x_iget( obj_l, i ), sink_l, depth + 1 );
                }
            }
            bcore_sink_x_pushf( sink_l, "%s", ind->sc );
        }
        bcore_sink_x_push_sc( sink_l, "</>\n" );
    }

    bcore_life_s_discard( l );
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x158, %rsp            # imm = 0x158
movq %rdx, %r13
movq %rsi, 0x90(%rsp)
movq %rdi, %r14
movabsq $0x5ea8cabb93ff3b7e, %r12 # imm = 0x5EA8CABB93FF3B7E
xorl %eax, %eax
callq 0xe03d4
movq %rax, %rbp
movq 0x1a8(%rsp), %rbx
movq 0x1b0(%rsp), %rdi
movq 0x1b8(%rsp), %r15
movq %r12, %rsi
callq 0xf58f8
movq %rbx, 0xe0(%rsp)
movq %rax, 0xe8(%rsp)
movq %r15, 0xf0(%rsp)
movq %r15, 0x10(%rsp)
movups 0xe0(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x70(%rsp), %rdi
movq %rbp, %rsi
callq 0x1126d7
movq 0x190(%rsp), %rbx
movq 0x198(%rsp), %rdi
movq 0x1a0(%rsp), %r15
movabsq $0x541d0401d4dcff33, %rsi # imm = 0x541D0401D4DCFF33
callq 0xf58f8
movq %rbx, 0xc8(%rsp)
movq %rax, 0xd0(%rsp)
movq %r15, 0xd8(%rsp)
movq %r15, 0x10(%rsp)
movups 0xc8(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x50(%rsp), %rbx
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1126d7
movq %rbp, %rdi
callq 0x114f1d
movq %r14, 0x98(%rsp)
movq 0x8(%r14), %rdx
movq %r13, 0x88(%rsp)
imulq %r13, %rdx
movq %rax, %rdi
movl $0x20, %esi
callq 0x115408
movq %rax, %r15
movq %rbp, %rdi
callq 0x114f1d
movq %rax, %r13
cmpq $0x0, (%rbx)
je 0x122d3e
movq 0x58(%rsp), %r12
movq 0x8(%r12), %rbx
movabsq $0x541d0401d4dcff33, %rax # imm = 0x541D0401D4DCFF33
cmpq %rax, %rbx
je 0x122c1a
leaq 0x87568(%rip), %rax     # 0x1aa0f8
movl (%rax), %ecx
movslq %ecx, %rcx
leaq (%rcx,%rcx,2), %rcx
movq 0x20(%rax,%rcx,8), %rdx
movq 0x18(%rax,%rcx,8), %rcx
andq %rbx, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %rbx, %rdx
je 0x122bea
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x122bea
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x122bea
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x1239c5
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x122c1a
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x874e9(%rip), %rdi     # 0x1aa0f8
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x50(%rsp), %rsi
movq %r12, %rdi
callq 0x10e308
testb %al, %al
je 0x122d3e
movq 0x60(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x50(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x140(%rsp), %rbx
movq %rbx, %rdi
callq 0x11248a
movq 0x10(%rbx), %rax
movq %rax, 0x10(%rsp)
movups (%rbx), %xmm0
movups %xmm0, (%rsp)
leaq 0x30(%rsp), %rbx
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1126d7
movq 0x10(%rbx), %rax
movq %rax, 0x60(%rsp)
movups (%rbx), %xmm0
movaps %xmm0, 0x50(%rsp)
movq 0x58(%rsp), %r12
movq 0x8(%r12), %rbx
movabsq $0x541d0401d4dcff33, %rax # imm = 0x541D0401D4DCFF33
cmpq %rax, %rbx
je 0x122d31
leaq 0x87451(%rip), %rax     # 0x1aa0f8
movl (%rax), %ecx
movslq %ecx, %rcx
leaq (%rcx,%rcx,2), %rcx
movq 0x20(%rax,%rcx,8), %rdx
movq 0x18(%rax,%rcx,8), %rcx
andq %rbx, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %rbx, %rdx
je 0x122d01
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x122d01
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x122d01
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x1239da
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x122d31
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x873d2(%rip), %rdi     # 0x1aa0f8
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x50(%rsp), %rsi
movq %r12, %rdi
callq 0x10e2f5
movq 0x8(%r15), %rsi
movq 0x80(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x21d48(%rip), %rdi     # 0x144aa7
xorl %eax, %eax
callq 0x1093c8
movq 0x90(%rsp), %rdi
testq %rdi, %rdi
je 0x122da2
movq %r13, %rsi
callq 0x1276d0
movq 0x80(%rsp), %rcx
movq %rcx, 0x10(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x362eb(%rip), %rdi     # 0x159083
movq %rax, %rsi
xorl %eax, %eax
callq 0x1093c8
cmpq $0x0, 0x50(%rsp)
movq 0x58(%rsp), %rax
je 0x122dba
testq %rax, %rax
je 0x122dfb
movq 0x8(%rax), %rdi
jmp 0x122dfd
testq %rax, %rax
je 0x1234cd
movq 0x8(%rax), %rdi
movq %r13, %rsi
callq 0x1276d0
movq 0x80(%rsp), %rcx
movq %rcx, 0x10(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x3629b(%rip), %rdi     # 0x159087
movq %rax, %rsi
xorl %eax, %eax
callq 0x1093c8
jmp 0x1239ab
xorl %edi, %edi
movq %r13, %rsi
callq 0x1276d0
movq 0x80(%rsp), %rcx
movq %rcx, 0x10(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x36272(%rip), %rdi     # 0x159094
movq %rax, %rsi
xorl %eax, %eax
callq 0x1093c8
movq 0x58(%rsp), %rax
testq %rax, %rax
je 0x122e9c
movabsq $-0x503db0e6e1c2e704, %rcx # imm = 0xAFC24F191E3D18FC
cmpq %rcx, 0x8(%rax)
jne 0x122e9c
movq 0x50(%rsp), %rdi
callq 0x115213
movq %rax, %rbx
leaq 0x15ff5(%rip), %rdx     # 0x138e4f
movq %rax, %rdi
movl $0x22, %esi
callq 0x116181
movq 0x8(%rbx), %rsi
movq 0x80(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x36211(%rip), %rdi     # 0x159099
xorl %eax, %eax
callq 0x1093c8
movq %rbx, %rdi
callq 0x114f61
jmp 0x1237c9
movaps 0x50(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0x60(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x38(%rsp), %r14
movq 0x8(%r14), %rbx
movabsq $0x541d0401d4dcff33, %rax # imm = 0x541D0401D4DCFF33
cmpq %rax, %rbx
je 0x122f5d
leaq 0x87225(%rip), %rax     # 0x1aa0f8
movl (%rax), %ecx
movslq %ecx, %rcx
leaq (%rcx,%rcx,2), %rcx
movq 0x20(%rax,%rcx,8), %rdx
movq 0x18(%rax,%rcx,8), %rcx
andq %rbx, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %rbx, %rdx
je 0x122f2d
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x122f2d
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x122f2d
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x1239d2
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x122f5d
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x871a6(%rip), %rdi     # 0x1aa0f8
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x30(%rsp), %rsi
movq %r14, %rdi
callq 0x10decb
movl %eax, %ebx
testb $0x2, 0x40(%rsp)
movabsq $0x5ea8cabb93ff3b7e, %r12 # imm = 0x5EA8CABB93FF3B7E
je 0x122f95
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
testb %bl, %bl
je 0x122fb0
movq 0x58(%rsp), %rax
testq %rax, %rax
je 0x1237d8
movq 0x8(%rax), %rdi
jmp 0x1237da
movups 0x70(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0x80(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x38(%rsp), %r14
movq 0x8(%r14), %rbx
cmpq %r12, %rbx
je 0x123063
leaq 0x86ad0(%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 %rbx, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %rbx, %rdx
je 0x12303a
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x12303a
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x12303a
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x1239e2
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x123063
movq %r12, %rdi
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x86a58(%rip), %rdi     # 0x1a9ab0
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x30(%rsp), %rsi
movq %r14, %rdi
movl $0xa, %edx
callq 0x109065
testb $0x2, 0x40(%rsp)
je 0x123094
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
movaps 0x50(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0x60(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x38(%rsp), %r14
movq 0x8(%r14), %rbx
movabsq $0x541d0401d4dcff33, %rax # imm = 0x541D0401D4DCFF33
cmpq %rax, %rbx
je 0x123155
leaq 0x8702d(%rip), %rax     # 0x1aa0f8
movl (%rax), %ecx
movslq %ecx, %rcx
leaq (%rcx,%rcx,2), %rcx
movq 0x20(%rax,%rcx,8), %rdx
movq 0x18(%rax,%rcx,8), %rcx
andq %rbx, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %rbx, %rdx
je 0x123125
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x123125
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x123125
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x1239ea
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x123155
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x86fae(%rip), %rdi     # 0x1aa0f8
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r15, 0xb8(%rsp)
movq %rbp, 0xc0(%rsp)
movq 0x30(%rsp), %rsi
movq %r14, %rdi
callq 0x10ded3
movl %eax, %ebx
testb $0x2, 0x40(%rsp)
je 0x123193
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
testb %bl, %bl
je 0x1234f6
movabsq $-0x5073d588c3beb52e, %rsi # imm = 0xAF8C2A773C414AD2
movq 0x50(%rsp), %rbx
movq 0x58(%rsp), %rdi
movq 0x60(%rsp), %r14
callq 0xf58f8
movq %rbx, 0xa0(%rsp)
movq %rax, 0xa8(%rsp)
movq %r14, 0xb0(%rsp)
movq %r14, 0x10(%rsp)
movups 0xa0(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0xfa9d3
testb %al, %al
je 0x123266
movq 0xb0(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0xa0(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0xfab51
leaq 0x128(%rsp), %rbx
movq %rbx, %rdi
movq %rax, %rsi
callq 0x112ab8
movq 0x88(%rsp), %rax
leaq 0x1(%rax), %rdx
movq 0x80(%rsp), %rax
movq %rax, 0x28(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x10(%rbx), %rax
movq %rax, 0x10(%rsp)
movups (%rbx), %xmm0
movups %xmm0, (%rsp)
movabsq $-0x586bc610840563d3, %rsi # imm = 0xA79439EF7BFA9C2D
movq 0x98(%rsp), %rdi
callq 0x122a3e
movups 0xa0(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0xb0(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x38(%rsp), %r14
movq 0x8(%r14), %rbx
movabsq $-0x5073d588c3beb52e, %rax # imm = 0xAF8C2A773C414AD2
cmpq %rax, %rbx
je 0x12332d
leaq 0x85b7d(%rip), %rax     # 0x1a8e20
movl (%rax), %ecx
movslq %ecx, %rcx
leaq (%rcx,%rcx,2), %rcx
movq 0x20(%rax,%rcx,8), %rdx
movq 0x18(%rax,%rcx,8), %rcx
andq %rbx, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %rbx, %rdx
je 0x1232fd
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x1232fd
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x1232fd
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x1239fa
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x12332d
movabsq $-0x5073d588c3beb52e, %rdi # imm = 0xAF8C2A773C414AD2
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x85afe(%rip), %rdi     # 0x1a8e20
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x30(%rsp), %rsi
movq %r14, %rdi
callq 0xf837b
movq %rax, %rbx
testb $0x2, 0x40(%rsp)
je 0x12335c
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
testq %rbx, %rbx
je 0x123791
incq 0x88(%rsp)
xorl %r13d, %r13d
leaq 0x110(%rsp), %rbp
leaq 0x85aa1(%rip), %r14     # 0x1a8e20
movups 0xa0(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0xb0(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x38(%rsp), %r15
movq 0x8(%r15), %r12
movabsq $-0x5073d588c3beb52e, %rax # imm = 0xAF8C2A773C414AD2
cmpq %rax, %r12
je 0x12343b
movl (%r14), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r14,%rax,8), %rcx
movq 0x18(%r14,%rax,8), %rdx
andq %r12, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r12, %rdx
je 0x12340f
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x12340f
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x12340f
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x1234c5
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x12343b
movabsq $-0x5073d588c3beb52e, %rdi # imm = 0xAF8C2A773C414AD2
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r15
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x30(%rsp), %rdx
movq %rbp, %rdi
movq %r15, %rsi
movq %r13, %rcx
callq 0xf83a3
testb $0x2, 0x40(%rsp)
je 0x12346d
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
movq 0x80(%rsp), %rax
movq %rax, 0x28(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x120(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x110(%rsp), %xmm0
movups %xmm0, (%rsp)
movq 0x98(%rsp), %rdi
xorl %esi, %esi
movq 0x88(%rsp), %rdx
callq 0x122a3e
incq %r13
cmpq %r13, %rbx
jne 0x12337f
jmp 0x123791
xorl %r15d, %r15d
jmp 0x123413
movq 0x80(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x1fa82(%rip), %rdi     # 0x142f6c
xorl %eax, %eax
callq 0x1093c8
jmp 0x1239ab
movq 0x58(%rsp), %rax
movq 0x20(%rax), %rax
movq %rax, 0x90(%rsp)
testq %rax, %rax
je 0x123791
incq 0x88(%rsp)
movl $0x8, %ebp
leaq 0x86bd4(%rip), %r13     # 0x1aa0f8
xorl %ebx, %ebx
movaps 0x50(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0x60(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x38(%rsp), %r12
movq 0x8(%r12), %r14
movabsq $0x541d0401d4dcff33, %rax # imm = 0x541D0401D4DCFF33
cmpq %rax, %r14
je 0x1235de
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 0x1235b2
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x1235b2
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x1235b2
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x123781
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x1235de
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r12
movq %r13, %rdi
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x20(%r12), %r9
cmpq %rbx, %r9
ja 0x12360c
leaq 0x26cb5(%rip), %rdi     # 0x14a2a4
leaq 0x26cca(%rip), %rsi     # 0x14a2c0
movl $0x4e, %edx
leaq 0x26cd2(%rip), %rcx     # 0x14a2d4
movq %rbx, %r8
xorl %eax, %eax
callq 0xc80f6
movq 0x30(%r12), %rax
movq (%rax,%rbp), %r14
testb $0x2, 0x40(%rsp)
je 0x123634
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
movaps 0x50(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0x60(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x38(%rsp), %r15
movq 0x8(%r15), %r12
movabsq $0x541d0401d4dcff33, %rax # imm = 0x541D0401D4DCFF33
cmpq %rax, %r12
je 0x1236eb
movl (%r13), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r13,%rax,8), %rcx
movq 0x18(%r13,%rax,8), %rdx
andq %r12, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r12, %rdx
je 0x1236bf
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x1236bf
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x1236bf
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x123789
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x1236eb
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r15
movq %r13, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x30(%rsp), %rdx
leaq 0xf8(%rsp), %rdi
movq %r15, %rsi
movq %rbx, %rcx
callq 0x10ca2c
testb $0x2, 0x40(%rsp)
je 0x123722
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
movq 0x80(%rsp), %rax
movq %rax, 0x28(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x108(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0xf8(%rsp), %xmm0
movups %xmm0, (%rsp)
movq 0x98(%rsp), %rdi
movq %r14, %rsi
movq 0x88(%rsp), %rdx
callq 0x122a3e
incq %rbx
addq $0x38, %rbp
cmpq %rbx, 0x90(%rsp)
jne 0x123526
jmp 0x123791
xorl %r12d, %r12d
jmp 0x1235b6
xorl %r15d, %r15d
jmp 0x1236c3
movq 0xb8(%rsp), %rax
movq 0x8(%rax), %rsi
movq 0x80(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x212ed(%rip), %rdi     # 0x144aa7
xorl %eax, %eax
callq 0x1093c8
movq 0xc0(%rsp), %rbp
movabsq $0x5ea8cabb93ff3b7e, %r12 # imm = 0x5EA8CABB93FF3B7E
jmp 0x1238c9
xorl %edi, %edi
movq 0x50(%rsp), %rsi
callq 0x1150a7
movq %rax, %rbx
movups 0x70(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0x80(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x38(%rsp), %r15
movq 0x8(%r15), %r14
cmpq %r12, %r14
je 0x12389a
leaq 0x86299(%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 0x123871
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x123871
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x123871
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x1239f2
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x12389a
movq %r12, %rdi
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x86221(%rip), %rdi     # 0x1a9ab0
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x30(%rsp), %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x1090f0
testb $0x2, 0x40(%rsp)
je 0x1238c9
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
movups 0x70(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0x80(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x38(%rsp), %r14
movq 0x8(%r14), %rbx
cmpq %r12, %rbx
je 0x123978
leaq 0x861b7(%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 %rbx, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %rbx, %rdx
je 0x12394f
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x12394f
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x12394f
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x1239cd
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x123978
movq %r12, %rdi
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x86143(%rip), %rdi     # 0x1a9ab0
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x30(%rsp), %rsi
leaq 0x1f5ea(%rip), %rdx     # 0x142f6e
movq %r14, %rdi
callq 0x10908b
testb $0x2, 0x40(%rsp)
je 0x1239ab
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
movq %rbp, %rdi
callq 0xe0403
addq $0x158, %rsp            # imm = 0x158
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorl %r12d, %r12d
jmp 0x122bee
xorl %r14d, %r14d
jmp 0x123953
xorl %r14d, %r14d
jmp 0x122f31
xorl %r12d, %r12d
jmp 0x122d05
xorl %r14d, %r14d
jmp 0x12303e
xorl %r14d, %r14d
jmp 0x123129
xorl %r15d, %r15d
jmp 0x123875
xorl %r14d, %r14d
jmp 0x123301