// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: g_vector_set_3
static s7_pointer g_vector_set_3(s7_scheme *sc, s7_pointer args)
                {
                    /* (vector-set! vector index value) */
                    s7_pointer ind, vec, val;
                    s7_int index;

                    vec = car(args);
                    if (!is_any_vector(vec))
                        return(g_vector_set(sc, args));
                    if (is_immutable_vector(vec))
                        return(immutable_object_error(sc, set_elist_3(sc, immutable_error_string, sc->vector_set_symbol, vec)));
                    if (vector_rank(vec) > 1)
                        return(g_vector_set(sc, args));

                    ind = cadr(args);
                    if (!s7_is_integer(ind))
                        return(g_vector_set(sc, args));
                    index = s7_integer(ind);
                    if ((index < 0) ||
                            (index >= vector_length(vec)))
                        return(out_of_range(sc, sc->vector_set_symbol, small_int(2), wrap_integer1(sc, index), (index < 0) ? its_negative_string : its_too_large_string));

                    val = caddr(args);
                    if (is_typed_vector(vec))
                        return(typed_vector_setter(sc, vec, index, val));

                    vector_setter(vec)(sc, vec, index, val);
                    return(val);
                }

// Assembly:
subq $0x78, %rsp
movq %rdi, 0x68(%rsp)
movq %rsi, 0x60(%rsp)
movq 0x60(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x50(%rsp)
movq 0x50(%rsp), %rax
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0xace83(%rip), %rax     # 0x21a750
testb $0x1, (%rax,%rcx)
jne 0x16d8ec
movq 0x68(%rsp), %rdi
movq 0x60(%rsp), %rsi
callq 0x99950
movq %rax, 0x70(%rsp)
jmp 0x16daf5
movq 0x50(%rsp), %rax
movq (%rax), %rax
andq $0x1000000, %rax        # imm = 0x1000000
cmpq $0x0, %rax
je 0x16d943
movq 0x68(%rsp), %rax
movq %rax, 0x38(%rsp)
movq 0x68(%rsp), %rdi
movq 0xacb82(%rip), %rsi     # 0x21a498
movq 0x68(%rsp), %rax
movq 0x1668(%rax), %rdx
movq 0x50(%rsp), %rcx
callq 0xf240
movq 0x38(%rsp), %rdi
movq %rax, %rsi
callq 0xb800
movq %rax, 0x70(%rsp)
jmp 0x16daf5
movq 0x50(%rsp), %rax
movq 0x18(%rax), %rax
cmpq $0x0, 0x20(%rax)
je 0x16d96b
movq 0x50(%rsp), %rax
movq 0x18(%rax), %rax
movq 0x20(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x30(%rsp)
jmp 0x16d977
movl $0x1, %eax
movq %rax, 0x30(%rsp)
jmp 0x16d977
movq 0x30(%rsp), %rax
cmpq $0x1, %rax
jle 0x16d99b
movq 0x68(%rsp), %rdi
movq 0x60(%rsp), %rsi
callq 0x99950
movq %rax, 0x70(%rsp)
jmp 0x16daf5
movq 0x60(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x58(%rsp)
movq 0x58(%rsp), %rdi
callq 0x11340
testb $0x1, %al
jne 0x16d9d4
movq 0x68(%rsp), %rdi
movq 0x60(%rsp), %rsi
callq 0x99950
movq %rax, 0x70(%rsp)
jmp 0x16daf5
movq 0x58(%rsp), %rdi
callq 0x10790
movq %rax, 0x40(%rsp)
cmpq $0x0, 0x40(%rsp)
jl 0x16d9ff
movq 0x40(%rsp), %rax
movq 0x50(%rsp), %rcx
cmpq 0x8(%rcx), %rax
jl 0x16da85
movq 0x68(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x68(%rsp), %rax
movq 0x1668(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x18(%rsp)
movq 0xa8a6b(%rip), %rax     # 0x216490
movq %rax, 0x20(%rsp)
movq 0x68(%rsp), %rdi
movq 0x40(%rsp), %rsi
callq 0x12430
movq %rax, 0x28(%rsp)
cmpq $0x0, 0x40(%rsp)
jge 0x16da54
movq 0xacb2b(%rip), %rax     # 0x21a578
movq %rax, 0x8(%rsp)
jmp 0x16da60
movq 0xacb15(%rip), %rax     # 0x21a570
movq %rax, 0x8(%rsp)
movq 0x28(%rsp), %rcx
movq 0x20(%rsp), %rdx
movq 0x18(%rsp), %rsi
movq 0x10(%rsp), %rdi
movq 0x8(%rsp), %r8
callq 0x13880
movq %rax, 0x70(%rsp)
jmp 0x16daf5
movq 0x60(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x48(%rsp)
movq 0x50(%rsp), %rax
movzwl 0x6(%rax), %eax
andl $0x2, %eax
cmpl $0x0, %eax
je 0x16dacc
movq 0x68(%rsp), %rdi
movq 0x50(%rsp), %rsi
movq 0x40(%rsp), %rdx
movq 0x48(%rsp), %rcx
callq 0x34290
movq %rax, 0x70(%rsp)
jmp 0x16daf5
movq 0x50(%rsp), %rax
movq 0x28(%rax), %rax
movq 0x68(%rsp), %rdi
movq 0x50(%rsp), %rsi
movq 0x40(%rsp), %rdx
movq 0x48(%rsp), %rcx
callq *%rax
movq 0x48(%rsp), %rax
movq %rax, 0x70(%rsp)
movq 0x70(%rsp), %rax
addq $0x78, %rsp
retq
nop