// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: g_hash_table
static s7_pointer g_hash_table(s7_scheme *sc, s7_pointer args)
                {
#define H_hash_table "(hash-table ...) returns a hash-table containing the symbol/value pairs passed as its arguments. \
                    That is, (hash-table 'a 1 'b 2) returns a new hash-table with the two key/value pairs preinstalled."
#define Q_hash_table s7_make_circular_signature(sc, 1, 2, sc->is_hash_table_symbol, sc->T)

                    s7_int len;
                    s7_pointer ht;

                    len = safe_list_length(args);
                    if (len & 1)
                        return(s7_error(sc, sc->wrong_number_of_args_symbol,
                                    set_elist_2(sc, wrap_string(sc, "hash-table got an odd number of arguments: ~S", 45), args)));
                    len /= 2;

                    ht = s7_make_hash_table(sc, (len > sc->default_hash_table_length) ? len : sc->default_hash_table_length);
                    if (len > 0)
                    {
                        s7_int ht_loc;
                        s7_pointer x, y;
                        ht_loc = s7_gc_protect_1(sc, ht); /* hash_table_set can cons (but only if ht=let??), so we need to protect this */

                        for (x = args, y = cdr(args); is_pair(x); x = cddr(x), y = unchecked_cdr(cdr(y)))
                            if (car(y) != sc->F)
                                hash_table_add(sc, ht, car(x), car(y));

                        s7_gc_unprotect_at(sc, ht_loc);
                    }
                    return(ht);
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r15
movq %rdi, %rbx
cmpb $0x1, (%rsi)
jne 0x81eaa
xorl %r12d, %r12d
movq %r15, %rax
incq %r12
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
je 0x81e9c
jmp 0x81ead
xorl %r12d, %r12d
testb $0x1, %r12b
jne 0x82058
sarq %r12
movq 0x270(%rbx), %rsi
cmpq %rsi, %r12
cmovgq %r12, %rsi
movq %rbx, %rdi
callq 0x38b06
movq %rax, %r14
testq %r12, %r12
jle 0x820bb
cmpq $0x0, 0x108(%rbx)
jns 0x81fa3
movq 0xd0(%rbx), %rax
movq 0xf0(%rbx), %r13
leaq (,%r13,2), %rbp
movq 0x18(%rax), %rsi
movq %r13, %r12
shlq $0x4, %r12
movq %rbx, %rdi
movq %r12, %rdx
callq 0xae0f
movq $0x0, 0x20(%rax)
movq 0xd0(%rbx), %rcx
movq %rax, 0x18(%rcx)
movq (%rax), %rax
movq 0xd0(%rbx), %rcx
movq %rax, 0x10(%rcx)
movq 0xd0(%rbx), %rax
movq %rbp, 0x8(%rax)
movq %rbp, 0xf0(%rbx)
movq 0xe8(%rbx), %rdi
movq %r12, %rsi
callq 0x9510
movq %rax, 0xe8(%rbx)
cmpq %rbp, %r13
jge 0x81fa3
movq %r13, %rax
movq 0xd0(%rbx), %rcx
movq 0x140(%rbx), %rdx
movq 0x10(%rcx), %rcx
movq %rdx, (%rcx,%rax,8)
movq 0xe8(%rbx), %rcx
movq 0x108(%rbx), %rdx
leaq 0x1(%rdx), %rsi
movq %rsi, 0x108(%rbx)
movq %rax, 0x8(%rcx,%rdx,8)
incq %rax
decq %r13
jne 0x81f67
movq 0xd0(%rbx), %rax
movq 0xe8(%rbx), %rcx
movq 0x108(%rbx), %rdx
leaq -0x1(%rdx), %rsi
movq %rsi, 0x108(%rbx)
movq (%rcx,%rdx,8), %r12
movq 0x10(%rax), %rax
movq %r14, (%rax,%r12,8)
cmpb $0x1, (%r15)
jne 0x8200b
movq %r15, %r13
movq 0x10(%r15), %r15
movq 0x8(%r15), %rcx
cmpq 0x120(%rbx), %rcx
je 0x81ff8
movq 0x8(%r13), %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1082a0
movq 0x10(%r13), %rax
movq 0x10(%rax), %r13
movq 0x10(%r15), %r15
cmpb $0x1, (%r13)
je 0x81fd8
cmpq %r12, 0xf0(%rbx)
jle 0x820bb
movq 0xd0(%rbx), %rax
movq 0x140(%rbx), %rcx
movq 0x10(%rax), %rdx
cmpq %rcx, (%rdx,%r12,8)
je 0x8204e
movq 0xe8(%rbx), %rdx
movq 0x108(%rbx), %rsi
leaq 0x1(%rsi), %rdi
movq %rdi, 0x108(%rbx)
movq %r12, 0x8(%rdx,%rsi,8)
movq 0x10(%rax), %rax
movq %rcx, (%rax,%r12,8)
jmp 0x820bb
movq 0x1900(%rbx), %r14
movq 0x820(%rbx), %rax
movslq 0x7dc(%rbx), %rcx
movq (%rax,%rcx,8), %rax
incl %ecx
andl $0x7, %ecx
movl %ecx, 0x7dc(%rbx)
leaq 0xa297a(%rip), %rcx     # 0x1249fd
movq %rcx, 0x10(%rax)
movq $0x2d, 0x8(%rax)
movq 0x6e0(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x6e0(%rbx), %rax
movq 0x10(%rax), %rax
movq %r15, 0x8(%rax)
movq 0x6e0(%rbx), %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x3b366
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq