// File: /workspace/github_c_makefile_star2_O3/dwbuiten[P]obuparse/obuparse.c
// Function: obp_parse_sequence_header
int obp_parse_sequence_header(uint8_t *buf, size_t buf_size, OBPSequenceHeader *seq_header, OBPError *err)
{
    _OBPBitReader b   = _obp_new_br(buf, buf_size);
    _OBPBitReader *br = &b;

    _obp_br(seq_header->seq_profile, br, 3);
    _obp_br(seq_header->still_picture, br, 1);
    _obp_br(seq_header->reduced_still_picture_header, br, 1);
    if (seq_header->reduced_still_picture_header) {
        seq_header->timing_info_present_flag                     = 0;
        seq_header->decoder_model_info_present_flag              = 0;
        seq_header->initial_display_delay_present_flag           = 0;
        seq_header->operating_points_cnt_minus_1                 = 0;
        seq_header->operating_point_idc[0]                       = 0;
        _obp_br(seq_header->seq_level_idx[0], br, 5);
        seq_header->seq_tier[0]                                  = 0;
        seq_header->decoder_model_present_for_this_op[0]         = 0;
        seq_header->initial_display_delay_present_for_this_op[0] = 0;
    } else {
        _obp_br(seq_header->timing_info_present_flag, br, 1);
        if (seq_header->timing_info_present_flag) {
            /* timing_info() */
            _obp_br(seq_header->timing_info.num_units_in_display_tick, br, 32);
            _obp_br(seq_header->timing_info.time_scale, br, 32);
            _obp_br(seq_header->timing_info.equal_picture_interval, br, 1);
            if (seq_header->timing_info.equal_picture_interval) {
                int ret = _obp_uvlc(br, &seq_header->timing_info.num_ticks_per_picture_minus_1, err);
                if (ret < 0)
                    return -1;
            }
            _obp_br(seq_header->decoder_model_info_present_flag, br, 1);
            if (seq_header->decoder_model_info_present_flag) {
                /* decoder_model_info() */
                _obp_br(seq_header->decoder_model_info.buffer_delay_length_minus_1, br, 5);
                _obp_br(seq_header->decoder_model_info.num_units_in_decoding_tick, br, 32);
                _obp_br(seq_header->decoder_model_info.buffer_removal_time_length_minus_1, br, 5);
                _obp_br(seq_header->decoder_model_info.frame_presentation_time_length_minus_1, br, 5);
            }
        } else {
            seq_header->decoder_model_info_present_flag = 0;
        }
        _obp_br(seq_header->initial_display_delay_present_flag, br, 1);
        _obp_br(seq_header->operating_points_cnt_minus_1, br, 5);
        for (uint8_t i = 0; i <= seq_header->operating_points_cnt_minus_1; i++) {
            _obp_br(seq_header->operating_point_idc[i], br, 12);
            _obp_br(seq_header->seq_level_idx[i], br, 5);
            if (seq_header->seq_level_idx[i] > 7) {
                _obp_br(seq_header->seq_tier[i], br, 1);
            } else {
                seq_header->seq_tier[i] = 0;
            }
            if (seq_header->decoder_model_info_present_flag) {
                _obp_br(seq_header->decoder_model_present_for_this_op[i], br, 1);
                if (seq_header->decoder_model_present_for_this_op[i]) {
                    /* operating_parameters_info() */
                    uint8_t n = seq_header->decoder_model_info.buffer_delay_length_minus_1 + 1;
                    _obp_br(seq_header->operating_parameters_info[i].decoder_buffer_delay, br, n);
                    _obp_br(seq_header->operating_parameters_info[i].encoder_buffer_delay, br, n);
                    _obp_br(seq_header->operating_parameters_info[i].low_delay_mode_flag, br, 1);
                }
            } else {
                seq_header->decoder_model_present_for_this_op[i] = 0;
            }
            if (seq_header->initial_display_delay_present_flag) {
                _obp_br(seq_header->initial_display_delay_present_for_this_op[i], br, 1);
                if (seq_header->initial_display_delay_present_for_this_op[i]) {
                    _obp_br(seq_header->initial_display_delay_minus_1[i], br, 4);
                }
            }
        }
    }
    _obp_br(seq_header->frame_width_bits_minus_1, br, 4);
    _obp_br(seq_header->frame_height_bits_minus_1, br, 4);
    _obp_br(seq_header->max_frame_width_minus_1, br, seq_header->frame_width_bits_minus_1 + 1);
    _obp_br(seq_header->max_frame_height_minus_1, br, seq_header->frame_height_bits_minus_1 + 1);
    if (seq_header->reduced_still_picture_header) {
        seq_header->frame_id_numbers_present_flag = 0;
    } else {
        _obp_br(seq_header->frame_id_numbers_present_flag, br, 1);
    }
    if (seq_header->frame_id_numbers_present_flag) {
        _obp_br(seq_header->delta_frame_id_length_minus_2, br, 4);
        _obp_br(seq_header->additional_frame_id_length_minus_1, br, 3);
    }
    _obp_br(seq_header->use_128x128_superblock, br, 1);
    _obp_br(seq_header->enable_filter_intra, br, 1);
    _obp_br(seq_header->enable_intra_edge_filter, br, 1);
    if (seq_header->reduced_still_picture_header) {
        seq_header->enable_interintra_compound     = 0;
        seq_header->enable_masked_compound         = 0;
        seq_header->enable_warped_motion           = 0;
        seq_header->enable_dual_filter             = 0;
        seq_header->enable_order_hint              = 0;
        seq_header->enable_jnt_comp                = 0;
        seq_header->enable_ref_frame_mvs           = 0;
        seq_header->seq_force_screen_content_tools = 2; /* SELECT_SCREEN_CONTENT_TOOLS */
        seq_header->seq_force_integer_mv           = 2; /* SELECT_INTEGER_MV */
        seq_header->OrderHintBits                  = 0;
    } else {
        _obp_br(seq_header->enable_interintra_compound, br, 1);
        _obp_br(seq_header->enable_masked_compound, br, 1);
        _obp_br(seq_header->enable_warped_motion, br, 1);
        _obp_br(seq_header->enable_dual_filter, br, 1);
        _obp_br(seq_header->enable_order_hint, br, 1);
        if (seq_header->enable_order_hint) {
            _obp_br(seq_header->enable_jnt_comp, br, 1);
            _obp_br(seq_header->enable_ref_frame_mvs, br, 1);
        } else {
            seq_header->enable_jnt_comp = 0;
            seq_header->enable_ref_frame_mvs = 0;
        }
        _obp_br(seq_header->seq_choose_screen_content_tools, br, 1);
        if (seq_header->seq_choose_screen_content_tools) {
            seq_header->seq_force_screen_content_tools = 2; /* SELECT_SCREEN_CONTENT_TOOLS */
        } else {
            _obp_br(seq_header->seq_force_screen_content_tools, br, 1);
        }
        if (seq_header->seq_force_screen_content_tools > 0) {
            _obp_br(seq_header->seq_choose_integer_mv, br, 1);
            if (seq_header->seq_choose_integer_mv) {
                seq_header->seq_force_integer_mv = 2; /* SELECT_INTEGER_MV */
            } else {
                _obp_br(seq_header->seq_force_integer_mv, br, 1);
            }
        } else {
            seq_header->seq_force_integer_mv = 2; /* SELECT_INTEGER_MV */
        }
        if (seq_header->enable_order_hint) {
            _obp_br(seq_header->order_hint_bits_minus_1, br, 3);
            seq_header->OrderHintBits = seq_header->order_hint_bits_minus_1 + 1;
        } else {
            seq_header->OrderHintBits = 0;
        }
    }
    _obp_br(seq_header->enable_superres, br, 1);
    _obp_br(seq_header->enable_cdef, br, 1);
    _obp_br(seq_header->enable_restoration, br, 1);
    /* color_config() */
    _obp_br(seq_header->color_config.high_bitdepth, br, 1);
    if (seq_header->seq_profile == 2 && seq_header->color_config.high_bitdepth) {
        _obp_br(seq_header->color_config.twelve_bit, br, 1);
        seq_header->color_config.BitDepth = seq_header->color_config.twelve_bit ? 12 : 10;
    } else {
        seq_header->color_config.BitDepth = seq_header->color_config.high_bitdepth ? 10 : 8;
    }
    if (seq_header->seq_profile == 1) {
        seq_header->color_config.mono_chrome = 0;
    } else {
        _obp_br(seq_header->color_config.mono_chrome, br, 1);
    }
    seq_header->color_config.NumPlanes = seq_header->color_config.mono_chrome ? 1 : 3;
    _obp_br(seq_header->color_config.color_description_present_flag, br, 1);
    if (seq_header->color_config.color_description_present_flag) {
        _obp_br(seq_header->color_config.color_primaries, br, 8);
        _obp_br(seq_header->color_config.transfer_characteristics, br, 8);
        _obp_br(seq_header->color_config.matrix_coefficients, br, 8);
    } else {
        seq_header->color_config.color_primaries          = OBP_CP_UNSPECIFIED;
        seq_header->color_config.transfer_characteristics = OBP_TC_UNSPECIFIED;
        seq_header->color_config.matrix_coefficients      = OBP_MC_UNSPECIFIED;
    }
    if (seq_header->color_config.mono_chrome) {
        _obp_br(seq_header->color_config.color_range, br, 1);
        seq_header->color_config.subsampling_x          = 1;
        seq_header->color_config.subsampling_y          = 1;
        seq_header->color_config.chroma_sample_position = OBP_CSP_UNKNOWN;
        seq_header->color_config.separate_uv_delta_q    = 0;
        goto color_done;
    } else if (seq_header->color_config.color_primaries == OBP_CP_BT_709 &&
               seq_header->color_config.transfer_characteristics == OBP_TC_SRGB &&
               seq_header->color_config.matrix_coefficients == OBP_MC_IDENTITY) {
        seq_header->color_config.color_range = 1;
        seq_header->color_config.subsampling_x = 0;
        seq_header->color_config.subsampling_y = 0;
    } else {
        _obp_br(seq_header->color_config.color_range, br, 1);
        if (seq_header->seq_profile == 0) {
            seq_header->color_config.subsampling_x = 1;
            seq_header->color_config.subsampling_y = 1;
        } else if (seq_header->seq_profile == 1) {
            seq_header->color_config.subsampling_x = 0;
            seq_header->color_config.subsampling_y = 0;
        } else {
            if (seq_header->color_config.BitDepth == 12) {
                _obp_br(seq_header->color_config.subsampling_x, br, 1);
                if (seq_header->color_config.subsampling_x) {
                    _obp_br(seq_header->color_config.subsampling_y, br, 1);
                } else {
                    seq_header->color_config.subsampling_y = 0;
                }
            } else {
                seq_header->color_config.subsampling_x = 1;
                seq_header->color_config.subsampling_y = 0;
            }
        }
        if (seq_header->color_config.subsampling_x && seq_header->color_config.subsampling_y) {
            _obp_br(seq_header->color_config.chroma_sample_position, br, 2);
        }
    }
    _obp_br(seq_header->color_config.separate_uv_delta_q, br, 1);

color_done:
    _obp_br(seq_header->film_grain_params_present, br, 1);

    return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rcx, %rbx
movq %rdi, (%rsp)
movq %rsi, 0x8(%rsp)
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rsp)
movb $0x0, 0x20(%rsp)
testq %rsi, %rsi
je 0x1983
movq %rdx, %r14
movq %rsp, %r15
movq %r15, %rdi
movl $0x3, %esi
callq 0x244e
movb %al, (%r14)
movzbl 0x20(%r15), %eax
movl $0x8, %ebp
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x4(%r14)
movzbl 0x20(%r15), %eax
subl %eax, %ebp
sarl $0x3, %ebp
movslq %ebp, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x8(%r14)
testl %eax, %eax
je 0x1713
xorl %ebp, %ebp
movl %ebp, 0xc(%r14)
movl %ebp, 0x20(%r14)
movl %ebp, 0x30(%r14)
movw $0x0, 0x34(%r14)
movzbl 0x20(%rsp), %eax
movl $0xc, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x5, %esi
callq 0x244e
movb %al, 0x55(%r14)
movb $0x0, 0x75(%r14)
movl %ebp, 0x98(%r14)
movl %ebp, 0x418(%r14)
movzbl 0x20(%rsp), %eax
movl $0xb, %ebp
movl $0xb, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x4, %esi
callq 0x244e
movb %al, 0x4b8(%r14)
movzbl 0x20(%r15), %eax
subl %eax, %ebp
sarl $0x3, %ebp
movslq %ebp, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x4, %esi
callq 0x244e
movb %al, 0x4b9(%r14)
movzbl 0x4b8(%r14), %eax
movzbl 0x20(%r15), %ecx
negl %ecx
addl %eax, %ecx
addl $0x8, %ecx
sarl $0x3, %ecx
movslq %ecx, %rcx
movq 0x8(%r15), %rdx
subq 0x10(%r15), %rdx
cmpq %rcx, %rdx
jb 0x1983
incb %al
movzbl %al, %esi
movq %rsp, %r15
movq %r15, %rdi
callq 0x244e
movl %eax, 0x4bc(%r14)
movzbl 0x4b9(%r14), %eax
movzbl 0x20(%r15), %ecx
negl %ecx
addl %eax, %ecx
addl $0x8, %ecx
sarl $0x3, %ecx
movslq %ecx, %rcx
movq 0x8(%r15), %rdx
subq 0x10(%r15), %rdx
cmpq %rcx, %rdx
jb 0x1983
incb %al
movzbl %al, %esi
movq %rsp, %rdi
callq 0x244e
movl %eax, 0x4c0(%r14)
cmpl $0x0, 0x8(%r14)
je 0x1c34
movl $0x0, 0x4c4(%r14)
movzbl 0x20(%rsp), %eax
movl $0x8, %ebp
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x4cc(%r14)
movzbl 0x20(%r15), %eax
subl %eax, %ebp
sarl $0x3, %ebp
movslq %ebp, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x4d0(%r14)
movzbl 0x20(%r15), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x4d4(%r14)
cmpl $0x0, 0x8(%r14)
je 0x1ced
xorps %xmm0, %xmm0
movups %xmm0, 0x4e4(%r14)
movups %xmm0, 0x4d8(%r14)
movl $0x2, %eax
movl %eax, 0x4f8(%r14)
movl %eax, 0x500(%r14)
xorl %eax, %eax
movb %al, 0x505(%r14)
movzbl 0x20(%rsp), %eax
movl $0x8, %ebp
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x508(%r14)
movzbl 0x20(%r15), %eax
subl %eax, %ebp
sarl $0x3, %ebp
movslq %ebp, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x50c(%r14)
movzbl 0x20(%r15), %eax
movl $0x8, %ebp
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x510(%r14)
movzbl 0x20(%r15), %eax
subl %eax, %ebp
sarl $0x3, %ebp
movslq %ebp, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x514(%r14)
movb (%r14), %cl
cmpb $0x2, %cl
setne %dl
testl %eax, %eax
sete %sil
orb %dl, %sil
je 0x1e87
testl %eax, %eax
setne %al
addb %al, %al
orb $0x8, %al
movb %al, 0x51c(%r14)
jmp 0x1ed3
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0xc(%r14)
testl %eax, %eax
je 0x1927
movzbl 0x20(%rsp), %eax
movl $0x27, %ebp
movl $0x27, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x20, %esi
callq 0x244e
movl %eax, 0x10(%r14)
movzbl 0x20(%r15), %eax
subl %eax, %ebp
sarl $0x3, %ebp
movslq %ebp, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x20, %esi
callq 0x244e
movl %eax, 0x14(%r14)
movzbl 0x20(%r15), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x18(%r14)
testl %eax, %eax
je 0x1810
leaq 0x1c(%r14), %rsi
movq %rsp, %rdi
movq %rbx, %rdx
callq 0x24ff
testl %eax, %eax
js 0x1998
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x20(%r14)
testl %eax, %eax
je 0x192f
movzbl 0x20(%rsp), %eax
movl $0xc, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x5, %esi
callq 0x244e
movb %al, 0x24(%r14)
movzbl 0x20(%r15), %eax
movl $0x27, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x20, %esi
callq 0x244e
movl %eax, 0x28(%r14)
movzbl 0x20(%r15), %eax
movl $0xc, %ebp
movl $0xc, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x5, %esi
callq 0x244e
movb %al, 0x2c(%r14)
movzbl 0x20(%r15), %eax
subl %eax, %ebp
sarl $0x3, %ebp
movslq %ebp, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x5, %esi
callq 0x244e
movb %al, 0x2d(%r14)
jmp 0x192f
movl $0x0, 0x20(%r14)
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x30(%r14)
movzbl 0x20(%r15), %eax
movl $0xc, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jae 0x19ac
movq (%rbx), %rdi
movq 0x8(%rbx), %rsi
leaq 0x6828(%rip), %rdx      # 0x81b9
xorl %eax, %eax
callq 0x1030
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rsp, %r15
movq %r15, %rdi
movl $0x5, %esi
callq 0x244e
movb %al, 0x34(%r14)
leaq 0x118(%r14), %r12
xorl %ebp, %ebp
movzbl 0x20(%rsp), %eax
movl $0x13, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %r15, %rdi
movl $0xc, %esi
callq 0x244e
movzbl %bpl, %r13d
movb %al, 0x35(%r14,%r13)
movzbl 0x20(%rsp), %eax
movl $0xc, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %r15, %rdi
movl $0x5, %esi
callq 0x244e
movb %al, 0x55(%r14,%r13)
cmpb $0x8, %al
jb 0x1a6f
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %r15, %rdi
movl $0x1, %esi
callq 0x244e
jmp 0x1a71
xorl %eax, %eax
movb %al, 0x75(%r14,%r13)
cmpl $0x0, 0x20(%r14)
je 0x1b97
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %r15, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x98(%r14,%r13,4)
testl %eax, %eax
je 0x1ba3
movl %ebp, 0x2c(%rsp)
movq %r12, %rbp
movb 0x24(%r14), %al
incb %al
movzbl %al, %r12d
movzbl 0x20(%rsp), %eax
negl %eax
addl %r12d, %eax
addl $0x7, %eax
sarl $0x3, %eax
cltq
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %r15, %rdi
movl %r12d, %esi
callq 0x244e
leaq (,%r13,2), %rcx
addq %r13, %rcx
movq %rcx, 0x30(%rsp)
movq %rax, (%rbp,%rcx,8)
movzbl 0x20(%rsp), %eax
negl %eax
addl %r12d, %eax
addl $0x7, %eax
sarl $0x3, %eax
cltq
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %r15, %rdi
movl %r12d, %esi
callq 0x244e
movq 0x30(%rsp), %rcx
movq %rax, 0x8(%rbp,%rcx,8)
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rbp, %r12
movq %r15, %rdi
movl $0x1, %esi
callq 0x244e
movq 0x30(%rsp), %rcx
movl %eax, 0x10(%rbp,%rcx,8)
movl 0x2c(%rsp), %ebp
jmp 0x1ba3
movl $0x0, 0x98(%r14,%r13,4)
cmpl $0x0, 0x30(%r14)
je 0x1c22
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %r15, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x418(%r14,%r13,4)
testl %eax, %eax
je 0x1c22
movzbl 0x20(%rsp), %eax
movl $0xb, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %r15, %rdi
movl $0x4, %esi
callq 0x244e
movb %al, 0x498(%r14,%r13)
incb %bpl
cmpb 0x34(%r14), %bpl
jbe 0x19c9
jmp 0x140b
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x4c4(%r14)
testl %eax, %eax
je 0x1518
movzbl 0x20(%rsp), %eax
movl $0xb, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x4, %esi
callq 0x244e
movb %al, 0x4c8(%r14)
movzbl 0x20(%r15), %eax
movl $0xa, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x3, %esi
callq 0x244e
movb %al, 0x4c9(%r14)
jmp 0x1518
movzbl 0x20(%rsp), %eax
movl $0x8, %ebp
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x4d8(%r14)
movzbl 0x20(%r15), %eax
subl %eax, %ebp
sarl $0x3, %ebp
movslq %ebp, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x4dc(%r14)
movzbl 0x20(%r15), %eax
movl $0x8, %ebp
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x4e0(%r14)
movzbl 0x20(%r15), %eax
subl %eax, %ebp
sarl $0x3, %ebp
movslq %ebp, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x4e4(%r14)
movzbl 0x20(%r15), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x4e8(%r14)
testl %eax, %eax
je 0x2028
movzbl 0x20(%rsp), %eax
movl $0x8, %ebp
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x4ec(%r14)
movzbl 0x20(%r15), %eax
subl %eax, %ebp
sarl $0x3, %ebp
movslq %ebp, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
jmp 0x2035
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x518(%r14)
testl %eax, %eax
setne %al
addb %al, %al
addb $0xa, %al
movb %al, 0x51c(%r14)
movb (%r14), %cl
cmpb $0x1, %cl
jne 0x1ee7
movl $0x0, 0x520(%r14)
movb $0x3, %al
jmp 0x1f29
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x520(%r14)
testl %eax, %eax
sete %al
addb %al, %al
incb %al
movb %al, 0x524(%r14)
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x528(%r14)
testl %eax, %eax
je 0x2108
movzbl 0x20(%rsp), %eax
movl $0xf, %ebp
movl $0xf, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x8, %esi
callq 0x244e
movl %eax, 0x52c(%r14)
movzbl 0x20(%r15), %eax
subl %eax, %ebp
sarl $0x3, %ebp
movslq %ebp, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %r15
movq %r15, %rdi
movl $0x8, %esi
callq 0x244e
movl %eax, 0x530(%r14)
movzbl 0x20(%r15), %eax
movl $0xf, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%r15), %rcx
subq 0x10(%r15), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x8, %esi
callq 0x244e
movl %eax, 0x534(%r14)
testl %eax, %eax
setne %al
jmp 0x2126
movl $0x0, 0x4ec(%r14)
xorl %eax, %eax
movl %eax, 0x4f0(%r14)
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x4f4(%r14)
testl %eax, %eax
je 0x220a
movl $0x2, 0x4f8(%r14)
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movq %rax, %rcx
movl %ecx, 0x4fc(%r14)
movl $0x2, %eax
testl %ecx, %ecx
jne 0x2250
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
jmp 0x2250
movabsq $0x200000002, %rax      # imm = 0x200000002
movq %rax, 0x52c(%r14)
movl $0x2, 0x534(%r14)
movb $0x1, %al
cmpl $0x0, 0x520(%r14)
je 0x218c
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x538(%r14)
movabsq $0x100000001, %rax      # imm = 0x100000001
movq %rax, 0x53c(%r14)
movl $0x0, 0x544(%r14)
xorl %eax, %eax
jmp 0x22ed
cmpl $0x1, 0x52c(%r14)
jne 0x21ac
cmpl $0xd, 0x530(%r14)
setne %cl
orb %al, %cl
testb $0x1, %cl
je 0x22a5
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x538(%r14)
movzbl (%r14), %eax
testl %eax, %eax
je 0x234c
cmpl $0x1, %eax
jne 0x2399
movl $0x0, 0x53c(%r14)
jmp 0x22b0
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x4f8(%r14)
testl %eax, %eax
jg 0x2088
movl $0x2, %eax
movl %eax, 0x500(%r14)
cmpl $0x0, 0x4e8(%r14)
je 0x15f6
movzbl 0x20(%rsp), %eax
movl $0xa, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x3, %esi
callq 0x244e
movb %al, 0x504(%r14)
incb %al
jmp 0x15f8
movq $0x1, 0x538(%r14)
xorl %eax, %eax
movl $0x540, %ecx            # imm = 0x540
movl %eax, (%r14,%rcx)
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x548(%r14)
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %r15
movq 0x8(%rsp), %r12
subq 0x10(%rsp), %r12
cmpq %r15, %r12
jae 0x232c
movq (%rbx), %rdi
movq 0x8(%rbx), %rsi
leaq 0x5e96(%rip), %rdx      # 0x81b9
xorl %eax, %eax
callq 0x1030
jmp 0x2340
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x54c(%r14)
xorl %eax, %eax
cmpq %r15, %r12
sbbl %eax, %eax
jmp 0x199d
movabsq $0x100000001, %rax      # imm = 0x100000001
movq %rax, 0x53c(%r14)
movzbl 0x20(%rsp), %eax
movl $0x9, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x2, %esi
callq 0x244e
movl $0x544, %ecx            # imm = 0x544
jmp 0x22b7
cmpb $0xc, 0x51c(%r14)
jne 0x243e
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x53c(%r14)
testl %eax, %eax
je 0x22b0
movzbl 0x20(%rsp), %eax
movl $0x8, %ecx
subl %eax, %ecx
sarl $0x3, %ecx
movslq %ecx, %rax
movq 0x8(%rsp), %rcx
subq 0x10(%rsp), %rcx
cmpq %rax, %rcx
jb 0x1983
movq %rsp, %rdi
movl $0x1, %esi
callq 0x244e
movl %eax, 0x540(%r14)
cmpl $0x0, 0x53c(%r14)
sete %cl
testl %eax, %eax
sete %al
orb %cl, %al
jne 0x22bb
jmp 0x235d
movl $0x1, 0x53c(%r14)
jmp 0x22b0