// File: /workspace/github_c_makefile_star2_O3/salextpuru[P]speccy-toochain/src/mhmt/mhmt-main.c
// Function: dump_config
void dump_config(void)
{
    printf("Configuration review:\n");
    printf("\n");
    printf("Pack format: ");

    if( wrk.packtype==PK_MLZ )
        printf("MegaLZ.\n");

    else if( wrk.packtype==PK_HRM )
        printf("Hrum3.5\n");

    else if( wrk.packtype==PK_HST )
        printf("Hrust1.x\n");

    else
        printf("unknown.\n"); // this should be actually never displayed

    printf("Mode:        ");

    if( wrk.mode )
        printf("depacking.\n");

    else
        printf("packing.\n");

    if( !wrk.mode ) {
        printf("Pack coding: ");

        if( wrk.greedy )
            printf("greedy (sub-optimal but faster).\n");

        else
            printf("optimal (slower).\n");
    }

    if( wrk.zxheader ) {
        printf("Header for old ZX ");

        if( wrk.packtype==PK_HRM )
            printf("hrum3.5 ");

        else if( wrk.packtype==PK_HST )
            printf("hrust1.x ");

        printf("depackers is on.\n");
    }

    if( wrk.wordbit ) {
        printf("Bitstream is grouped in words -\n");

        if( wrk.bigend ) {
            printf(" words are big-endian, %s","INCOMPATIBLE with old ZX depackers!\n");

        } else {
            printf(" words are little-endian, ");

            if( (wrk.packtype==PK_HRM) || (wrk.packtype==PK_HST) )
                printf("compatible with old ZX depackers.\n");

            else
                printf("INCOMPATIBLE with old ZX depackers!\n");
        }

    } else {
        printf("Bitstream is grouped in bytes -\n");

        if( wrk.packtype==PK_MLZ )
            printf(" compatible with old ZX depackers.\n");

        else
            printf(" INCOMPATIBLE with old ZX depackers!\n");
    }

    printf("Maximum lookback window size is %d bytes.\n\n",wrk.maxwin);
    // files
    printf("Input file \"%s\" (%d bytes) successfully loaded.\n", wrk.fname_in, wrk.inlen);
    printf("Output file \"%s\" created.\n", wrk.fname_out );
//	...more info...?
}

// Assembly:
pushq %rbx
leaq 0x3a54(%rip), %rdi      # 0x6c7a
callq 0x1120
movl $0xa, %edi
callq 0x10f0
leaq 0x32c7(%rip), %rdi      # 0x6503
xorl %eax, %eax
callq 0x1040
leaq 0x80d6(%rip), %rbx      # 0xb320
movl (%rbx), %eax
decl %eax
cmpl $0x2, %eax
ja 0x3265
movl %eax, %eax
leaq 0x3b3c(%rip), %rcx      # 0x6d98
movslq (%rcx,%rax,4), %rdi
addq %rcx, %rdi
jmp 0x326c
leaq 0x3a24(%rip), %rdi      # 0x6c90
callq 0x1120
leaq 0x3299(%rip), %rdi      # 0x6511
xorl %eax, %eax
callq 0x1040
cmpl $0x0, 0x8(%rbx)
leaq 0x3a2a(%rip), %rax      # 0x6cb4
leaq 0x3a21(%rip), %rdi      # 0x6cb2
cmoveq %rax, %rdi
callq 0x1120
cmpl $0x0, 0x8(%rbx)
jne 0x32c9
leaq 0x3278(%rip), %rdi      # 0x651f
xorl %eax, %eax
callq 0x1040
cmpl $0x0, 0x4(%rbx)
leaq 0x3a04(%rip), %rax      # 0x6cbd
leaq 0x3a0f(%rip), %rdi      # 0x6ccf
cmoveq %rax, %rdi
callq 0x1120
cmpl $0x0, 0xc(%rbx)
je 0x330c
leaq 0x3257(%rip), %rdi      # 0x652d
xorl %eax, %eax
callq 0x1040
movl (%rbx), %eax
cmpl $0x2, %eax
je 0x32f2
cmpl $0x3, %eax
jne 0x3300
leaq 0x3259(%rip), %rdi      # 0x6549
jmp 0x32f9
leaq 0x3247(%rip), %rdi      # 0x6540
xorl %eax, %eax
callq 0x1040
leaq 0x39e9(%rip), %rdi      # 0x6cf0
callq 0x1120
cmpl $0x0, 0x10(%rbx)
je 0x333b
leaq 0x3a50(%rip), %rdi      # 0x6d69
callq 0x1120
cmpl $0x0, 0x14(%rbx)
je 0x3355
leaq 0x3228(%rip), %rdi      # 0x6553
leaq 0x323b(%rip), %rsi      # 0x656d
xorl %eax, %eax
callq 0x1040
jmp 0x338b
leaq 0x39bf(%rip), %rdi      # 0x6d01
callq 0x1120
cmpl $0x1, (%rbx)
jne 0x3376
leaq 0x39f3(%rip), %rdi      # 0x6d46
jmp 0x3386
leaq 0x3236(%rip), %rdi      # 0x6592
xorl %eax, %eax
callq 0x1040
movl (%rbx), %eax
andl $-0x2, %eax
cmpl $0x2, %eax
jne 0x337f
leaq 0x39d3(%rip), %rdi      # 0x6d47
jmp 0x3386
leaq 0x39a4(%rip), %rdi      # 0x6d21
jmp 0x3386
leaq 0x399c(%rip), %rdi      # 0x6d22
callq 0x1120
movl 0x1c(%rbx), %esi
leaq 0x3218(%rip), %rdi      # 0x65ad
xorl %eax, %eax
callq 0x1040
movq 0x20(%rbx), %rsi
movl 0x48(%rbx), %edx
leaq 0x322f(%rip), %rdi      # 0x65d9
xorl %eax, %eax
callq 0x1040
movq 0x28(%rbx), %rsi
leaq 0x324e(%rip), %rdi      # 0x660a
xorl %eax, %eax
popq %rbx
jmp 0x1040