// File: /workspace/github_cpp_makefile_star2_O3/aalto-speech[P]ftk/test/sstest.cc
// Function: StringSetTest3::test_method()
BOOST_AUTO_TEST_CASE(StringSetTest3)
{
    map<string, flt_type> vocab;
    vocab["hei"] = -1.0;
    vocab["heippa"] = -2.0;
    vocab["heh"] = -3.0;
    StringSet ss(vocab);

    BOOST_CHECK ( ss.includes("hei") );
    BOOST_CHECK ( ss.includes("heippa") );
    BOOST_CHECK ( ss.includes("heh") );

    ss.remove("hei");
    BOOST_CHECK ( ss.includes("heh") );
    BOOST_CHECK ( ss.includes("heippa") );
    BOOST_CHECK ( !ss.includes("hei") );

    BOOST_CHECK_EQUAL ( -2.0, ss.get_score("heippa") );
    BOOST_CHECK_EQUAL ( -3.0, ss.get_score("heh") );

    bool throws = false;
    try {
        ss.get_score("hei");
    }
    catch (string &e) {
        throws = true;
    }
    BOOST_CHECK( throws );
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x3d8, %rsp            # imm = 0x3D8
leaq -0x108(%rbp), %rax
movl $0x0, (%rax)
xorl %ecx, %ecx
movq %rcx, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %rcx, 0x20(%rax)
leaq -0x230(%rbp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0x44bf3(%rip), %rsi     # 0x707ea
leaq 0x44bef(%rip), %rdx     # 0x707ed
leaq -0x240(%rbp), %rdi
callq 0x95e6
leaq -0x110(%rbp), %rdi
leaq -0x240(%rbp), %rsi
callq 0x1ddce
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
movq -0x240(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2bc3b
callq 0x5380
leaq -0x240(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x44bfd(%rip), %rsi     # 0x70849
leaq 0x44bfc(%rip), %rdx     # 0x7084f
callq 0x95e6
leaq -0x110(%rbp), %rdi
leaq -0x240(%rbp), %rsi
callq 0x1ddce
movabsq $-0x4000000000000000, %rcx # imm = 0xC000000000000000
movq %rcx, (%rax)
movq -0x240(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2bc89
callq 0x5380
leaq -0x240(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x44bb6(%rip), %rsi     # 0x70850
leaq 0x44bb2(%rip), %rdx     # 0x70853
callq 0x95e6
leaq -0x110(%rbp), %rdi
leaq -0x240(%rbp), %rsi
callq 0x1ddce
movabsq $-0x3ff8000000000000, %rcx # imm = 0xC008000000000000
movq %rcx, (%rax)
movq -0x240(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2bcd7
callq 0x5380
leaq -0x240(%rbp), %rdi
leaq -0x110(%rbp), %rsi
callq 0xf4f0
movq 0x5e827(%rip), %rdi     # 0x8a518
leaq 0x44ae3(%rip), %rax     # 0x707db
leaq -0x3d0(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x44ae0(%rip), %rax     # 0x707e9
movq %rax, 0x8(%rsi)
leaq 0x44d5b(%rip), %rax     # 0x70a6f
leaq -0x3c0(%rbp), %rcx
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x54, %edx
callq 0x5760
leaq -0x38(%rbp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0x44aaf(%rip), %rsi     # 0x707ea
leaq 0x44aab(%rip), %rdx     # 0x707ed
leaq -0x48(%rbp), %rdi
callq 0x95e6
leaq -0x240(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0xfb02
leaq 0x44a79(%rip), %r14     # 0x707db
leaq 0x44a80(%rip), %r15     # 0x707e9
leaq -0x88(%rbp), %rdi
movb %al, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
leaq 0x44bdf(%rip), %rax     # 0x70961
leaq -0x68(%rbp), %rcx
movq %rax, (%rcx)
leaq 0x44be3(%rip), %rax     # 0x70973
movq %rax, 0x8(%rcx)
leaq -0xa8(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x5ddba(%rip), %rax     # 0x89b60
movq %rax, (%rsi)
movq 0x5e200(%rip), %rax     # 0x89fb0
movq %rax, 0x10(%rsi)
movq %rcx, 0x18(%rsi)
leaq -0x3b0(%rbp), %rdx
movq %r14, (%rdx)
movq %r15, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x54, %ecx
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x78(%rbp), %rdi
callq 0x2e804
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2bdfa
callq 0x5380
movq 0x5e717(%rip), %rdi     # 0x8a518
leaq -0x3a0(%rbp), %rsi
movq %r14, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x390(%rbp), %rcx
leaq 0x44c52(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x55, %edx
callq 0x5760
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x44a0d(%rip), %rsi     # 0x70849
leaq 0x44a0c(%rip), %rdx     # 0x7084f
callq 0x95e6
leaq -0x240(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0xfb02
leaq 0x4497c(%rip), %r15     # 0x707db
leaq 0x44983(%rip), %r12     # 0x707e9
leaq -0x88(%rbp), %rdi
movb %al, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
leaq 0x449e2(%rip), %rax     # 0x70861
movq %rax, -0x68(%rbp)
leaq 0x449ec(%rip), %r14     # 0x70876
movq %r14, -0x60(%rbp)
leaq -0xa8(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x5dcc0(%rip), %rax     # 0x89b60
movq %rax, (%rsi)
movq 0x5e106(%rip), %rax     # 0x89fb0
movq %rax, 0x10(%rsi)
leaq -0x68(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x380(%rbp), %rdx
movq %r15, (%rdx)
movq %r12, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x55, %ecx
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x78(%rbp), %rdi
callq 0x2e804
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2bef8
callq 0x5380
movq 0x5e619(%rip), %rdi     # 0x8a518
leaq -0x370(%rbp), %rsi
movq %r15, (%rsi)
movq %r12, 0x8(%rsi)
leaq -0x360(%rbp), %rcx
leaq 0x44b54(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x56, %edx
callq 0x5760
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x44916(%rip), %rsi     # 0x70850
leaq 0x44912(%rip), %rdx     # 0x70853
callq 0x95e6
leaq -0x240(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0xfb02
leaq 0x4487e(%rip), %r15     # 0x707db
leaq -0x88(%rbp), %rdi
movb %al, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
leaq 0x44901(%rip), %r12     # 0x70877
movq %r12, -0x68(%rbp)
leaq 0x44908(%rip), %r13     # 0x70889
movq %r13, -0x60(%rbp)
leaq -0xa8(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x5dbc9(%rip), %rax     # 0x89b60
movq %rax, (%rsi)
movq 0x5e00f(%rip), %rax     # 0x89fb0
movq %rax, 0x10(%rsi)
leaq -0x68(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x350(%rbp), %rdx
movq %r15, (%rdx)
leaq 0x4482b(%rip), %rax     # 0x707e9
movq %rax, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x56, %ecx
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x78(%rbp), %rdi
callq 0x2e804
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2bff6
callq 0x5380
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x447e6(%rip), %rsi     # 0x707ea
leaq 0x447e2(%rip), %rdx     # 0x707ed
callq 0x95e6
leaq -0x240(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0xfc44
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2c02e
callq 0x5380
movq 0x5e4e3(%rip), %rdi     # 0x8a518
leaq -0x340(%rbp), %rsi
movq %r15, (%rsi)
leaq 0x447a3(%rip), %rax     # 0x707e9
movq %rax, 0x8(%rsi)
leaq -0x330(%rbp), %rcx
leaq 0x44a17(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x59, %edx
callq 0x5760
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x447d9(%rip), %rsi     # 0x70850
leaq 0x447d5(%rip), %rdx     # 0x70853
callq 0x95e6
leaq -0x240(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0xfb02
leaq 0x44741(%rip), %r15     # 0x707db
leaq -0x88(%rbp), %rdi
movb %al, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
movq %r12, -0x68(%rbp)
movq %r13, -0x60(%rbp)
leaq -0xa8(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x5da9a(%rip), %rax     # 0x89b60
movq %rax, (%rsi)
movq 0x5dee0(%rip), %rax     # 0x89fb0
movq %rax, 0x10(%rsi)
leaq -0x68(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x320(%rbp), %rdx
movq %r15, (%rdx)
leaq 0x446fc(%rip), %r12     # 0x707e9
movq %r12, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x59, %ecx
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x78(%rbp), %rdi
callq 0x2e804
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2c125
callq 0x5380
movq 0x5e3ec(%rip), %rdi     # 0x8a518
leaq -0x310(%rbp), %rsi
movq %r15, (%rsi)
movq %r12, 0x8(%rsi)
leaq -0x300(%rbp), %rcx
leaq 0x44927(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x5a, %edx
callq 0x5760
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x446e2(%rip), %rsi     # 0x70849
leaq 0x446e1(%rip), %rdx     # 0x7084f
callq 0x95e6
leaq -0x240(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0xfb02
leaq 0x44651(%rip), %r15     # 0x707db
leaq 0x44658(%rip), %r12     # 0x707e9
leaq 0x446c9(%rip), %rcx     # 0x70861
leaq -0x88(%rbp), %rdi
movb %al, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
movq %rcx, -0x68(%rbp)
movq %r14, -0x60(%rbp)
leaq -0xa8(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x5d99c(%rip), %rax     # 0x89b60
movq %rax, (%rsi)
movq 0x5dde2(%rip), %rax     # 0x89fb0
movq %rax, 0x10(%rsi)
leaq -0x68(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x2f0(%rbp), %rdx
movq %r15, (%rdx)
movq %r12, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x5a, %ecx
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x78(%rbp), %rdi
callq 0x2e804
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2c21c
callq 0x5380
movq 0x5e2f5(%rip), %rdi     # 0x8a518
leaq -0x2e0(%rbp), %rsi
movq %r15, (%rsi)
movq %r12, 0x8(%rsi)
leaq -0x2d0(%rbp), %rcx
leaq 0x44830(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x5b, %edx
callq 0x5760
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x4458c(%rip), %rsi     # 0x707ea
leaq 0x44588(%rip), %rdx     # 0x707ed
callq 0x95e6
leaq -0x240(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0xfb02
leaq 0x4455a(%rip), %r15     # 0x707db
leaq 0x44561(%rip), %r12     # 0x707e9
xorb $0x1, %al
leaq -0x88(%rbp), %rdi
movb %al, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
leaq 0x446bd(%rip), %rax     # 0x70960
movq %rax, -0x68(%rbp)
leaq 0x446c5(%rip), %rax     # 0x70973
movq %rax, -0x60(%rbp)
leaq -0xa8(%rbp), %r14
movb $0x0, 0x8(%r14)
leaq 0x5d89b(%rip), %rax     # 0x89b60
movq %rax, (%r14)
movq 0x5dce1(%rip), %rax     # 0x89fb0
movq %rax, 0x10(%r14)
leaq -0x68(%rbp), %rax
movq %rax, 0x18(%r14)
leaq -0x2c0(%rbp), %rdx
movq %r15, (%rdx)
movq %r12, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x5b, %ecx
movq %r14, %rsi
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x78(%rbp), %rdi
callq 0x2e804
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2c320
callq 0x5380
movq 0x5e1f1(%rip), %rdi     # 0x8a518
leaq -0x2b0(%rbp), %rsi
movq %r15, (%rsi)
movq %r12, 0x8(%rsi)
leaq -0x2a0(%rbp), %rcx
leaq 0x4472c(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x5d, %edx
callq 0x5760
movb $0x0, -0x80(%rbp)
leaq 0x5d771(%rip), %rax     # 0x89ad0
movq %rax, -0x88(%rbp)
movq 0x5dc43(%rip), %rax     # 0x89fb0
movq %rax, -0x78(%rbp)
leaq 0x4404f(%rip), %rax     # 0x703c7
movq %rax, -0x70(%rbp)
movabsq $-0x4000000000000000, %rax # imm = 0xC000000000000000
movq %rax, -0xb8(%rbp)
leaq -0x58(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x444ad(%rip), %rsi     # 0x70849
leaq 0x444ac(%rip), %rdx     # 0x7084f
leaq -0x68(%rbp), %rdi
callq 0x95e6
leaq -0x240(%rbp), %rdi
leaq -0x68(%rbp), %rsi
callq 0xfb5c
leaq 0x44418(%rip), %rsi     # 0x707db
leaq -0xb0(%rbp), %r8
movsd %xmm0, (%r8)
leaq -0xb8(%rbp), %r13
ucomisd (%r13), %xmm0
setnp %al
sete %cl
andb %al, %cl
leaq -0xe0(%rbp), %rdi
movb %cl, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
leaq -0x120(%rbp), %rdx
movq %rsi, (%rdx)
leaq 0x443e2(%rip), %rax     # 0x707e9
movq %rax, 0x8(%rdx)
leaq -0xc8(%rbp), %r15
movq %r13, (%r15)
xorl %eax, %eax
movb %al, -0x40(%rbp)
leaq 0x5d6ff(%rip), %rbx     # 0x89b20
movq %rbx, -0x48(%rbp)
movq 0x5db84(%rip), %rcx     # 0x89fb0
movq %rcx, -0x38(%rbp)
movq %r15, -0x30(%rbp)
leaq -0xc0(%rbp), %r12
movq %r8, (%r12)
movb %al, -0xa0(%rbp)
movq %rbx, -0xa8(%rbp)
movq %rcx, -0x98(%rbp)
movq %r12, -0x90(%rbp)
movq %r14, 0x20(%rsp)
leaq 0x44484(%rip), %rax     # 0x708ea
movq %rax, 0x18(%rsp)
leaq -0x48(%rbp), %rax
movq %rax, 0x10(%rsp)
leaq 0x4446a(%rip), %rax     # 0x708e5
movq %rax, 0x8(%rsp)
movq $0x2, (%rsp)
leaq -0x88(%rbp), %rsi
movl $0x5d, %ecx
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0xd0(%rbp), %rdi
callq 0x2e804
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x2c4c5
callq 0x5380
movq 0x5e04c(%rip), %rdi     # 0x8a518
leaq -0x290(%rbp), %rsi
leaq 0x44301(%rip), %rax     # 0x707db
movq %rax, (%rsi)
leaq 0x44305(%rip), %rax     # 0x707e9
movq %rax, 0x8(%rsi)
leaq -0x280(%rbp), %rcx
leaq 0x44579(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x5e, %edx
callq 0x5760
movb $0x0, -0x80(%rbp)
leaq 0x5d5be(%rip), %rax     # 0x89ad0
movq %rax, -0x88(%rbp)
movq 0x5da90(%rip), %rax     # 0x89fb0
movq %rax, -0x78(%rbp)
leaq 0x43e9c(%rip), %rax     # 0x703c7
movq %rax, -0x70(%rbp)
movabsq $-0x3ff8000000000000, %rax # imm = 0xC008000000000000
movq %rax, -0xb8(%rbp)
leaq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
movq %rax, (%rdi)
leaq 0x442fe(%rip), %rsi     # 0x70850
leaq 0x442fa(%rip), %rdx     # 0x70853
callq 0x95e6
leaq -0x240(%rbp), %rdi
leaq -0x68(%rbp), %rsi
callq 0xfb5c
movsd %xmm0, -0xb0(%rbp)
ucomisd 0x4422a(%rip), %xmm0    # 0x707a8
setnp %al
sete %cl
andb %al, %cl
leaq -0xe0(%rbp), %rdi
movb %cl, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
leaq -0x120(%rbp), %rdx
leaq 0x44235(%rip), %rax     # 0x707db
movq %rax, (%rdx)
leaq 0x44239(%rip), %rax     # 0x707e9
movq %rax, 0x8(%rdx)
movq %r13, -0xc8(%rbp)
xorl %eax, %eax
movb %al, -0x40(%rbp)
movq %rbx, -0x48(%rbp)
movq 0x5d9e5(%rip), %rcx     # 0x89fb0
movq %rcx, -0x38(%rbp)
movq %r15, -0x30(%rbp)
leaq -0xb0(%rbp), %rsi
movq %rsi, -0xc0(%rbp)
movb %al, -0xa0(%rbp)
movq %rbx, -0xa8(%rbp)
movq %rcx, -0x98(%rbp)
movq %r12, -0x90(%rbp)
movq %r14, 0x20(%rsp)
leaq 0x442fe(%rip), %rax     # 0x70906
movq %rax, 0x18(%rsp)
leaq -0x48(%rbp), %rax
movq %rax, 0x10(%rsp)
leaq 0x442e4(%rip), %rax     # 0x70901
movq %rax, 0x8(%rsp)
movq $0x2, (%rsp)
leaq -0x88(%rbp), %r14
movl $0x5e, %ecx
movq %r14, %rsi
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0xd0(%rbp), %rdi
callq 0x2e804
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
leaq -0x38(%rbp), %rbx
je 0x2c66e
callq 0x5380
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x4416e(%rip), %rsi     # 0x707ea
leaq 0x4416a(%rip), %rdx     # 0x707ed
leaq 0x44151(%rip), %r15     # 0x707db
leaq 0x44158(%rip), %r12     # 0x707e9
callq 0x95e6
leaq -0x240(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0xfb5c
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2c6b4
callq 0x5380
xorl %ebx, %ebx
movq 0x5de5b(%rip), %rdi     # 0x8a518
leaq -0x270(%rbp), %rsi
movq %r15, (%rsi)
movq %r12, 0x8(%rsi)
leaq -0x260(%rbp), %rcx
leaq 0x44396(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x67, %edx
callq 0x5760
leaq -0xa8(%rbp), %rdi
movb %bl, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
leaq 0x44109(%rip), %rax     # 0x7080c
movq %rax, -0x88(%rbp)
leaq 0x44101(%rip), %rax     # 0x70812
movq %rax, -0x80(%rbp)
leaq -0x48(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x5d43c(%rip), %rax     # 0x89b60
movq %rax, (%rsi)
movq 0x5d882(%rip), %rax     # 0x89fb0
movq %rax, 0x10(%rsi)
movq %r14, 0x18(%rsi)
leaq -0x250(%rbp), %rdx
movq %r15, (%rdx)
movq %r12, 0x8(%rdx)
movq $0x0, (%rsp)
movl $0x67, %ecx
movl $0x1, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x5740
leaq -0x98(%rbp), %rdi
callq 0x2e804
leaq -0x240(%rbp), %rdi
callq 0xf870
leaq -0x110(%rbp), %rdi
callq 0x1e712
addq $0x3d8, %rsp            # imm = 0x3D8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r15
leaq -0x98(%rbp), %rdi
callq 0x2e804
jmp 0x2c8a3
movq %rdx, %r12
movq %rax, %r15
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2c7cc
callq 0x5380
jmp 0x2c7cc
jmp 0x2c8a0
movq %rdx, %r12
movq %rax, %r15
cmpl $0x1, %r12d
jne 0x2c8a3
movq %r15, %rdi
callq 0x5170
movb $0x1, %bl
callq 0x5640
leaq 0x43fef(%rip), %r15     # 0x707db
leaq 0x43ff6(%rip), %r12     # 0x707e9
jmp 0x2c6b6
jmp 0x2c8a0
jmp 0x2c806
jmp 0x2c817
jmp 0x2c8a0
movq %rax, %r15
leaq -0xd0(%rbp), %rdi
callq 0x2e804
jmp 0x2c81a
movq %rax, %r15
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
jmp 0x2c86d
jmp 0x2c8a0
jmp 0x2c854
jmp 0x2c862
jmp 0x2c8a0
jmp 0x2c854
jmp 0x2c862
jmp 0x2c8a0
jmp 0x2c854
jmp 0x2c862
jmp 0x2c8a0
movq %rax, %r15
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
jne 0x2c872
jmp 0x2c8a3
jmp 0x2c8a0
jmp 0x2c854
jmp 0x2c862
jmp 0x2c8a0
jmp 0x2c854
jmp 0x2c862
jmp 0x2c8a0
movq %rax, %r15
leaq -0x78(%rbp), %rdi
callq 0x2e804
jmp 0x2c865
movq %rax, %r15
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x2c8a3
callq 0x5380
jmp 0x2c8a3
jmp 0x2c8a0
jmp 0x2c89b
jmp 0x2c885
jmp 0x2c89b
jmp 0x2c885
jmp 0x2c89b
movq %rax, %r15
movq -0x240(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2c8af
callq 0x5380
jmp 0x2c8af
movq %rax, %r15
jmp 0x2c8af
movq %rax, %r15
leaq -0x240(%rbp), %rdi
callq 0xf870
leaq -0x110(%rbp), %rdi
callq 0x1e712
movq %r15, %rdi
callq 0x56f0