// File: /workspace/github_c_makefile_star2_O1/johsteffens[P]beth/lib/bcore/bcore.xo.c
// Function: x_btml_t_test_transfer
sz_t x_btml_t_test_transfer( const x_btml* o, tp_t t )
{
    // bcore_x_btml.h:682:1
    BLM_INIT_LEVEL(0);
    st_s* string = st_s_create();
    x_btml_t_to_sink(o,t,((x_sink*)( string )));
    sz_t file_size = string->size;
    x_source* source = ((x_source*)BLM_LEVEL_A_PUSH(0,x_source_create_from_st_d(string )));
    
    x_btml* o2 =((x_btml*)( x_inst_t_create(t )));
    if( x_btml_t_from_source(o2,t, source ) )
    {
        bcore_error_pop_all_to_stderr();
        ERR_fa( "\n" );
    }
    
    s2_t c = bcore_compare_bityped( t, o, t, o2 );
    if( c != 0 )
    {BLM_INIT_LEVEL(1);
        const st_s* diff = ((st_s*)BLM_LEVEL_T_PUSH(1,st_s,((st_s*)(bcore_diff_bityped( t, o, t, o2 )))));
        if( diff )
        {
            ERR( "Comparison returned '%"PRIi32"':\n%s\n", c, diff->sc );
        }
        else
        {
            ERR( "Comparison returned '%"PRIi32"' but diff returned 'NULL'\n", c );
        }
    BLM_DOWN();}
    
    x_inst_t_discard(((x_inst*)(o2)),t );
    BLM_RETURNV(sz_t, file_size)
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rsi, %rbx
movq %rdi, %r12
leaq 0x12e3d6(%rip), %rax    # 0x1a8dd0
movq (%rax), %rsi
leaq 0x8(%rsp), %r13
movq %r13, %rdi
callq 0xe0431
movq $0x0, 0x10(%r13)
xorl %r15d, %r15d
xorl %eax, %eax
callq 0x114bbb
movq %rax, %rbp
movq %r12, %rdi
movq %rbx, %rsi
xorl %edx, %edx
movl $0x1, %ecx
movq %rax, %r8
xorl %r9d, %r9d
callq 0x767fb
movq 0x10(%rbp), %r14
movq %rbp, %rdi
callq 0xee7f3
movq %r13, %rdi
xorl %esi, %esi
movq %rax, %rdx
callq 0xe0900
movq %rax, %r13
movabsq $-0x3b1008a961ddaa8, %rdi # imm = 0xFC4EFF7569E22558
movq %rbx, %rsi
callq 0x1222bd
testq %rbx, %rbx
je 0x7ab0c
leaq 0x12e9f3(%rip), %rax    # 0x1a9468
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 0x7aacf
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x7aacf
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x7aacf
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x7acc5
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x7aaff
movabsq $0x782b96602f424981, %rdi # imm = 0x782B96602F424981
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x12e974(%rip), %rdi    # 0x1a9468
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r15, %rdi
callq *0xa8(%r15)
movq %rax, %r15
movq %r15, %rdi
movq %rbx, %rsi
movq %r13, %rdx
callq 0x758aa
testq %rax, %rax
je 0x7ab45
callq 0xc8ba5
leaq 0xc845c(%rip), %rdi     # 0x142f87
leaq 0xc7984(%rip), %rsi     # 0x1424b6
leaq 0xd8bb5(%rip), %rcx     # 0x1536ee
movl $0xf2c, %edx            # imm = 0xF2C
xorl %eax, %eax
callq 0xc825d
movq %rbx, %rdi
movq %r12, %rsi
movq %rbx, %rdx
movq %r15, %rcx
callq 0xfe971
testl %eax, %eax
je 0x7ac05
movl %eax, %ebp
leaq 0x38(%rsp), %rdi
movq %rdi, (%rsp)
leaq 0x8(%rsp), %rsi
callq 0xe0431
movq (%rsp), %r13
movq $0x1, 0x10(%r13)
movq %rbx, %rdi
movq %r12, %rsi
movq %rbx, %rdx
movq %r15, %rcx
callq 0xff49a
movabsq $-0x503db0e6e1c2e704, %rdx # imm = 0xAFC24F191E3D18FC
movl $0x1, %esi
movq %r13, %rdi
movq %rax, %rcx
callq 0xe0676
testq %rax, %rax
je 0x7abd9
movq 0x8(%rax), %r9
leaq 0xc83cd(%rip), %rdi     # 0x142f87
leaq 0xc78f5(%rip), %rsi     # 0x1424b6
leaq 0xc83d6(%rip), %rcx     # 0x142f9e
movl $0xf35, %edx            # imm = 0xF35
movl %ebp, %r8d
xorl %eax, %eax
callq 0xc80f6
jmp 0x7abfd
leaq 0xc83a7(%rip), %rdi     # 0x142f87
leaq 0xc78cf(%rip), %rsi     # 0x1424b6
leaq 0xc83ce(%rip), %rcx     # 0x142fbc
movl $0xf39, %edx            # imm = 0xF39
movl %ebp, %r8d
xorl %eax, %eax
callq 0xc80f6
movq %rsp, %rdi
callq 0xe0b11
testq %r15, %r15
je 0x7aca9
leaq 0x12e853(%rip), %rax    # 0x1a9468
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 0x7ac6b
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x7ac6b
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x7ac6b
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x7accd
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x7ac9b
movabsq $0x782b96602f424981, %rdi # imm = 0x782B96602F424981
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x12e7d8(%rip), %rdi    # 0x1a9468
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r12, %rdi
movq %r15, %rsi
callq *0xb8(%r12)
leaq 0x8(%rsp), %rdi
callq 0xe0b30
movq %r14, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorl %r15d, %r15d
jmp 0x7aad3
xorl %r12d, %r12d
jmp 0x7ac6f