// File: /workspace/github_c_makefile_star2_O1/johsteffens[P]beth/lib/bcore/bcore_bin_ml.c
// Function: translate
static void translate( const bcore_bin_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 );

    if( name ) push_type( sink_l, name );

    // 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 );
    }

    if( !obj_l.o ) // NULL
    {
        if( obj_l.p )
        {
            push_type( sink_l, sr_s_type( &obj_l ) );
            push_flag( &sink_l, false );
            // 'false' specifies that the object is not instantiated.
            // This is to differentiate from the case where the object was instantiated
            // without additional parameters.
        }
        else
        {
            push_type( sink_l, 0 );
        }
    }
    else
    {
        push_type( sink_l, sr_s_type( &obj_l ) );
        push_flag( &sink_l, true ); // true signals that the object is to be instantiated

        if( sr_s_type( &obj_l ) == TYPEOF_st_s ) // strings
        {
            const st_s* string = obj_l.o;
            bcore_sink_x_push_data( sink_l, string->data, string->size + 1 ); // push string including terminating 0
        }
        else if( bcore_via_x_is_leaf( obj_l ) )
        {
            switch( sr_s_type( &obj_l ) )
            {
                case TYPEOF_aware_t : bcore_sink_x_push_data( sink_l, obj_l.o, sizeof( aware_t ) ); break;
                case TYPEOF_bl_t    : bcore_sink_x_push_data( sink_l, obj_l.o, sizeof( bl_t ) ); break;
                case TYPEOF_f2_t    : bcore_sink_x_push_data( sink_l, obj_l.o, sizeof( f2_t ) ); break;
                case TYPEOF_f3_t    : bcore_sink_x_push_data( sink_l, obj_l.o, sizeof( f3_t ) ); break;
                case TYPEOF_s0_t    : bcore_sink_x_push_data( sink_l, obj_l.o, sizeof( s0_t ) ); break;
                case TYPEOF_s1_t    : bcore_sink_x_push_data( sink_l, obj_l.o, sizeof( s1_t ) ); break;
                case TYPEOF_s2_t    : bcore_sink_x_push_data( sink_l, obj_l.o, sizeof( s2_t ) ); break;
                case TYPEOF_s3_t    : bcore_sink_x_push_data( sink_l, obj_l.o, sizeof( s3_t ) ); break;
                case TYPEOF_sc_t    : bcore_sink_x_push_data( sink_l, obj_l.o, bcore_strlen( obj_l.o ) ); break;
                case TYPEOF_sd_t    : bcore_sink_x_push_data( sink_l, obj_l.o, bcore_strlen( obj_l.o ) ); break;
                case TYPEOF_sz_t    : bcore_sink_x_push_data( sink_l, obj_l.o, sizeof( sz_t ) ); break;
                case TYPEOF_uz_t    : bcore_sink_x_push_data( sink_l, obj_l.o, sizeof( uz_t ) ); break;
                case TYPEOF_tp_t    : bcore_sink_x_push_data( sink_l, obj_l.o, sizeof( tp_t ) ); break;
                case TYPEOF_u0_t    : bcore_sink_x_push_data( sink_l, obj_l.o, sizeof( u0_t ) ); break;
                case TYPEOF_u1_t    : bcore_sink_x_push_data( sink_l, obj_l.o, sizeof( u1_t ) ); break;
                case TYPEOF_u2_t    : bcore_sink_x_push_data( sink_l, obj_l.o, sizeof( u2_t ) ); break;
                case TYPEOF_u3_t    : bcore_sink_x_push_data( sink_l, obj_l.o, sizeof( u3_t ) ); break;
                default: ERR( "Cannot convert type '%s' into a binary stream", ifnameof( sr_s_type( &obj_l ) ) );
            }
        }
        else
        {
            if( bcore_via_x_is_pure_array( obj_l ) )
            {
                sr_s arr_l = sr_cp( obj_l, TYPEOF_bcore_array_s );
                uz_t size = bcore_array_x_get_size( arr_l );
                bcore_sink_x_push_data( sink_l, &size, sizeof( uz_t ) );

                if( bcore_array_x_is_mutable_mono_typed( arr_l ) ) translate( o, 0, sr_tp( bcore_array_x_get_mono_type( arr_l ) ), sink_l, depth + 1 );

                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 );
                bcore_sink_x_push_data( sink_l, &size, sizeof( uz_t ) );
                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_life_s_discard( l );
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x138, %rsp            # imm = 0x138
movq %rsi, 0x90(%rsp)
movq %rdi, %rbx
movabsq $0x5ea8cabb93ff3b7e, %r15 # imm = 0x5EA8CABB93FF3B7E
movabsq $0x541d0401d4dcff33, %r13 # imm = 0x541D0401D4DCFF33
xorl %eax, %eax
callq 0xe03d4
movq %rax, %rbp
movq 0x188(%rsp), %r14
movq 0x190(%rsp), %rdi
movq 0x198(%rsp), %r12
movq %r15, %rsi
callq 0xf58f8
movq %r14, 0xc0(%rsp)
movq %rax, 0xc8(%rsp)
movq %r12, 0xd0(%rsp)
movq %r12, 0x10(%rsp)
movups 0xc0(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x48(%rsp), %rdi
movq %rbp, %rsi
callq 0x1126d7
movq 0x170(%rsp), %r14
movq 0x178(%rsp), %rdi
movq 0x180(%rsp), %r12
movq %r13, %rsi
callq 0xf58f8
movq %r14, 0xa8(%rsp)
movq %rax, 0xb0(%rsp)
movq %r12, 0xb8(%rsp)
movq %r12, 0x10(%rsp)
movups 0xa8(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x60(%rsp), %rdi
movq %rbp, %rsi
callq 0x1126d7
testq %rbx, %rbx
je 0x128838
movups 0x48(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0x58(%rsp), %rax
movq %rax, 0x40(%rsp)
movq %rbx, 0x78(%rsp)
movq 0x38(%rsp), %r14
movq 0x8(%r14), %rbx
cmpq %r15, %rbx
je 0x1287ed
leaq 0x81346(%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 0x1287c4
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x1287c4
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x1287c4
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x129c01
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x1287ed
movq %r15, %rdi
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x812ce(%rip), %rdi     # 0x1a9ab0
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x30(%rsp), %rbx
cmpq $0x0, 0x10(%r14)
jne 0x128808
leaq 0x1cabe(%rip), %rsi     # 0x1452be
movq %r14, %rdi
callq 0xf592c
leaq 0x78(%rsp), %rsi
movl $0x8, %edx
movq %rbx, %rdi
callq *0x10(%r14)
testb $0x2, 0x40(%rsp)
je 0x128838
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
cmpq $0x0, 0x60(%rsp)
je 0x128a14
movq 0x68(%rsp), %r14
movq 0x8(%r14), %rbx
movabsq $0x541d0401d4dcff33, %rax # imm = 0x541D0401D4DCFF33
cmpq %rax, %rbx
je 0x1288f1
leaq 0x81891(%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 0x1288c1
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x1288c1
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x1288c1
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x129c09
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x1288f1
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x81812(%rip), %rdi     # 0x1aa0f8
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x60(%rsp), %rsi
movq %r14, %rdi
callq 0x10e308
testb %al, %al
je 0x128a14
movq 0x70(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x60(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x120(%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, 0x70(%rsp)
movups (%rbx), %xmm0
movaps %xmm0, 0x60(%rsp)
movq 0x68(%rsp), %r14
movq 0x8(%r14), %rbx
movabsq $0x541d0401d4dcff33, %rax # imm = 0x541D0401D4DCFF33
cmpq %rax, %rbx
je 0x128a07
leaq 0x8177b(%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 0x1289d7
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x1289d7
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x1289d7
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x129c34
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x128a07
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x816fc(%rip), %rdi     # 0x1aa0f8
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x60(%rsp), %rsi
movq %r14, %rdi
callq 0x10e2f5
cmpq $0x0, 0x60(%rsp)
movq 0x68(%rsp), %rax
je 0x128a33
testq %rax, %rax
je 0x128c12
movq 0x8(%rax), %rax
jmp 0x128c14
testq %rax, %rax
je 0x1294fd
movq 0x8(%rax), %rax
movups 0x48(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0x58(%rsp), %rcx
movq %rcx, 0x40(%rsp)
movq %rax, 0x78(%rsp)
movq 0x38(%rsp), %r14
movq 0x8(%r14), %rbx
cmpq %r15, %rbx
je 0x128af5
leaq 0x8103e(%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 0x128acc
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x128acc
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x128acc
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x129c3c
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x128af5
movq %r15, %rdi
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x80fc6(%rip), %rdi     # 0x1a9ab0
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x30(%rsp), %rbx
cmpq $0x0, 0x10(%r14)
jne 0x128b10
leaq 0x1c7b6(%rip), %rsi     # 0x1452be
movq %r14, %rdi
callq 0xf592c
leaq 0x78(%rsp), %rsi
movl $0x8, %edx
movq %rbx, %rdi
callq *0x10(%r14)
testb $0x2, 0x40(%rsp)
je 0x128b40
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
movb $0x0, 0x30(%rsp)
movq 0x50(%rsp), %r14
movq 0x8(%r14), %rbx
cmpq %r15, %rbx
je 0x128be1
leaq 0x80f52(%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 0x128bb8
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x128bb8
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x128bb8
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x129c44
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x128be1
movq %r15, %rdi
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x80eda(%rip), %rdi     # 0x1a9ab0
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x48(%rsp), %rbx
cmpq $0x0, 0x10(%r14)
jne 0x128bfc
leaq 0x1c6ca(%rip), %rsi     # 0x1452be
movq %r14, %rdi
callq 0xf592c
leaq 0x30(%rsp), %rsi
movl $0x1, %edx
movq %rbx, %rdi
callq *0x10(%r14)
jmp 0x129be7
xorl %eax, %eax
movups 0x48(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0x58(%rsp), %rcx
movq %rcx, 0x40(%rsp)
movq %rax, 0x78(%rsp)
movq 0x38(%rsp), %r14
movq 0x8(%r14), %rbx
cmpq %r15, %rbx
je 0x128cc9
leaq 0x80e6a(%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 0x128ca0
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x128ca0
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x128ca0
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x129c11
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x128cc9
movq %r15, %rdi
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x80df2(%rip), %rdi     # 0x1a9ab0
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x30(%rsp), %rbx
cmpq $0x0, 0x10(%r14)
jne 0x128ce4
leaq 0x1c5e2(%rip), %rsi     # 0x1452be
movq %r14, %rdi
callq 0xf592c
leaq 0x78(%rsp), %rsi
movl $0x8, %edx
movq %rbx, %rdi
callq *0x10(%r14)
testb $0x2, 0x40(%rsp)
je 0x128d14
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
movb $0x1, 0x30(%rsp)
movq 0x50(%rsp), %r14
movq 0x8(%r14), %rbx
cmpq %r15, %rbx
je 0x128db5
leaq 0x80d7e(%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 0x128d8c
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x128d8c
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x128d8c
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x129c19
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x128db5
movq %r15, %rdi
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x80d06(%rip), %rdi     # 0x1a9ab0
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x48(%rsp), %rbx
cmpq $0x0, 0x10(%r14)
jne 0x128dd0
leaq 0x1c4f6(%rip), %rsi     # 0x1452be
movq %r14, %rdi
callq 0xf592c
leaq 0x30(%rsp), %rsi
movl $0x1, %edx
movq %rbx, %rdi
callq *0x10(%r14)
movq 0x68(%rsp), %rax
testq %rax, %rax
je 0x128ef0
movabsq $-0x503db0e6e1c2e704, %rcx # imm = 0xAFC24F191E3D18FC
cmpq %rcx, 0x8(%rax)
jne 0x128ef0
movq 0x60(%rsp), %rax
movq 0x8(%rax), %rbx
movq 0x10(%rax), %r14
movups 0x48(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0x58(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x38(%rsp), %r13
movq 0x8(%r13), %r12
cmpq %r15, %r12
je 0x128ec0
leaq 0x80c73(%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 0x128e97
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x128e97
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x128e97
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x129c54
movq (%rax,%rcx), %r13
testq %r13, %r13
jne 0x128ec0
movq %r15, %rdi
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r13
leaq 0x80bfb(%rip), %rdi     # 0x1a9ab0
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
incq %r14
movq 0x30(%rsp), %r15
cmpq $0x0, 0x10(%r13)
jne 0x128ede
leaq 0x1c3e8(%rip), %rsi     # 0x1452be
movq %r13, %rdi
callq 0xf592c
movq %r15, %rdi
movq %rbx, %rsi
movq %r14, %rdx
callq *0x10(%r13)
jmp 0x1295e2
movaps 0x60(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0x70(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x38(%rsp), %r14
movq 0x8(%r14), %rbx
movabsq $0x541d0401d4dcff33, %rax # imm = 0x541D0401D4DCFF33
cmpq %rax, %rbx
je 0x128fb1
leaq 0x811d1(%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 0x128f81
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x128f81
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x128f81
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x129c21
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x128fb1
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x81152(%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)
je 0x128fdf
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
testb %bl, %bl
je 0x128ffa
movq 0x68(%rsp), %rax
testq %rax, %rax
je 0x12999e
movq 0x8(%rax), %rcx
jmp 0x1299a0
movaps 0x60(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0x70(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x38(%rsp), %r14
movq 0x8(%r14), %rbx
movabsq $0x541d0401d4dcff33, %rax # imm = 0x541D0401D4DCFF33
cmpq %rax, %rbx
je 0x1290bb
leaq 0x810c7(%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 0x12908b
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x12908b
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x12908b
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x129c4c
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x1290bb
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x81048(%rip), %rdi     # 0x1aa0f8
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x30(%rsp), %rsi
movq %r14, %rdi
callq 0x10ded3
movl %eax, %ebx
testb $0x2, 0x40(%rsp)
je 0x1290e9
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
testb %bl, %bl
movq %rbp, 0xa0(%rsp)
je 0x12960a
movabsq $-0x5073d588c3beb52e, %r12 # imm = 0xAF8C2A773C414AD2
movq 0x60(%rsp), %rbx
movq 0x68(%rsp), %rdi
movq 0x70(%rsp), %r14
movq %r12, %rsi
callq 0xf58f8
movq %rbx, 0x78(%rsp)
movq %rax, 0x80(%rsp)
movq %r14, 0x88(%rsp)
movq 0x78(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x80(%rsp), %rax
movq %rax, 0x38(%rsp)
movq %r14, 0x40(%rsp)
movq 0x38(%rsp), %r14
movq 0x8(%r14), %rbx
cmpq %r12, %rbx
je 0x1291e7
leaq 0x7fcbc(%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 0x1291be
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x1291be
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x1291be
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x129c9f
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x1291e7
movq %r12, %rdi
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x7fc44(%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 0x129216
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
movq %rbx, 0x98(%rsp)
movups 0x48(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0x58(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x38(%rsp), %r14
movq 0x8(%r14), %rbx
cmpq %r15, %rbx
je 0x1292ce
leaq 0x80865(%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 0x1292a5
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x1292a5
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x1292a5
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x129ca7
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x1292ce
movq %r15, %rdi
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x807ed(%rip), %rdi     # 0x1a9ab0
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x30(%rsp), %rbx
cmpq $0x0, 0x10(%r14)
jne 0x1292e9
leaq 0x1bfdd(%rip), %rsi     # 0x1452be
movq %r14, %rdi
callq 0xf592c
leaq 0x98(%rsp), %rsi
movl $0x8, %edx
movq %rbx, %rdi
callq *0x10(%r14)
testb $0x2, 0x40(%rsp)
je 0x12931c
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
movq 0x88(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x78(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0xfa9d3
testb %al, %al
je 0x1293a0
movq 0x88(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x78(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0xfab51
leaq 0x108(%rsp), %rbx
movq %rbx, %rdi
movq %rax, %rsi
callq 0x112ab8
movq 0x90(%rsp), %rax
leaq 0x1(%rax), %rsi
movq 0x58(%rsp), %rax
movq %rax, 0x28(%rsp)
movups 0x48(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x10(%rbx), %rax
movq %rax, 0x10(%rsp)
movups (%rbx), %xmm0
movups %xmm0, (%rsp)
xorl %edi, %edi
callq 0x128649
cmpq $0x0, 0x98(%rsp)
je 0x129991
incq 0x90(%rsp)
xorl %ebx, %ebx
leaq 0xf0(%rsp), %r15
leaq 0x7fa58(%rip), %r13     # 0x1a8e20
movups 0x78(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0x88(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x38(%rsp), %r14
movq 0x8(%r14), %rbp
cmpq %r12, %rbp
je 0x129471
movl (%r13), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r13,%rax,8), %rcx
movq 0x18(%r13,%rax,8), %rdx
andq %rbp, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %rbp, %rdx
je 0x12944c
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbp, %rdx
je 0x12944c
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbp, %rdx
je 0x12944c
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbp, %rdx
jne 0x1294f5
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x129471
movq %r12, %rdi
movq %rbp, %rsi
callq 0xf3f85
movq %rax, %r14
movq %r13, %rdi
movq %rbp, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x30(%rsp), %rdx
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rcx
callq 0xf83a3
testb $0x2, 0x40(%rsp)
je 0x1294a3
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
movq 0x58(%rsp), %rax
movq %rax, 0x28(%rsp)
movups 0x48(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x100(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0xf0(%rsp), %xmm0
movups %xmm0, (%rsp)
xorl %edi, %edi
movq 0x90(%rsp), %rsi
callq 0x128649
incq %rbx
cmpq 0x98(%rsp), %rbx
jb 0x1293c8
jmp 0x129991
xorl %r14d, %r14d
jmp 0x129450
movups 0x48(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0x58(%rsp), %rax
movq %rax, 0x40(%rsp)
movq $0x0, 0x78(%rsp)
movq 0x38(%rsp), %r14
movq 0x8(%r14), %rbx
cmpq %r15, %rbx
je 0x1295b6
leaq 0x8057d(%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 0x12958d
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x12958d
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x12958d
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x129c97
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x1295b6
movq %r15, %rdi
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x80505(%rip), %rdi     # 0x1a9ab0
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x30(%rsp), %rbx
cmpq $0x0, 0x10(%r14)
jne 0x1295d1
leaq 0x1bcf5(%rip), %rsi     # 0x1452be
movq %r14, %rdi
callq 0xf592c
leaq 0x78(%rsp), %rsi
movl $0x8, %edx
movq %rbx, %rdi
callq *0x10(%r14)
testb $0x2, 0x40(%rsp)
je 0x129be7
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
jmp 0x129be7
movq 0x68(%rsp), %rax
movq 0x20(%rax), %rax
movq %rax, 0x78(%rsp)
movups 0x48(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0x58(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x38(%rsp), %r14
movq 0x8(%r14), %rbx
cmpq %r15, %rbx
je 0x1296c8
leaq 0x8046b(%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 0x12969f
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x12969f
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x12969f
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x129caf
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x1296c8
movq %r15, %rdi
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x803f3(%rip), %rdi     # 0x1a9ab0
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x30(%rsp), %rbx
cmpq $0x0, 0x10(%r14)
jne 0x1296e3
leaq 0x1bbe3(%rip), %rsi     # 0x1452be
movq %r14, %rdi
callq 0xf592c
leaq 0x78(%rsp), %rsi
movl $0x8, %edx
movq %rbx, %rdi
callq *0x10(%r14)
testb $0x2, 0x40(%rsp)
je 0x129713
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
cmpq $0x0, 0x78(%rsp)
je 0x129991
incq 0x90(%rsp)
movl $0x8, %r15d
leaq 0x809c4(%rip), %r13     # 0x1aa0f8
xorl %ebx, %ebx
movaps 0x60(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0x70(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x38(%rsp), %r14
movq 0x8(%r14), %rbp
movabsq $0x541d0401d4dcff33, %rax # imm = 0x541D0401D4DCFF33
cmpq %rax, %rbp
je 0x1297ed
movl (%r13), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r13,%rax,8), %rcx
movq 0x18(%r13,%rax,8), %rdx
andq %rbp, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %rbp, %rdx
je 0x1297c1
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbp, %rdx
je 0x1297c1
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbp, %rdx
je 0x1297c1
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbp, %rdx
jne 0x129981
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x1297ed
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %rbp, %rsi
callq 0xf3f85
movq %rax, %r14
movq %r13, %rdi
movq %rbp, %rsi
movq %rax, %rdx
callq 0x12128c
movq 0x20(%r14), %r9
cmpq %rbx, %r9
ja 0x12981a
leaq 0x20aa7(%rip), %rdi     # 0x14a2a4
leaq 0x20abc(%rip), %rsi     # 0x14a2c0
movl $0x4e, %edx
leaq 0x20ac4(%rip), %rcx     # 0x14a2d4
movq %rbx, %r8
xorl %eax, %eax
callq 0xc80f6
movq 0x30(%r14), %rax
movq (%rax,%r15), %rbp
testb $0x2, 0x40(%rsp)
je 0x129841
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
movaps 0x60(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq 0x70(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x38(%rsp), %r12
movq 0x8(%r12), %r14
movabsq $0x541d0401d4dcff33, %rax # imm = 0x541D0401D4DCFF33
cmpq %rax, %r14
je 0x1298f9
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 0x1298cd
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x1298cd
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x1298cd
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x129989
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x1298f9
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 0x30(%rsp), %rdx
leaq 0xd8(%rsp), %rdi
movq %r12, %rsi
movq %rbx, %rcx
callq 0x10ca2c
testb $0x2, 0x40(%rsp)
je 0x129930
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
movq 0x58(%rsp), %rax
movq %rax, 0x28(%rsp)
movups 0x48(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0xe8(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0xd8(%rsp), %xmm0
movups %xmm0, (%rsp)
movq %rbp, %rdi
movq 0x90(%rsp), %rsi
callq 0x128649
incq %rbx
addq $0x38, %r15
cmpq 0x78(%rsp), %rbx
jb 0x129736
jmp 0x129991
xorl %r14d, %r14d
jmp 0x1297c5
xorl %r12d, %r12d
jmp 0x1298d1
movq 0xa0(%rsp), %rbp
jmp 0x129be7
xorl %ecx, %ecx
movabsq $-0x3ac242643d9c35a9, %rdx # imm = 0xC53DBD9BC263CA57
cmpq %rdx, %rcx
jle 0x129a06
movabsq $0x510c2417c67dabea, %rdx # imm = 0x510C2417C67DABEA
cmpq %rdx, %rcx
jle 0x129a74
movabsq $0x62367a17d02b474c, %rdx # imm = 0x62367A17D02B474C
cmpq %rdx, %rcx
jle 0x129b84
movabsq $0x62367a17d02b474d, %rdx # imm = 0x62367A17D02B474D
cmpq %rdx, %rcx
je 0x129adf
movabsq $0x69849117d3eb7d62, %rdx # imm = 0x69849117D3EB7D62
cmpq %rdx, %rcx
je 0x129a52
movabsq $0x6d07f9ef5b68e8a2, %rdx # imm = 0x6D07F9EF5B68E8A2
jmp 0x129b9d
movabsq $-0x5aa4411ac4e2880f, %rdx # imm = 0xA55BBEE53B1D77F1
cmpq %rdx, %rcx
jg 0x129aa1
movabsq $-0x6119581ac7eacd64, %rdx # imm = 0x9EE6A7E53815329C
cmpq %rdx, %rcx
jg 0x129b4e
movabsq $-0x73f6ae1ad309fd45, %rdx # imm = 0x8C0951E52CF602BB
cmpq %rdx, %rcx
je 0x129adf
movabsq $-0x6bce971ace902370, %rdx # imm = 0x943168E5316FDC90
cmpq %rdx, %rcx
jne 0x129c29
movq 0x60(%rsp), %rdi
movq 0x58(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x48(%rsp), %xmm0
movups %xmm0, (%rsp)
movl $0x2, %esi
jmp 0x129be2
movabsq $-0x84b14e74a9e1ff1, %rdx # imm = 0xF7B4EB18B561E00F
cmpq %rdx, %rcx
jg 0x129b01
movabsq $-0x3ac242643d9c35a8, %rdx # imm = 0xC53DBD9BC263CA58
cmpq %rdx, %rcx
je 0x129adf
movabsq $-0x388c46b188de83fe, %rdx # imm = 0xC773B94E77217C02
jmp 0x129b9d
movabsq $-0x4882601bdca6aefc, %rdx # imm = 0xB77D9FE423595104
cmpq %rdx, %rcx
jg 0x129b69
movabsq $-0x5aa4411ac4e2880e, %rdx # imm = 0xA55BBEE53B1D77F2
cmpq %rdx, %rcx
je 0x129ba6
movabsq $-0x58737885f0577326, %rdx # imm = 0xA78C877A0FA88CDA
cmpq %rdx, %rcx
je 0x129bc5
jmp 0x129c29
movq 0x60(%rsp), %rdi
movq 0x58(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x48(%rsp), %xmm0
movups %xmm0, (%rsp)
movl $0x1, %esi
jmp 0x129be2
movabsq $-0x84b14e74a9e1ff0, %rdx # imm = 0xF7B4EB18B561E010
cmpq %rdx, %rcx
je 0x129b23
movabsq $0x230abe18cdeefc99, %rdx # imm = 0x230ABE18CDEEFC99
cmpq %rdx, %rcx
jne 0x129c29
movq 0x60(%rsp), %rbx
movq %rbx, %rdi
callq 0xc84d7
movq 0x58(%rsp), %rcx
movq %rcx, 0x10(%rsp)
movups 0x48(%rsp), %xmm0
movups %xmm0, (%rsp)
movq %rbx, %rdi
movq %rax, %rsi
jmp 0x129be2
movabsq $-0x6119581ac7eacd63, %rdx # imm = 0x9EE6A7E53815329D
cmpq %rdx, %rcx
je 0x129bc5
movabsq $-0x5fc2af85f419929b, %rdx # imm = 0xA03D507A0BE66D65
jmp 0x129b9d
movabsq $-0x4882601bdca6aefb, %rdx # imm = 0xB77D9FE423595105
cmpq %rdx, %rcx
je 0x129ba6
movabsq $-0x3f1363e6d8155aed, %rdx # imm = 0xC0EC9C1927EAA513
jmp 0x129b9d
movabsq $0x510c2417c67dabeb, %rdx # imm = 0x510C2417C67DABEB
cmpq %rdx, %rcx
je 0x129bc5
movabsq $0x585a3b17ca3de200, %rdx # imm = 0x585A3B17CA3DE200
cmpq %rdx, %rcx
jne 0x129c29
movq 0x60(%rsp), %rdi
movq 0x58(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x48(%rsp), %xmm0
movups %xmm0, (%rsp)
movl $0x8, %esi
jmp 0x129be2
movq 0x60(%rsp), %rdi
movq 0x58(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x48(%rsp), %xmm0
movups %xmm0, (%rsp)
movl $0x4, %esi
callq 0x12cec7
movq %rbp, %rdi
callq 0xe0403
addq $0x138, %rsp            # imm = 0x138
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorl %r14d, %r14d
jmp 0x1287c8
xorl %r14d, %r14d
jmp 0x1288c5
xorl %r14d, %r14d
jmp 0x128ca4
xorl %r14d, %r14d
jmp 0x128d90
xorl %r14d, %r14d
jmp 0x128f85
testq %rax, %rax
je 0x129c5c
movq 0x8(%rax), %rdi
jmp 0x129c5e
xorl %r14d, %r14d
jmp 0x1289db
xorl %r14d, %r14d
jmp 0x128ad0
xorl %r14d, %r14d
jmp 0x128bbc
xorl %r14d, %r14d
jmp 0x12908f
xorl %r13d, %r13d
jmp 0x128e9b
xorl %edi, %edi
callq 0xe0cbc
testq %rax, %rax
leaq 0x29a82(%rip), %r8      # 0x1536ef
cmovneq %rax, %r8
leaq 0x14a71(%rip), %rdi     # 0x13e6e9
leaq 0x2f8c7(%rip), %rsi     # 0x159546
leaq 0x2f8cf(%rip), %rcx     # 0x159555
movl $0x67, %edx
xorl %eax, %eax
callq 0xc80f6
jmp 0x129be7
xorl %r14d, %r14d
jmp 0x129591
xorl %r14d, %r14d
jmp 0x1291c2
xorl %r14d, %r14d
jmp 0x1292a9
xorl %r14d, %r14d
jmp 0x1296a3