// File: /workspace/github_c_makefile_star2_O1/johsteffens[P]beth/lib/bcore/bcore_st.c
// Function: st_s_quicktest
static void st_s_quicktest( void )
{
    uz_t granted_space = bcore_tbman_total_granted_space();

    bcore_life_s* life = bcore_life_s_create();
    st_s* s = bcore_life_s_push( life, ( bcore_fp_discard )st_s_discard, st_s_create() );

    ASSERT( s->size == 0 );
    ASSERT( s->space == 0 );
    st_s_copy_sc( s, "My little white elephant!" );
    ASSERT( st_s_equal_sc( s, "My little white elephant!" ) );
    st_s_replace_sc_sc( s, "white", "green" );
    ASSERT( st_s_equal_sc( s, "My little green elephant!" ) );

    bool is_green = false;
    bool is_blue  = false;
    st_s* name = bcore_life_s_push( life, ( bcore_fp_discard )st_s_discard, st_s_create() );
    uz_t idx = st_s_parse_fa( s, 0, s->size, "My #name #?w'blue' #?w'green' eleph", name, &is_blue, &is_green );
    ASSERT( st_s_equal_sc( name, "little" ) );
    ASSERT( is_green );
    ASSERT( !is_blue );
    ASSERT( bcore_strcmp( s->sc + idx, "ant!" ) == 0 );

    s2_t num0 = -12345;
    st_s_copy_sc( s, "This number is " );
    st_s_push_typed( s, typeof( "s2_t" ), &num0 );
    st_s_push_sc( s, " and an integer" );
    s3_t num1 = 0;
    idx = st_s_parse_fa( s, 0, s->size, "This number is #<s3_t*>", &num1 );
    ASSERT( num1 == -12345 );
    ASSERT( bcore_strcmp( s->sc + idx, " and an integer" ) == 0 );

    idx = st_s_parse_fa( s, 0, s->size, "This number is #s3_t", &num1 );
    ASSERT( num1 == -12345 );
    ASSERT( bcore_strcmp( s->sc + idx, " and an integer" ) == 0 );

    st_s* ws = bcore_life_s_push( life, ( bcore_fp_discard )st_s_discard, st_s_create() );
    st_s_assign_sc( ws, "This is a weak string" );

    ASSERT( st_s_cmp_sc( ws, "This is a weak string" ) == 0 );
    ASSERT( ws->space == 0 );

    // replacing data forces weak strings to become strong
    st_s_replace_sc_sc( ws, "weak", "strong" );
    ASSERT( st_s_cmp_sc( ws, "This is a strong string" ) == 0 );
    ASSERT( ws->space > 0 );

    // advanced formatting
    {
        s2_t v = -100;
        st_s_clear( s );
        st_s_push_fa( s, "abc#<s2_t>def", v );
        ASSERT( st_s_cmp_sc( s, "abc-100def" ) == 0 );
        st_s_clear( s );
        st_s_push_fa( s, "abc#s2_tdef", v );
        ASSERT( st_s_cmp_sc( s, "abc-100def" ) == 0 );
        st_s_clear( s );
        st_s_push_fa( s, "abc#<s2_t*>def", &v );
        ASSERT( st_s_cmp_sc( s, "abc-100def" ) == 0 );
        st_s_clear( s );
        st_s_push_fa( s, "#p10.{#<s2_t*>}\n", &v );
        ASSERT( st_s_cmp_sc( s, "-100......\n" ) == 0 );
        st_s_clear( s );
        st_s_push_fa( s, "#pl10.{#<s2_t*>}\n", &v );
        ASSERT( st_s_cmp_sc( s, "......-100\n" ) == 0 );
        st_s_clear( s );
        st_s_push_fa( s, "#p3.{#<s2_t*>}\n", &v );
        ASSERT( st_s_cmp_sc( s, "-100\n" ) == 0 );
        st_s_clear( s );
        st_s_push_fa( s, "#pl10.{#pn*{#<s2_t*>}}\n", ( uz_t )6, &v );
        ASSERT( st_s_cmp_sc( s, "....-100**\n" ) == 0 );
        st_s_clear( s );
        st_s_push_fa( s, "#r3{#<s2_t*>}\n", &v );
        ASSERT( st_s_cmp_sc( s, "-100-100-100\n" ) == 0 );
        st_s_clear( s );
        st_s_push_fa( s, "#t3{#<s2_t*>}\n", &v );
        ASSERT( st_s_cmp_sc( s, "-10\n" ) == 0 );
        st_s_clear( s );
        st_s_push_fa( s, "#tl3{#<s2_t*>}\n", &v );
        ASSERT( st_s_cmp_sc( s, "100\n" ) == 0 );
        st_s_clear( s );
        st_s_push_fa( s, "#tl5{#<s2_t*>}\n", &v );
        ASSERT( st_s_cmp_sc( s, "-100\n" ) == 0 );
    }

    // advanced parsing
    {
        st_s_clear( s );
        st_s_push_fa( s, "This is my string." );
        bl_t flag = false;
        uz_t idx;
        idx = st_s_parse_fa( s, 0, s->size, "This is #?([0]=='m'&&[3]=='s')my string.", &flag );
        ASSERT( idx == s->size );
        ASSERT( flag );
        idx = st_s_parse_fa( s, 0, s->size, "This is #?!([0]=='m'&&![3]=='k')my string.", &flag );
        ASSERT( idx == s->size );
        ASSERT( !flag );
        idx = st_s_parse_fa( s, 0, s->size, "This is #?([0]<=[3])my string.", &flag );
        ASSERT( idx == s->size );
        ASSERT( flag );
        idx = st_s_parse_fa( s, 0, s->size, "This is #?!([0]>='0'&&[0]<='9')my string.", &flag );
        ASSERT( idx == s->size );
        ASSERT( flag );
    }

    bcore_life_s_discard( life );

    ASSERT( granted_space == bcore_tbman_total_granted_space() );
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movabsq $-0x503db0e6e1c2e704, %rbx # imm = 0xAFC24F191E3D18FC
callq 0x11c4a0
movq %rax, 0x10(%rsp)
xorl %eax, %eax
callq 0xe03d4
movq %rax, %rbp
movl $0x20, %esi
xorl %edi, %edi
xorl %edx, %edx
callq 0xc832f
movq %rbx, (%rax)
leaq 0x3a6f5(%rip), %rbx     # 0x1536ef
movq %rbx, 0x8(%rax)
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rax)
leaq -0x40ab(%rip), %rsi     # 0x114f61
movq %rbp, %rdi
movq %rax, %rdx
callq 0xe0526
movq %rax, %r15
cmpq $0x0, 0x10(%rax)
je 0x11904a
leaq 0x1f61f(%rip), %rdi     # 0x138647
leaq 0x3e5a3(%rip), %rsi     # 0x1575d2
leaq 0x3e5a9(%rip), %rdx     # 0x1575df
leaq 0x3defb(%rip), %rcx     # 0x156f38
movl $0x95f, %r8d            # imm = 0x95F
xorl %eax, %eax
callq 0xc8053
cmpq $0x0, 0x18(%r15)
je 0x11907a
leaq 0x1f5ef(%rip), %rdi     # 0x138647
leaq 0x3e786(%rip), %rsi     # 0x1577e5
leaq 0x3e579(%rip), %rdx     # 0x1575df
leaq 0x3decb(%rip), %rcx     # 0x156f38
movl $0x960, %r8d            # imm = 0x960
xorl %eax, %eax
callq 0xc8053
leaq 0x3e56d(%rip), %r12     # 0x1575ee
movq %r12, %rdi
callq 0xc84d7
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1144cd
testq %r15, %r15
je 0x1190a2
movq 0x8(%r15), %rdi
jmp 0x1190a4
xorl %edi, %edi
leaq 0x3e543(%rip), %rsi     # 0x1575ee
callq 0xc84cd
testl %eax, %eax
je 0x1190dd
leaq 0x1f58c(%rip), %rdi     # 0x138647
leaq 0x3e546(%rip), %rsi     # 0x157608
leaq 0x3e516(%rip), %rdx     # 0x1575df
leaq 0x3de68(%rip), %rcx     # 0x156f38
movl $0x962, %r8d            # imm = 0x962
xorl %eax, %eax
callq 0xc8053
leaq 0x3e554(%rip), %rsi     # 0x157638
leaq 0x3e5eb(%rip), %rdx     # 0x1576d6
movq %r15, %rdi
callq 0x116257
testq %r15, %r15
je 0x1190fe
movq 0x8(%r15), %rdi
jmp 0x119100
xorl %edi, %edi
leaq 0x3e537(%rip), %rsi     # 0x15763e
callq 0xc84cd
testl %eax, %eax
je 0x119139
leaq 0x1f530(%rip), %rdi     # 0x138647
leaq 0x3e53a(%rip), %rsi     # 0x157658
leaq 0x3e4ba(%rip), %rdx     # 0x1575df
leaq 0x3de0c(%rip), %rcx     # 0x156f38
movl $0x964, %r8d            # imm = 0x964
xorl %eax, %eax
callq 0xc8053
xorl %r13d, %r13d
leaq 0xf(%rsp), %r14
movb %r13b, (%r14)
leaq 0xe(%rsp), %r12
movb %r13b, (%r12)
movl $0x20, %esi
xorl %edi, %edi
xorl %edx, %edx
callq 0xc832f
movabsq $-0x503db0e6e1c2e704, %rcx # imm = 0xAFC24F191E3D18FC
movq %rcx, (%rax)
movq %rbx, 0x8(%rax)
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rax)
leaq -0x4219(%rip), %rsi     # 0x114f61
movq %rbp, %rbx
movq %rbp, %rdi
movq %rax, %rdx
callq 0xe0526
movq %rax, %rbp
movq 0x10(%r15), %rdx
movq %r14, (%rsp)
leaq 0x3e4ee(%rip), %rcx     # 0x157688
movq %r15, %rdi
xorl %esi, %esi
movq %rax, %r8
movq %r12, %r9
xorl %eax, %eax
callq 0x11886c
movq %rax, %r12
testq %rbp, %rbp
je 0x1191b8
movq 0x8(%rbp), %r13
leaq 0x3e4ed(%rip), %rsi     # 0x1576ac
movq %r13, %rdi
callq 0xc84cd
testl %eax, %eax
je 0x1191f4
leaq 0x1f475(%rip), %rdi     # 0x138647
leaq 0x3e4da(%rip), %rsi     # 0x1576b3
leaq 0x3e3ff(%rip), %rdx     # 0x1575df
leaq 0x3dd51(%rip), %rcx     # 0x156f38
movl $0x96a, %r8d            # imm = 0x96A
xorl %eax, %eax
callq 0xc8053
cmpb $0x0, 0xf(%rsp)
movq %rbx, %r14
jne 0x119227
leaq 0x1f442(%rip), %rdi     # 0x138647
leaq 0x3e4c7(%rip), %rsi     # 0x1576d3
leaq 0x3e3cc(%rip), %rdx     # 0x1575df
leaq 0x3dd1e(%rip), %rcx     # 0x156f38
movl $0x96b, %r8d            # imm = 0x96B
xorl %eax, %eax
callq 0xc8053
cmpb $0x1, 0xe(%rsp)
leaq 0x3a4bc(%rip), %rbx     # 0x1536ef
jne 0x11925e
leaq 0x1f40b(%rip), %rdi     # 0x138647
leaq 0x3e499(%rip), %rsi     # 0x1576dc
leaq 0x3e395(%rip), %rdx     # 0x1575df
leaq 0x3dce7(%rip), %rcx     # 0x156f38
movl $0x96c, %r8d            # imm = 0x96C
xorl %eax, %eax
callq 0xc8053
addq 0x8(%r15), %r12
leaq 0x3e39a(%rip), %rsi     # 0x157603
movq %r12, %rdi
callq 0xc84cd
testl %eax, %eax
je 0x11929e
leaq 0x1f3cb(%rip), %rdi     # 0x138647
leaq 0x3e462(%rip), %rsi     # 0x1576e5
leaq 0x3e355(%rip), %rdx     # 0x1575df
leaq 0x3dca7(%rip), %rcx     # 0x156f38
movl $0x96d, %r8d            # imm = 0x96D
xorl %eax, %eax
callq 0xc8053
leaq 0x24(%rsp), %r12
movl $0xffffcfc7, (%r12)     # imm = 0xFFFFCFC7
leaq 0x3e45c(%rip), %r13     # 0x15770e
movq %r13, %rdi
callq 0xc84d7
movq %r15, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x1144cd
movabsq $0x510c2417c67dabeb, %rsi # imm = 0x510C2417C67DABEB
movq %r15, %rdi
movq %r12, %rdx
callq 0x115647
leaq 0x3e43a(%rip), %r12     # 0x15771e
movq %r12, %rdi
callq 0xc84d7
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x11559a
leaq 0x18(%rsp), %r13
movq $0x0, (%r13)
movq 0x10(%r15), %rdx
leaq 0x3e41c(%rip), %rcx     # 0x15772e
movq %r15, %rdi
xorl %esi, %esi
movq %r13, %r8
xorl %eax, %eax
callq 0x11886c
movq %rax, %r12
cmpq $-0x3039, (%r13)        # imm = 0xCFC7
je 0x119357
leaq 0x1f312(%rip), %rdi     # 0x138647
leaq 0x3e40a(%rip), %rsi     # 0x157746
leaq 0x3e29c(%rip), %rdx     # 0x1575df
leaq 0x3dbee(%rip), %rcx     # 0x156f38
movl $0x975, %r8d            # imm = 0x975
xorl %eax, %eax
callq 0xc8053
addq 0x8(%r15), %r12
leaq 0x3e3bc(%rip), %rsi     # 0x15771e
movq %r12, %rdi
callq 0xc84cd
testl %eax, %eax
je 0x119397
leaq 0x1f2d2(%rip), %rdi     # 0x138647
leaq 0x3e3d9(%rip), %rsi     # 0x157755
leaq 0x3e25c(%rip), %rdx     # 0x1575df
leaq 0x3dbae(%rip), %rcx     # 0x156f38
movl $0x976, %r8d            # imm = 0x976
xorl %eax, %eax
callq 0xc8053
movq 0x10(%r15), %rdx
leaq 0x3e3e7(%rip), %rcx     # 0x157789
leaq 0x18(%rsp), %r13
movq %r15, %rdi
xorl %esi, %esi
movq %r13, %r8
xorl %eax, %eax
callq 0x11886c
movq %rax, %r12
cmpq $-0x3039, (%r13)        # imm = 0xCFC7
je 0x1193ec
leaq 0x1f27d(%rip), %rdi     # 0x138647
leaq 0x3e375(%rip), %rsi     # 0x157746
leaq 0x3e207(%rip), %rdx     # 0x1575df
leaq 0x3db59(%rip), %rcx     # 0x156f38
movl $0x979, %r8d            # imm = 0x979
xorl %eax, %eax
callq 0xc8053
addq 0x8(%r15), %r12
leaq 0x3e327(%rip), %rsi     # 0x15771e
movq %r12, %rdi
callq 0xc84cd
testl %eax, %eax
je 0x11942c
leaq 0x1f23d(%rip), %rdi     # 0x138647
leaq 0x3e344(%rip), %rsi     # 0x157755
leaq 0x3e1c7(%rip), %rdx     # 0x1575df
leaq 0x3db19(%rip), %rcx     # 0x156f38
movl $0x97a, %r8d            # imm = 0x97A
xorl %eax, %eax
callq 0xc8053
xorl %r13d, %r13d
movl $0x20, %esi
xorl %edi, %edi
xorl %edx, %edx
callq 0xc832f
movabsq $-0x503db0e6e1c2e704, %rcx # imm = 0xAFC24F191E3D18FC
movq %rcx, (%rax)
movq %rbx, 0x8(%rax)
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rax)
leaq -0x44fb(%rip), %rsi     # 0x114f61
movq %r14, %rdi
movq %rax, %rdx
callq 0xe0526
movq %rax, %r12
leaq 0x3e32d(%rip), %rsi     # 0x15779e
movq %rax, %rdi
callq 0x1145de
testq %r12, %r12
je 0x119483
movq 0x8(%r12), %r13
leaq 0x3e314(%rip), %rsi     # 0x15779e
movq %r13, %rdi
callq 0xc84cd
testl %eax, %eax
je 0x1194bf
leaq 0x1f1aa(%rip), %rdi     # 0x138647
leaq 0x3e310(%rip), %rsi     # 0x1577b4
leaq 0x3e134(%rip), %rdx     # 0x1575df
leaq 0x3da86(%rip), %rcx     # 0x156f38
movl $0x97f, %r8d            # imm = 0x97F
xorl %eax, %eax
callq 0xc8053
cmpq $0x0, 0x18(%r12)
je 0x1194f0
leaq 0x1f179(%rip), %rdi     # 0x138647
leaq 0x3e30f(%rip), %rsi     # 0x1577e4
leaq 0x3e103(%rip), %rdx     # 0x1575df
leaq 0x3da55(%rip), %rcx     # 0x156f38
movl $0x980, %r8d            # imm = 0x980
xorl %eax, %eax
callq 0xc8053
leaq 0x2ffaf(%rip), %rsi     # 0x1494a6
leaq 0x3a67b(%rip), %rdx     # 0x153b79
movq %r12, %rdi
callq 0x116257
testq %r12, %r12
je 0x119512
movq 0x8(%r12), %rdi
jmp 0x119514
xorl %edi, %edi
leaq 0x3e2d8(%rip), %rsi     # 0x1577f3
callq 0xc84cd
testl %eax, %eax
je 0x11954d
leaq 0x1f11c(%rip), %rdi     # 0x138647
leaq 0x3e2d9(%rip), %rsi     # 0x15780b
leaq 0x3e0a6(%rip), %rdx     # 0x1575df
leaq 0x3d9f8(%rip), %rcx     # 0x156f38
movl $0x984, %r8d            # imm = 0x984
xorl %eax, %eax
callq 0xc8053
cmpq $0x0, 0x18(%r12)
jne 0x11957e
leaq 0x1f0eb(%rip), %rdi     # 0x138647
leaq 0x3e2da(%rip), %rsi     # 0x15783d
leaq 0x3e075(%rip), %rdx     # 0x1575df
leaq 0x3d9c7(%rip), %rcx     # 0x156f38
movl $0x985, %r8d            # imm = 0x985
xorl %eax, %eax
callq 0xc8053
movl $0xffffff9c, 0x8(%rsp)  # imm = 0xFFFFFF9C
cmpq $0x0, 0x10(%r15)
je 0x1195a9
cmpq $0x0, 0x18(%r15)
je 0x11959d
movq 0x8(%r15), %rax
movb $0x0, (%rax)
jmp 0x1195a1
movq %rbx, 0x8(%r15)
movq $0x0, 0x10(%r15)
movl 0x8(%rsp), %edx
leaq 0x3e297(%rip), %rsi     # 0x15784b
xorl %r12d, %r12d
movq %r15, %rdi
xorl %eax, %eax
callq 0x1157cb
testq %r15, %r15
je 0x1195ca
movq 0x8(%r15), %r12
leaq 0x3e288(%rip), %rsi     # 0x157859
movq %r12, %rdi
callq 0xc84cd
testl %eax, %eax
je 0x119606
leaq 0x1f063(%rip), %rdi     # 0x138647
leaq 0x3e279(%rip), %rsi     # 0x157864
leaq 0x3dfed(%rip), %rdx     # 0x1575df
leaq 0x3d93f(%rip), %rcx     # 0x156f38
movl $0x98c, %r8d            # imm = 0x98C
xorl %eax, %eax
callq 0xc8053
cmpq $0x0, 0x10(%r15)
je 0x119629
cmpq $0x0, 0x18(%r15)
je 0x11961d
movq 0x8(%r15), %rax
movb $0x0, (%rax)
jmp 0x119621
movq %rbx, 0x8(%r15)
movq $0x0, 0x10(%r15)
movl 0x8(%rsp), %edx
leaq 0x3e254(%rip), %rsi     # 0x157888
xorl %r12d, %r12d
movq %r15, %rdi
xorl %eax, %eax
callq 0x1157cb
testq %r15, %r15
je 0x11964a
movq 0x8(%r15), %r12
leaq 0x3e208(%rip), %rsi     # 0x157859
movq %r12, %rdi
callq 0xc84cd
testl %eax, %eax
je 0x119686
leaq 0x1efe3(%rip), %rdi     # 0x138647
leaq 0x3e1f9(%rip), %rsi     # 0x157864
leaq 0x3df6d(%rip), %rdx     # 0x1575df
leaq 0x3d8bf(%rip), %rcx     # 0x156f38
movl $0x98f, %r8d            # imm = 0x98F
xorl %eax, %eax
callq 0xc8053
cmpq $0x0, 0x10(%r15)
je 0x1196a9
cmpq $0x0, 0x18(%r15)
je 0x11969d
movq 0x8(%r15), %rax
movb $0x0, (%rax)
jmp 0x1196a1
movq %rbx, 0x8(%r15)
movq $0x0, 0x10(%r15)
leaq 0x3e1e4(%rip), %rsi     # 0x157894
xorl %r12d, %r12d
leaq 0x8(%rsp), %rdx
movq %r15, %rdi
xorl %eax, %eax
callq 0x1157cb
testq %r15, %r15
je 0x1196cb
movq 0x8(%r15), %r12
leaq 0x3e187(%rip), %rsi     # 0x157859
movq %r12, %rdi
callq 0xc84cd
testl %eax, %eax
je 0x119707
leaq 0x1ef62(%rip), %rdi     # 0x138647
leaq 0x3e178(%rip), %rsi     # 0x157864
leaq 0x3deec(%rip), %rdx     # 0x1575df
leaq 0x3d83e(%rip), %rcx     # 0x156f38
movl $0x992, %r8d            # imm = 0x992
xorl %eax, %eax
callq 0xc8053
cmpq $0x0, 0x10(%r15)
je 0x11972a
cmpq $0x0, 0x18(%r15)
je 0x11971e
movq 0x8(%r15), %rax
movb $0x0, (%rax)
jmp 0x119722
movq %rbx, 0x8(%r15)
movq $0x0, 0x10(%r15)
leaq 0x3e172(%rip), %rsi     # 0x1578a3
xorl %r12d, %r12d
leaq 0x8(%rsp), %rdx
movq %r15, %rdi
xorl %eax, %eax
callq 0x1157cb
testq %r15, %r15
je 0x11974c
movq 0x8(%r15), %r12
leaq 0x3e161(%rip), %rsi     # 0x1578b4
movq %r12, %rdi
callq 0xc84cd
testl %eax, %eax
je 0x119788
leaq 0x1eee1(%rip), %rdi     # 0x138647
leaq 0x3e153(%rip), %rsi     # 0x1578c0
leaq 0x3de6b(%rip), %rdx     # 0x1575df
leaq 0x3d7bd(%rip), %rcx     # 0x156f38
movl $0x995, %r8d            # imm = 0x995
xorl %eax, %eax
callq 0xc8053
cmpq $0x0, 0x10(%r15)
je 0x1197ab
cmpq $0x0, 0x18(%r15)
je 0x11979f
movq 0x8(%r15), %rax
movb $0x0, (%rax)
jmp 0x1197a3
movq %rbx, 0x8(%r15)
movq $0x0, 0x10(%r15)
leaq 0x3e134(%rip), %rsi     # 0x1578e6
xorl %r12d, %r12d
leaq 0x8(%rsp), %rdx
movq %r15, %rdi
xorl %eax, %eax
callq 0x1157cb
testq %r15, %r15
je 0x1197cd
movq 0x8(%r15), %r12
leaq 0x3e124(%rip), %rsi     # 0x1578f8
movq %r12, %rdi
callq 0xc84cd
testl %eax, %eax
je 0x119809
leaq 0x1ee60(%rip), %rdi     # 0x138647
leaq 0x3e116(%rip), %rsi     # 0x157904
leaq 0x3ddea(%rip), %rdx     # 0x1575df
leaq 0x3d73c(%rip), %rcx     # 0x156f38
movl $0x998, %r8d            # imm = 0x998
xorl %eax, %eax
callq 0xc8053
cmpq $0x0, 0x10(%r15)
je 0x11982c
cmpq $0x0, 0x18(%r15)
je 0x119820
movq 0x8(%r15), %rax
movb $0x0, (%rax)
jmp 0x119824
movq %rbx, 0x8(%r15)
movq $0x0, 0x10(%r15)
leaq 0x3e0f7(%rip), %rsi     # 0x15792a
xorl %r12d, %r12d
leaq 0x8(%rsp), %rdx
movq %r15, %rdi
xorl %eax, %eax
callq 0x1157cb
testq %r15, %r15
je 0x11984e
movq 0x8(%r15), %r12
leaq 0x3e0a9(%rip), %rsi     # 0x1578fe
movq %r12, %rdi
callq 0xc84cd
testl %eax, %eax
je 0x11988a
leaq 0x1eddf(%rip), %rdi     # 0x138647
leaq 0x3e0cb(%rip), %rsi     # 0x15793a
leaq 0x3dd69(%rip), %rdx     # 0x1575df
leaq 0x3d6bb(%rip), %rcx     # 0x156f38
movl $0x99b, %r8d            # imm = 0x99B
xorl %eax, %eax
callq 0xc8053
cmpq $0x0, 0x10(%r15)
je 0x1198ad
cmpq $0x0, 0x18(%r15)
je 0x1198a1
movq 0x8(%r15), %rax
movb $0x0, (%rax)
jmp 0x1198a5
movq %rbx, 0x8(%r15)
movq $0x0, 0x10(%r15)
leaq 0x3e0a6(%rip), %rsi     # 0x15795a
xorl %r12d, %r12d
leaq 0x8(%rsp), %rcx
movl $0x6, %edx
movq %r15, %rdi
xorl %eax, %eax
callq 0x1157cb
testq %r15, %r15
je 0x1198d4
movq 0x8(%r15), %r12
leaq 0x3e097(%rip), %rsi     # 0x157972
movq %r12, %rdi
callq 0xc84cd
testl %eax, %eax
je 0x119910
leaq 0x1ed59(%rip), %rdi     # 0x138647
leaq 0x3e089(%rip), %rsi     # 0x15797e
leaq 0x3dce3(%rip), %rdx     # 0x1575df
leaq 0x3d635(%rip), %rcx     # 0x156f38
movl $0x99e, %r8d            # imm = 0x99E
xorl %eax, %eax
callq 0xc8053
cmpq $0x0, 0x10(%r15)
je 0x119933
cmpq $0x0, 0x18(%r15)
je 0x119927
movq 0x8(%r15), %rax
movb $0x0, (%rax)
jmp 0x11992b
movq %rbx, 0x8(%r15)
movq $0x0, 0x10(%r15)
leaq 0x3e06a(%rip), %rsi     # 0x1579a4
xorl %r12d, %r12d
leaq 0x8(%rsp), %rdx
movq %r15, %rdi
xorl %eax, %eax
callq 0x1157cb
testq %r15, %r15
je 0x119955
movq 0x8(%r15), %r12
leaq 0x3e057(%rip), %rsi     # 0x1579b3
movq %r12, %rdi
callq 0xc84cd
testl %eax, %eax
je 0x119991
leaq 0x1ecd8(%rip), %rdi     # 0x138647
leaq 0x3e04b(%rip), %rsi     # 0x1579c1
leaq 0x3dc62(%rip), %rdx     # 0x1575df
leaq 0x3d5b4(%rip), %rcx     # 0x156f38
movl $0x9a1, %r8d            # imm = 0x9A1
xorl %eax, %eax
callq 0xc8053
cmpq $0x0, 0x10(%r15)
je 0x1199b4
cmpq $0x0, 0x18(%r15)
je 0x1199a8
movq 0x8(%r15), %rax
movb $0x0, (%rax)
jmp 0x1199ac
movq %rbx, 0x8(%r15)
movq $0x0, 0x10(%r15)
leaq 0x3e02e(%rip), %rsi     # 0x1579e9
xorl %r12d, %r12d
leaq 0x8(%rsp), %rdx
movq %r15, %rdi
xorl %eax, %eax
callq 0x1157cb
testq %r15, %r15
je 0x1199d6
movq 0x8(%r15), %r12
leaq 0x3e01b(%rip), %rsi     # 0x1579f8
movq %r12, %rdi
callq 0xc84cd
testl %eax, %eax
je 0x119a12
leaq 0x1ec57(%rip), %rdi     # 0x138647
leaq 0x3e006(%rip), %rsi     # 0x1579fd
leaq 0x3dbe1(%rip), %rdx     # 0x1575df
leaq 0x3d533(%rip), %rcx     # 0x156f38
movl $0x9a4, %r8d            # imm = 0x9A4
xorl %eax, %eax
callq 0xc8053
cmpq $0x0, 0x10(%r15)
je 0x119a35
cmpq $0x0, 0x18(%r15)
je 0x119a29
movq 0x8(%r15), %rax
movb $0x0, (%rax)
jmp 0x119a2d
movq %rbx, 0x8(%r15)
movq $0x0, 0x10(%r15)
leaq 0x3dfe0(%rip), %rsi     # 0x157a1c
xorl %r12d, %r12d
leaq 0x8(%rsp), %rdx
movq %r15, %rdi
xorl %eax, %eax
callq 0x1157cb
testq %r15, %r15
je 0x119a57
movq 0x8(%r15), %r12
leaq 0x3dea1(%rip), %rsi     # 0x1578ff
movq %r12, %rdi
callq 0xc84cd
testl %eax, %eax
je 0x119a93
leaq 0x1ebd6(%rip), %rdi     # 0x138647
leaq 0x3dfb4(%rip), %rsi     # 0x157a2c
leaq 0x3db60(%rip), %rdx     # 0x1575df
leaq 0x3d4b2(%rip), %rcx     # 0x156f38
movl $0x9a7, %r8d            # imm = 0x9A7
xorl %eax, %eax
callq 0xc8053
cmpq $0x0, 0x10(%r15)
je 0x119ab6
cmpq $0x0, 0x18(%r15)
je 0x119aaa
movq 0x8(%r15), %rax
movb $0x0, (%rax)
jmp 0x119aae
movq %rbx, 0x8(%r15)
movq $0x0, 0x10(%r15)
leaq 0x3df8e(%rip), %rsi     # 0x157a4b
xorl %r12d, %r12d
leaq 0x8(%rsp), %rdx
movq %r15, %rdi
xorl %eax, %eax
callq 0x1157cb
testq %r15, %r15
je 0x119ad8
movq 0x8(%r15), %r12
leaq 0x3de1f(%rip), %rsi     # 0x1578fe
movq %r12, %rdi
callq 0xc84cd
testl %eax, %eax
je 0x119b14
leaq 0x1eb55(%rip), %rdi     # 0x138647
leaq 0x3de41(%rip), %rsi     # 0x15793a
leaq 0x3dadf(%rip), %rdx     # 0x1575df
leaq 0x3d431(%rip), %rcx     # 0x156f38
movl $0x9aa, %r8d            # imm = 0x9AA
xorl %eax, %eax
callq 0xc8053
cmpq $0x0, 0x10(%r15)
je 0x119b37
cmpq $0x0, 0x18(%r15)
je 0x119b2b
movq 0x8(%r15), %rax
movb $0x0, (%rax)
jmp 0x119b2f
movq %rbx, 0x8(%r15)
movq $0x0, 0x10(%r15)
leaq 0x3df1d(%rip), %rsi     # 0x157a5b
movq %r15, %rdi
xorl %eax, %eax
callq 0x1157cb
leaq 0x8(%rsp), %r8
movb $0x0, (%r8)
movq 0x10(%r15), %rdx
leaq 0x3df12(%rip), %rcx     # 0x157a6e
movq %r15, %rdi
xorl %esi, %esi
xorl %eax, %eax
callq 0x11886c
cmpq 0x10(%r15), %rax
je 0x119b97
leaq 0x1ead2(%rip), %rdi     # 0x138647
leaq 0x3df1b(%rip), %rsi     # 0x157a97
leaq 0x3da5c(%rip), %rdx     # 0x1575df
leaq 0x3d3ae(%rip), %rcx     # 0x156f38
movl $0x9b4, %r8d            # imm = 0x9B4
xorl %eax, %eax
callq 0xc8053
cmpb $0x0, 0x8(%rsp)
jne 0x119bc7
leaq 0x1eaa2(%rip), %rdi     # 0x138647
leaq 0x3df26(%rip), %rsi     # 0x157ad2
leaq 0x3da2c(%rip), %rdx     # 0x1575df
leaq 0x3d37e(%rip), %rcx     # 0x156f38
movl $0x9b5, %r8d            # imm = 0x9B5
xorl %eax, %eax
callq 0xc8053
movq 0x10(%r15), %rdx
leaq 0x3ded4(%rip), %rcx     # 0x157aa6
leaq 0x8(%rsp), %r8
movq %r15, %rdi
xorl %esi, %esi
xorl %eax, %eax
callq 0x11886c
cmpq 0x10(%r15), %rax
je 0x119c12
leaq 0x1ea57(%rip), %rdi     # 0x138647
leaq 0x3dea0(%rip), %rsi     # 0x157a97
leaq 0x3d9e1(%rip), %rdx     # 0x1575df
leaq 0x3d333(%rip), %rcx     # 0x156f38
movl $0x9b7, %r8d            # imm = 0x9B7
xorl %eax, %eax
callq 0xc8053
cmpb $0x1, 0x8(%rsp)
jne 0x119c42
leaq 0x1ea27(%rip), %rdi     # 0x138647
leaq 0x3deaa(%rip), %rsi     # 0x157ad1
leaq 0x3d9b1(%rip), %rdx     # 0x1575df
leaq 0x3d303(%rip), %rcx     # 0x156f38
movl $0x9b8, %r8d            # imm = 0x9B8
xorl %eax, %eax
callq 0xc8053
movq 0x10(%r15), %rdx
leaq 0x3de8a(%rip), %rcx     # 0x157ad7
leaq 0x8(%rsp), %r8
movq %r15, %rdi
xorl %esi, %esi
xorl %eax, %eax
callq 0x11886c
cmpq 0x10(%r15), %rax
je 0x119c8d
leaq 0x1e9dc(%rip), %rdi     # 0x138647
leaq 0x3de25(%rip), %rsi     # 0x157a97
leaq 0x3d966(%rip), %rdx     # 0x1575df
leaq 0x3d2b8(%rip), %rcx     # 0x156f38
movl $0x9ba, %r8d            # imm = 0x9BA
xorl %eax, %eax
callq 0xc8053
cmpb $0x0, 0x8(%rsp)
jne 0x119cbd
leaq 0x1e9ac(%rip), %rdi     # 0x138647
leaq 0x3de30(%rip), %rsi     # 0x157ad2
leaq 0x3d936(%rip), %rdx     # 0x1575df
leaq 0x3d288(%rip), %rcx     # 0x156f38
movl $0x9bb, %r8d            # imm = 0x9BB
xorl %eax, %eax
callq 0xc8053
movq 0x10(%r15), %rdx
leaq 0x3de2e(%rip), %rcx     # 0x157af6
leaq 0x8(%rsp), %r8
movq %r15, %rdi
xorl %esi, %esi
xorl %eax, %eax
callq 0x11886c
cmpq 0x10(%r15), %rax
je 0x119d08
leaq 0x1e961(%rip), %rdi     # 0x138647
leaq 0x3ddaa(%rip), %rsi     # 0x157a97
leaq 0x3d8eb(%rip), %rdx     # 0x1575df
leaq 0x3d23d(%rip), %rcx     # 0x156f38
movl $0x9bd, %r8d            # imm = 0x9BD
xorl %eax, %eax
callq 0xc8053
cmpb $0x0, 0x8(%rsp)
jne 0x119d38
leaq 0x1e931(%rip), %rdi     # 0x138647
leaq 0x3ddb5(%rip), %rsi     # 0x157ad2
leaq 0x3d8bb(%rip), %rdx     # 0x1575df
leaq 0x3d20d(%rip), %rcx     # 0x156f38
movl $0x9be, %r8d            # imm = 0x9BE
xorl %eax, %eax
callq 0xc8053
movq %r14, %rdi
callq 0xe0403
callq 0x11c4a0
cmpq %rax, 0x10(%rsp)
je 0x119d75
leaq 0x1e8f4(%rip), %rdi     # 0x138647
leaq 0x3ddc6(%rip), %rsi     # 0x157b20
leaq 0x3d87e(%rip), %rdx     # 0x1575df
leaq 0x3d1d0(%rip), %rcx     # 0x156f38
movl $0x9c3, %r8d            # imm = 0x9C3
xorl %eax, %eax
callq 0xc8053
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq