// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x68, %rsp
movq %rdi, 0x58(%rsp)
movq %rsi, 0x50(%rsp)
movq 0x50(%rsp), %rdi
callq 0x3a070
movq %rax, 0x48(%rsp)
movq 0x48(%rsp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x9c755
movq 0x58(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x58(%rsp), %rax
movq 0x1900(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x58(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x58(%rsp), %rdi
leaq 0x15734b(%rip), %rsi    # 0x1f3a68
movl $0x2d, %edx
callq 0xb880
movq 0x10(%rsp), %rdi
movq %rax, %rsi
movq 0x50(%rsp), %rdx
callq 0xb830
movq 0x18(%rsp), %rdi
movq 0x20(%rsp), %rsi
movq %rax, %rdx
callq 0x2f940
movq %rax, 0x60(%rsp)
jmp 0x9c872
movq 0x48(%rsp), %rax
movl $0x2, %ecx
cqto
idivq %rcx
movq %rax, 0x48(%rsp)
movq 0x58(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x48(%rsp), %rax
movq 0x58(%rsp), %rcx
cmpq 0x270(%rcx), %rax
jle 0x9c791
movq 0x48(%rsp), %rax
movq %rax, (%rsp)
jmp 0x9c7a1
movq 0x58(%rsp), %rax
movq 0x270(%rax), %rax
movq %rax, (%rsp)
movq 0x8(%rsp), %rdi
movq (%rsp), %rsi
callq 0x2a440
movq %rax, 0x40(%rsp)
cmpq $0x0, 0x48(%rsp)
jle 0x9c868
movq 0x58(%rsp), %rdi
movq 0x40(%rsp), %rsi
callq 0x9cb0
movq %rax, 0x38(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x30(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x9c859
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x58(%rsp), %rcx
cmpq 0x120(%rcx), %rax
je 0x9c831
movq 0x58(%rsp), %rdi
movq 0x40(%rsp), %rsi
movq 0x30(%rsp), %rax
movq 0x8(%rax), %rdx
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rcx
callq 0x1cd150
jmp 0x9c833
movq 0x30(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x30(%rsp)
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x28(%rsp)
jmp 0x9c7ec
movq 0x58(%rsp), %rdi
movq 0x38(%rsp), %rsi
callq 0x9f60
movq 0x40(%rsp), %rax
movq %rax, 0x60(%rsp)
movq 0x60(%rsp), %rax
addq $0x68, %rsp
retq
nopl (%rax)