// File: /workspace/github_c_makefile_star2_O2/johsteffens[P]beth/lib/bcore/bcore_quicktypes.c
// Function: bcore_quicktypes_to_stdout
void bcore_quicktypes_to_stdout( tp_t (*hash)( sc_t name ) )
{
    hf hash_l = ( hash ) ? hash : typeof;
    sr_s list = leaf_typelist();
    bcore_msg( "// leaf types\n" );
    for( uz_t i = 0; i < bcore_array_r_get_size( &list ); i++ ) st_s_print_d( get_def_quicktype( hash_l, bcore_array_r_get( &list, i ), 16 + max_len( &list ) ) );
    sr_down( list );
    list = object_typelist();
    bcore_msg( "\n// other types\n" );
    for( uz_t i = 0; i < bcore_array_r_get_size( &list ); i++ ) st_s_print_d( get_def_quicktype( hash_l, bcore_array_r_get( &list, i ), 16 + max_len( &list ) ) );
    sr_down( list );
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x98, %rsp
testq %rdi, %rdi
leaq 0x93c(%rip), %rbx       # 0x731c0
cmovneq %rdi, %rbx
leaq 0x4e13b(%rip), %rdi     # 0xc09ca
xorl %r14d, %r14d
xorl %eax, %eax
callq 0x65093
leaq 0x20(%rsp), %r15
movq %r15, %rdi
movq %rax, %rsi
callq 0x72804
leaq 0x53d1c(%rip), %rsi     # 0xc65cc
movq %r15, %rdi
callq 0x7350e
leaq 0x57b6e(%rip), %rsi     # 0xca42d
movq %r15, %rdi
callq 0x7350e
leaq 0x503a6(%rip), %rsi     # 0xc2c74
movq %r15, %rdi
callq 0x7350e
leaq 0x5039c(%rip), %rsi     # 0xc2c79
movq %r15, %rdi
callq 0x7350e
leaq 0x50392(%rip), %rsi     # 0xc2c7e
movq %r15, %rdi
callq 0x7350e
leaq 0x57f27(%rip), %rsi     # 0xca822
movq %r15, %rdi
callq 0x7350e
leaq 0x5037e(%rip), %rsi     # 0xc2c88
movq %r15, %rdi
callq 0x7350e
leaq 0x50376(%rip), %rsi     # 0xc2c8f
movq %r15, %rdi
callq 0x7350e
leaq 0x5036c(%rip), %rsi     # 0xc2c94
movq %r15, %rdi
callq 0x7350e
leaq 0x50362(%rip), %rsi     # 0xc2c99
movq %r15, %rdi
callq 0x7350e
leaq 0x4201e(%rip), %rsi     # 0xb4964
movq %r15, %rdi
callq 0x7350e
leaq 0x5034e(%rip), %rsi     # 0xc2ca3
movq %r15, %rdi
callq 0x7350e
leaq 0x50346(%rip), %rsi     # 0xc2caa
movq %r15, %rdi
callq 0x7350e
leaq 0x5033c(%rip), %rsi     # 0xc2caf
movq %r15, %rdi
callq 0x7350e
leaq 0x50301(%rip), %rsi     # 0xc2c83
movq %r15, %rdi
callq 0x7350e
leaq 0x5030d(%rip), %rsi     # 0xc2c9e
movq %r15, %rdi
callq 0x7350e
leaq 0x50319(%rip), %rsi     # 0xc2cb9
movq %r15, %rdi
callq 0x7350e
leaq 0x49273(%rip), %rsi     # 0xbbc22
movq %r15, %rdi
callq 0x7350e
leaq 0x50300(%rip), %rsi     # 0xc2cbe
movq %r15, %rdi
callq 0x7350e
leaq 0x502f6(%rip), %rsi     # 0xc2cc3
movq %r15, %rdi
callq 0x7350e
leaq 0x502ec(%rip), %rsi     # 0xc2cc8
movq %r15, %rdi
callq 0x7350e
leaq 0x53e73(%rip), %rsi     # 0xc685e
movq %r15, %rdi
callq 0x7350e
leaq 0x502dc(%rip), %rsi     # 0xc2cd6
movq %r15, %rdi
callq 0x7350e
leaq 0x502ab(%rip), %rsi     # 0xc2cb4
movq %r15, %rdi
callq 0x7350e
leaq 0x57b2a(%rip), %rsi     # 0xca542
movq %r15, %rdi
callq 0x7350e
leaq 0x501e1(%rip), %rsi     # 0xc2c08
movq %r15, %rdi
callq 0x7350e
leaq 0x50297(%rip), %rsi     # 0xc2ccd
movq %r15, %rdi
callq 0x7350e
leaq 0x59e88(%rip), %rsi     # 0xcc8cd
movq %r15, %rdi
callq 0x7350e
leaq 0x46163(%rip), %rsi     # 0xb8bb7
movq %r15, %rdi
callq 0x7350e
leaq 0x44ed9(%rip), %rsi     # 0xb793c
movq %r15, %rdi
callq 0x7350e
leaq 0x4f4b8(%rip), %rsi     # 0xc1f2a
movq %r15, %rdi
callq 0x7350e
leaq 0x53cfd(%rip), %rsi     # 0xc677e
movq %r15, %rdi
callq 0x7350e
leaq 0x4f49f(%rip), %rsi     # 0xc1f2f
movq %r15, %rdi
callq 0x7350e
leaq 0x4ee76(%rip), %rsi     # 0xc1915
movq %r15, %rdi
callq 0x7350e
leaq 0x4dd16(%rip), %rsi     # 0xc07c4
movq %r15, %rdi
callq 0x7350e
leaq 0x41b2b(%rip), %rsi     # 0xb45e8
movq %r15, %rdi
callq 0x7350e
leaq 0x49288(%rip), %rsi     # 0xbbd54
movq %r15, %rdi
callq 0x7350e
leaq 0x4dce0(%rip), %rsi     # 0xc07bb
movq %r15, %rdi
callq 0x7350e
leaq 0x4dcdf(%rip), %rsi     # 0xc07c9
movq %r15, %rdi
callq 0x7350e
leaq 0x4dcde(%rip), %rsi     # 0xc07d7
movq %r15, %rdi
callq 0x7350e
leaq 0x45bab(%rip), %rsi     # 0xb86b3
movq %r15, %rdi
callq 0x7350e
leaq 0x5026e(%rip), %rsi     # 0xc2d85
movq %r15, %rdi
callq 0x7350e
leaq 0x522ea(%rip), %rsi     # 0xc4e10
movq %r15, %rdi
callq 0x7350e
leaq 0x5026f(%rip), %rsi     # 0xc2da4
movq %r15, %rdi
callq 0x7350e
leaq 0x50251(%rip), %rsi     # 0xc2d95
movq %r15, %rdi
callq 0x7350e
movq %r15, %rdi
callq 0x7354c
leaq 0x52295(%rip), %rdi     # 0xc4df0
xorl %eax, %eax
callq 0x5fb6b
leaq 0x50(%rsp), %r12
movq %r15, %rdi
callq 0x731f8
cmpq %rax, %r14
jae 0x72bb6
movq %r12, %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0x732c0
movq %r15, %rdi
callq 0x73304
leaq 0x10(%rax), %rsi
movq 0x60(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x50(%rsp), %xmm0
movups %xmm0, (%rsp)
movq %rbx, %rdi
callq 0x73227
movq %rax, %rdi
callq 0x90180
incq %r14
jmp 0x72b67
testb $0x2, 0x30(%rsp)
je 0x72bd5
movq 0x30(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x20(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x8cdc1
leaq 0x4ddee(%rip), %rdi     # 0xc09ca
xorl %r14d, %r14d
xorl %eax, %eax
callq 0x65093
leaq 0x68(%rsp), %r15
movq %r15, %rdi
movq %rax, %rsi
callq 0x72804
leaq 0x4ed37(%rip), %rsi     # 0xc1934
movq %r15, %rdi
callq 0x7350e
leaq 0x52238(%rip), %rsi     # 0xc4e44
movq %r15, %rdi
callq 0x7350e
leaq 0x4f28a(%rip), %rsi     # 0xc1ea5
movq %r15, %rdi
callq 0x7350e
leaq 0x5222f(%rip), %rsi     # 0xc4e59
movq %r15, %rdi
callq 0x7350e
leaq 0x5222d(%rip), %rsi     # 0xc4e66
movq %r15, %rdi
callq 0x7350e
leaq 0x5222a(%rip), %rsi     # 0xc4e72
movq %r15, %rdi
callq 0x7350e
leaq 0x52229(%rip), %rsi     # 0xc4e80
movq %r15, %rdi
callq 0x7350e
leaq 0x52224(%rip), %rsi     # 0xc4e8a
movq %r15, %rdi
callq 0x7350e
leaq 0x52221(%rip), %rsi     # 0xc4e96
movq %r15, %rdi
callq 0x7350e
leaq 0x5221f(%rip), %rsi     # 0xc4ea3
movq %r15, %rdi
callq 0x7350e
leaq 0x5221f(%rip), %rsi     # 0xc4eb2
movq %r15, %rdi
callq 0x7350e
leaq 0x5221b(%rip), %rsi     # 0xc4ebd
movq %r15, %rdi
callq 0x7350e
leaq 0x52219(%rip), %rsi     # 0xc4eca
movq %r15, %rdi
callq 0x7350e
leaq 0x52218(%rip), %rsi     # 0xc4ed8
movq %r15, %rdi
callq 0x7350e
leaq 0x52219(%rip), %rsi     # 0xc4ee8
movq %r15, %rdi
callq 0x7350e
leaq 0x52215(%rip), %rsi     # 0xc4ef3
movq %r15, %rdi
callq 0x7350e
leaq 0x52213(%rip), %rsi     # 0xc4f00
movq %r15, %rdi
callq 0x7350e
leaq 0x52216(%rip), %rsi     # 0xc4f12
movq %r15, %rdi
callq 0x7350e
leaq 0x5221b(%rip), %rsi     # 0xc4f26
movq %r15, %rdi
callq 0x7350e
leaq 0x5221d(%rip), %rsi     # 0xc4f37
movq %r15, %rdi
callq 0x7350e
leaq 0x57819(%rip), %rsi     # 0xca542
movq %r15, %rdi
callq 0x7350e
leaq 0x52212(%rip), %rsi     # 0xc4f4a
movq %r15, %rdi
callq 0x7350e
leaq 0x52219(%rip), %rsi     # 0xc4f60
movq %r15, %rdi
callq 0x7350e
leaq 0x52220(%rip), %rsi     # 0xc4f76
movq %r15, %rdi
callq 0x7350e
leaq 0x52cbe(%rip), %rsi     # 0xc5a23
movq %r15, %rdi
callq 0x7350e
leaq 0x52216(%rip), %rsi     # 0xc4f8a
movq %r15, %rdi
callq 0x7350e
leaq 0x5221c(%rip), %rsi     # 0xc4f9f
movq %r15, %rdi
callq 0x7350e
leaq 0x52221(%rip), %rsi     # 0xc4fb3
movq %r15, %rdi
callq 0x7350e
leaq 0x52224(%rip), %rsi     # 0xc4fc5
movq %r15, %rdi
callq 0x7350e
leaq 0x52228(%rip), %rsi     # 0xc4fd8
movq %r15, %rdi
callq 0x7350e
leaq 0x5222b(%rip), %rsi     # 0xc4fea
movq %r15, %rdi
callq 0x7350e
leaq 0x5222e(%rip), %rsi     # 0xc4ffc
movq %r15, %rdi
callq 0x7350e
leaq 0x52231(%rip), %rsi     # 0xc500e
movq %r15, %rdi
callq 0x7350e
leaq 0x52234(%rip), %rsi     # 0xc5020
movq %r15, %rdi
callq 0x7350e
leaq 0x52237(%rip), %rsi     # 0xc5032
movq %r15, %rdi
callq 0x7350e
leaq 0x5223a(%rip), %rsi     # 0xc5044
movq %r15, %rdi
callq 0x7350e
leaq 0x5223d(%rip), %rsi     # 0xc5056
movq %r15, %rdi
callq 0x7350e
leaq 0x52240(%rip), %rsi     # 0xc5068
movq %r15, %rdi
callq 0x7350e
leaq 0x52243(%rip), %rsi     # 0xc507a
movq %r15, %rdi
callq 0x7350e
leaq 0x51977(%rip), %rsi     # 0xc47bd
movq %r15, %rdi
callq 0x7350e
leaq 0x50a01(%rip), %rsi     # 0xc3856
movq %r15, %rdi
callq 0x7350e
leaq 0x50b90(%rip), %rsi     # 0xc39f4
movq %r15, %rdi
callq 0x7350e
leaq 0x50d1f(%rip), %rsi     # 0xc3b92
movq %r15, %rdi
callq 0x7350e
leaq 0x50eae(%rip), %rsi     # 0xc3d30
movq %r15, %rdi
callq 0x7350e
leaq 0x521f9(%rip), %rsi     # 0xc508a
movq %r15, %rdi
callq 0x7350e
leaq 0x52204(%rip), %rsi     # 0xc50a4
movq %r15, %rdi
callq 0x7350e
leaq 0x52210(%rip), %rsi     # 0xc50bf
movq %r15, %rdi
callq 0x7350e
leaq 0x5221b(%rip), %rsi     # 0xc50d9
movq %r15, %rdi
callq 0x7350e
leaq 0x4d801(%rip), %rsi     # 0xc06ce
movq %r15, %rdi
callq 0x7350e
leaq 0x4d801(%rip), %rsi     # 0xc06dd
movq %r15, %rdi
callq 0x7350e
leaq 0x4d801(%rip), %rsi     # 0xc06ec
movq %r15, %rdi
callq 0x7350e
leaq 0x521fa(%rip), %rsi     # 0xc50f4
movq %r15, %rdi
callq 0x7350e
leaq 0x521fa(%rip), %rsi     # 0xc5103
movq %r15, %rdi
callq 0x7350e
leaq 0x4d7e3(%rip), %rsi     # 0xc06fb
movq %r15, %rdi
callq 0x7350e
leaq 0x4d7e3(%rip), %rsi     # 0xc070a
movq %r15, %rdi
callq 0x7350e
leaq 0x521dc(%rip), %rsi     # 0xc5112
movq %r15, %rdi
callq 0x7350e
leaq 0x521dc(%rip), %rsi     # 0xc5121
movq %r15, %rdi
callq 0x7350e
leaq 0x4d7c5(%rip), %rsi     # 0xc0719
movq %r15, %rdi
callq 0x7350e
leaq 0x521cd(%rip), %rsi     # 0xc5130
movq %r15, %rdi
callq 0x7350e
leaq 0x4d7b6(%rip), %rsi     # 0xc0728
movq %r15, %rdi
callq 0x7350e
leaq 0x4d7b6(%rip), %rsi     # 0xc0737
movq %r15, %rdi
callq 0x7350e
leaq 0x4d7b6(%rip), %rsi     # 0xc0746
movq %r15, %rdi
callq 0x7350e
leaq 0x4d7b6(%rip), %rsi     # 0xc0755
movq %r15, %rdi
callq 0x7350e
leaq 0x4d7b6(%rip), %rsi     # 0xc0764
movq %r15, %rdi
callq 0x7350e
leaq 0x3e6b3(%rip), %rsi     # 0xb1670
movq %r15, %rdi
callq 0x7350e
leaq 0x4d7a7(%rip), %rsi     # 0xc0773
movq %r15, %rdi
callq 0x7350e
leaq 0x52164(%rip), %rsi     # 0xc513f
movq %r15, %rdi
callq 0x7350e
leaq 0x52164(%rip), %rsi     # 0xc514e
movq %r15, %rdi
callq 0x7350e
leaq 0x52167(%rip), %rsi     # 0xc5160
movq %r15, %rdi
callq 0x7350e
leaq 0x52165(%rip), %rsi     # 0xc516d
movq %r15, %rdi
callq 0x7350e
leaq 0x52167(%rip), %rsi     # 0xc517e
movq %r15, %rdi
callq 0x7350e
leaq 0x51af3(%rip), %rsi     # 0xc4b19
movq %r15, %rdi
callq 0x7350e
leaq 0x52158(%rip), %rsi     # 0xc518d
movq %r15, %rdi
callq 0x7350e
leaq 0x52160(%rip), %rsi     # 0xc51a4
movq %r15, %rdi
callq 0x7350e
leaq 0x58b84(%rip), %rsi     # 0xcbbd7
movq %r15, %rdi
callq 0x7350e
leaq 0x3d91a(%rip), %rsi     # 0xb097c
movq %r15, %rdi
callq 0x7350e
leaq 0x5214f(%rip), %rsi     # 0xc51c0
movq %r15, %rdi
callq 0x7350e
leaq 0x52145(%rip), %rsi     # 0xc51c5
movq %r15, %rdi
callq 0x7350e
leaq 0x3c426(%rip), %rsi     # 0xaf4b5
movq %r15, %rdi
callq 0x7350e
leaq 0x5212d(%rip), %rsi     # 0xc51cb
movq %r15, %rdi
callq 0x7350e
leaq 0x3c436(%rip), %rsi     # 0xaf4e3
movq %r15, %rdi
callq 0x7350e
leaq 0x56b5e(%rip), %rsi     # 0xc9c1a
movq %r15, %rdi
callq 0x7350e
leaq 0x52106(%rip), %rsi     # 0xc51d1
movq %r15, %rdi
callq 0x7350e
leaq 0x52106(%rip), %rsi     # 0xc51e0
movq %r15, %rdi
callq 0x7350e
movq (%r15), %rcx
leaq 0x80(%rsp), %r12
movabsq $0x249f1fb6f3a680e8, %rsi # imm = 0x249F1FB6F3A680E8
movabsq $-0x1fb07977e4413a54, %rdx # imm = 0xE04F86881BBEC5AC
movq %r12, %rdi
callq 0x751ec
movq %r12, %rdi
callq 0x751fb
movq %r15, %rdi
callq 0x7354c
movups (%r15), %xmm0
leaq 0x20(%rsp), %r12
movaps %xmm0, (%r12)
movq 0x10(%r15), %rax
movq %rax, 0x10(%r12)
leaq 0x51cc8(%rip), %rdi     # 0xc4dff
xorl %eax, %eax
callq 0x5fb6b
leaq 0x38(%rsp), %r15
movq %r12, %rdi
callq 0x731f8
cmpq %rax, %r14
jae 0x73192
movq %r15, %rdi
movq %r12, %rsi
movq %r14, %rdx
callq 0x732c0
movq %r12, %rdi
callq 0x73304
leaq 0x10(%rax), %rsi
movq 0x48(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x38(%rsp), %xmm0
movups %xmm0, (%rsp)
movq %rbx, %rdi
callq 0x73227
movq %rax, %rdi
callq 0x90180
incq %r14
jmp 0x73143
testb $0x2, 0x30(%rsp)
je 0x731b1
movq 0x30(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x20(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x8cdc1
addq $0x98, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq