// File: /workspace/github_c_makefile_star2_O1/johsteffens[P]beth/lib/bcore/bcore.xo.c
// Function: x_bbml_push_leaf
void x_bbml_push_leaf( x_sink* sink, tp_t t, const x_inst* leaf )
{
    // bcore_x_bbml.h:332:1
    
    switch( t )
    {
        case TYPEOF_aware_t : x_sink_push_tp(sink,*(((const tp_t*)(leaf)) )); break;
        case TYPEOF_bl_t    : x_sink_push_bl(sink,*(((const bl_t*)(leaf)) )); break;
        case TYPEOF_f2_t    : x_sink_push_f2(sink,*(((const f2_t*)(leaf)) )); break;
        case TYPEOF_f3_t    : x_sink_push_f3(sink,*(((const f3_t*)(leaf)) )); break;
        case TYPEOF_s0_t    : x_sink_push_s0(sink,*(((const s0_t*)(leaf)) )); break;
        case TYPEOF_s1_t    : x_sink_push_s1(sink,*(((const s1_t*)(leaf)) )); break;
        case TYPEOF_s2_t    : x_sink_push_s2(sink,*(((const s2_t*)(leaf)) )); break;
        case TYPEOF_s3_t    : x_sink_push_s3(sink,*(((const s3_t*)(leaf)) )); break;
        case TYPEOF_sc_t    : break; // c-style constant strings are skipped over
        case TYPEOF_sz_t    : x_sink_push_sz(sink,*(((const sz_t*)(leaf)) )); break;
        case TYPEOF_uz_t    : x_sink_push_uz(sink,*(((const uz_t*)(leaf)) )); break;
        case TYPEOF_tp_t    : x_sink_push_tp(sink,*(((const tp_t*)(leaf)) )); break;
        case TYPEOF_u0_t    : x_sink_push_u0(sink,*(((const u0_t*)(leaf)) )); break;
        case TYPEOF_u1_t    : x_sink_push_u1(sink,*(((const u1_t*)(leaf)) )); break;
        case TYPEOF_u2_t    : x_sink_push_u2(sink,*(((const u2_t*)(leaf)) )); break;
        case TYPEOF_u3_t    : x_sink_push_u3(sink,*(((const u3_t*)(leaf)) )); break;
        default: ERR_fa( "Cannot convert type '#<sc_t>' into a binary stream.", bnameof( t ) );
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movabsq $-0x3ac242643d9c35a9, %rax # imm = 0xC53DBD9BC263CA57
cmpq %rax, %rsi
jg 0x7e9de
movabsq $-0x5aa4411ac4e2880f, %rax # imm = 0xA55BBEE53B1D77F1
cmpq %rax, %rsi
jg 0x7ea22
movabsq $-0x6119581ac7eacd64, %rax # imm = 0x9EE6A7E53815329C
cmpq %rax, %rsi
jg 0x7eb5e
movabsq $-0x73f6ae1ad309fd45, %rax # imm = 0x8C0951E52CF602BB
cmpq %rax, %rsi
je 0x7ee3a
movabsq $-0x6bce971ace902370, %rax # imm = 0x943168E5316FDC90
cmpq %rax, %rsi
je 0x7ed6f
jmp 0x7eeea
movabsq $0x585a3b17ca3de1ff, %rax # imm = 0x585A3B17CA3DE1FF
cmpq %rax, %rsi
jg 0x7ea69
movabsq $-0x84b14e74a9e1ff1, %rax # imm = 0xF7B4EB18B561E00F
cmpq %rax, %rsi
jg 0x7eb8e
movabsq $-0x3ac242643d9c35a8, %rax # imm = 0xC53DBD9BC263CA58
cmpq %rax, %rsi
je 0x7ee3a
movabsq $-0x388c46b188de83fe, %rax # imm = 0xC773B94E77217C02
jmp 0x7eca8
movabsq $-0x4882601bdca6aefc, %rax # imm = 0xB77D9FE423595104
cmpq %rax, %rsi
jg 0x7ec70
movabsq $-0x5aa4411ac4e2880e, %rax # imm = 0xA55BBEE53B1D77F2
cmpq %rax, %rsi
je 0x7ecb1
movabsq $-0x58737885f0577326, %rax # imm = 0xA78C877A0FA88CDA
cmpq %rax, %rsi
jne 0x7eeea
movss (%rdx), %xmm0
movss %xmm0, (%rsp)
jmp 0x7ebb9
movabsq $0x69849117d3eb7d61, %rax # imm = 0x69849117D3EB7D61
cmpq %rax, %rsi
jg 0x7ec8b
movabsq $0x585a3b17ca3de200, %rax # imm = 0x585A3B17CA3DE200
cmpq %rax, %rsi
je 0x7ecb1
movabsq $0x62367a17d02b474d, %rax # imm = 0x62367A17D02B474D
cmpq %rax, %rsi
jne 0x7eeea
movb (%rdx), %al
movb %al, (%rsp)
movq (%rbx), %r14
leaq 0x12afff(%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 %r14, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x7eb0b
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x7eb0b
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x7eb0b
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7ef40
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x7eb3b
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x12af80(%rip), %rdi    # 0x1a9ab0
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
cmpq $0x0, 0x10(%r15)
jne 0x7eb51
leaq 0xc6775(%rip), %rsi     # 0x1452be
movq %r15, %rdi
callq 0xf592c
movq %rsp, %rsi
movl $0x1, %edx
jmp 0x7ee28
movabsq $-0x6119581ac7eacd63, %rax # imm = 0x9EE6A7E53815329D
cmpq %rax, %rsi
je 0x7ebb4
movabsq $-0x5fc2af85f419929b, %rax # imm = 0xA03D507A0BE66D65
cmpq %rax, %rsi
jne 0x7eeea
movsd (%rdx), %xmm0
movsd %xmm0, (%rsp)
jmp 0x7ecb8
movabsq $-0x84b14e74a9e1ff0, %rax # imm = 0xF7B4EB18B561E010
cmpq %rax, %rsi
je 0x7ee2f
movabsq $0x510c2417c67dabeb, %rax # imm = 0x510C2417C67DABEB
cmpq %rax, %rsi
jne 0x7eeea
movl (%rdx), %eax
movl %eax, (%rsp)
movq (%rbx), %r14
leaq 0x12aeed(%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 %r14, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x7ec1d
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x7ec1d
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x7ec1d
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7ef28
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x7ec4d
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x12ae6e(%rip), %rdi    # 0x1a9ab0
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
cmpq $0x0, 0x10(%r15)
jne 0x7ec63
leaq 0xc6663(%rip), %rsi     # 0x1452be
movq %r15, %rdi
callq 0xf592c
movq %rsp, %rsi
movl $0x4, %edx
jmp 0x7ee28
movabsq $-0x4882601bdca6aefb, %rax # imm = 0xB77D9FE423595105
cmpq %rax, %rsi
je 0x7ecb1
movabsq $-0x3f1363e6d8155aed, %rax # imm = 0xC0EC9C1927EAA513
jmp 0x7eca8
movabsq $0x69849117d3eb7d62, %rax # imm = 0x69849117D3EB7D62
cmpq %rax, %rsi
je 0x7ed6f
movabsq $0x6d07f9ef5b68e8a2, %rax # imm = 0x6D07F9EF5B68E8A2
cmpq %rax, %rsi
jne 0x7eeea
movq (%rdx), %rax
movq %rax, (%rsp)
movq (%rbx), %r14
leaq 0x12adee(%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 %r14, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x7ed1c
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x7ed1c
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x7ed1c
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7ef20
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x7ed4c
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x12ad6f(%rip), %rdi    # 0x1a9ab0
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
cmpq $0x0, 0x10(%r15)
jne 0x7ed62
leaq 0xc6564(%rip), %rsi     # 0x1452be
movq %r15, %rdi
callq 0xf592c
movq %rsp, %rsi
movl $0x8, %edx
jmp 0x7ee28
movzwl (%rdx), %eax
movw %ax, (%rsp)
movq (%rbx), %r14
leaq 0x12ad30(%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 %r14, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x7edda
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x7edda
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x7edda
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7ef30
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x7ee0a
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x12acb1(%rip), %rdi    # 0x1a9ab0
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
cmpq $0x0, 0x10(%r15)
jne 0x7ee20
leaq 0xc64a6(%rip), %rsi     # 0x1452be
movq %r15, %rdi
callq 0xf592c
movq %rsp, %rsi
movl $0x2, %edx
movq %rbx, %rdi
callq *0x10(%r15)
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
movb (%rdx), %bpl
movq (%rbx), %r14
leaq 0x12ac69(%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 %r14, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x7eea1
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x7eea1
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x7eea1
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x7ef38
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x7eed1
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x12abea(%rip), %rdi    # 0x1a9ab0
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movzbl %bpl, %edx
movq %r15, %rdi
movq %rbx, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x10903f
movq %rsi, %rdi
callq 0xe0cbc
leaq 0xc418c(%rip), %rdi     # 0x143085
leaq 0xc35b6(%rip), %rsi     # 0x1424b6
leaq 0xc418f(%rip), %rcx     # 0x143096
movl $0x103d, %edx           # imm = 0x103D
movq %rax, %r8
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0xc825d
xorl %r15d, %r15d
jmp 0x7ed20
xorl %r15d, %r15d
jmp 0x7ec21
xorl %r15d, %r15d
jmp 0x7edde
xorl %r15d, %r15d
jmp 0x7eea5
xorl %r15d, %r15d
jmp 0x7eb0f