// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_vector_ref_g_vector_ref_gs
static s7_pointer fx_vector_ref_g_vector_ref_gs(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    arg = cdr(arg);
                    largs = cdadr(arg);
                    return(vector_ref_p_pp(sc, lookup_global(sc, car(arg)),
                                vector_ref_p_pp(sc, lookup_global(sc, car(largs)), lookup(sc, opt2_sym(largs)))));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r15
testb $0x1, 0x2(%rsi)
jne 0xbb069
movq 0x8(%rbx), %rax
movq 0x18(%rax), %rdx
movq 0x20(%rsi), %rcx
cmpq %rcx, %rdx
je 0xbb04f
jle 0xbb046
movq 0x10(%rax), %rax
movq 0x18(%rax), %rdx
cmpq %rdx, %rcx
jl 0xbb039
cmpq %rcx, %rdx
jne 0xbb237
movq 0x18(%rsi), %rax
movq 0x10(%rax), %r14
testq %r14, %r14
jne 0xbb071
movq %rbx, %rdi
callq 0xa2ee9
movq %rax, %r14
jmp 0xbb071
movq 0x10(%rsi), %rax
movq 0x10(%rax), %r14
movq 0x8(%r15), %rsi
testb $0x1, 0x2(%rsi)
jne 0xbb0bb
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rdx
movq 0x20(%rsi), %rax
cmpq %rax, %rdx
je 0xbb0a4
jle 0xbb09b
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rdx
cmpq %rdx, %rax
jl 0xbb08e
cmpq %rax, %rdx
jne 0xbb27e
movq 0x18(%rsi), %rax
movq 0x10(%rax), %rax
testq %rax, %rax
jne 0xbb0c3
movq %rbx, %rdi
callq 0xa2ee9
jmp 0xbb0c3
movq 0x10(%rsi), %rax
movq 0x10(%rax), %rax
movq 0x20(%r15), %rdx
movq 0x8(%rbx), %rsi
movq 0x18(%rsi), %rdi
movq 0x20(%rdx), %rcx
cmpq %rcx, %rdi
je 0xbb0f0
jle 0xbb0e7
movq 0x10(%rsi), %rsi
movq 0x18(%rsi), %rdi
cmpq %rdi, %rcx
jl 0xbb0da
cmpq %rcx, %rdi
jne 0xbb1ef
movq 0x18(%rdx), %rcx
movq 0x10(%rcx), %rcx
movzbl (%rax), %edx
leaq 0x97b1e(%rip), %r12     # 0x152c20
cmpb $0x1, (%rdx,%r12)
jne 0xbb144
movq 0x18(%rax), %rdx
movq 0x20(%rdx), %rdx
testq %rdx, %rdx
je 0xbb11d
cmpq $0x1, 0x10(%rdx)
jne 0xbb144
cmpb $0xb, (%rcx)
jne 0xbb144
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
js 0xbb2c4
cmpq 0x8(%rax), %rdx
jge 0xbb2c4
movq %rbx, %rdi
movq %rax, %rsi
callq *0x20(%rax)
jmp 0xbb169
movq 0x708(%rbx), %rdx
movq %rax, 0x8(%rdx)
movq 0x710(%rbx), %rax
movq %rcx, 0x8(%rax)
movq 0x708(%rbx), %rsi
movq %rbx, %rdi
callq 0x7fcbd
movq %rax, %r15
movzbl (%r14), %eax
cmpb $0x1, (%rax,%r12)
jne 0xbb1bf
movq 0x18(%r14), %rax
movq 0x20(%rax), %rax
testq %rax, %rax
je 0xbb18b
cmpq $0x1, 0x10(%rax)
jne 0xbb1bf
cmpb $0xb, (%r15)
jne 0xbb1bf
movq 0x8(%r15), %rdx
testq %rdx, %rdx
js 0xbb333
cmpq 0x8(%r14), %rdx
jge 0xbb333
movq 0x20(%r14), %rax
movq %rbx, %rdi
movq %r14, %rsi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmpq *%rax
movq 0x708(%rbx), %rax
movq %r14, 0x8(%rax)
movq 0x710(%rbx), %rax
movq %r15, 0x8(%rax)
movq 0x708(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x7fcbd
cmpb $0x1c, (%rsi)
jne 0xbb223
movq 0x8(%rsi), %r8
testq %r8, %r8
sete %dil
je 0xbb211
cmpq %rdx, 0x8(%r8)
je 0xbb20d
movq 0x18(%r8), %r8
jmp 0xbb1f8
movq 0x10(%r8), %rcx
testb %dil, %dil
je 0xbb0f8
movq 0x10(%rsi), %rsi
cmpb $0x1c, (%rsi)
je 0xbb1f4
movq 0x10(%rdx), %rcx
cmpb $0x20, (%rcx)
je 0xbb0f4
xorl %ecx, %ecx
jmp 0xbb0f8
cmpb $0x1c, (%rax)
jne 0xbb269
movq 0x8(%rax), %rdx
testq %rdx, %rdx
sete %cl
je 0xbb258
cmpq %rsi, 0x8(%rdx)
je 0xbb254
movq 0x18(%rdx), %rdx
jmp 0xbb240
movq 0x10(%rdx), %r14
testb %cl, %cl
je 0xbb057
movq 0x10(%rax), %rax
cmpb $0x1c, (%rax)
je 0xbb23c
movq 0x10(%rsi), %rax
cmpb $0x20, (%rax)
je 0xbb053
xorl %r14d, %r14d
jmp 0xbb057
cmpb $0x1c, (%rcx)
jne 0xbb2b0
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %dl
je 0xbb29f
cmpq %rsi, 0x8(%rdi)
je 0xbb29b
movq 0x18(%rdi), %rdi
jmp 0xbb287
movq 0x10(%rdi), %rax
testb %dl, %dl
je 0xbb0ac
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xbb283
movq 0x10(%rsi), %rax
cmpb $0x20, (%rax)
je 0xbb0a8
xorl %eax, %eax
jmp 0xbb0ac
testq %rdx, %rdx
movq 0x1660(%rbx), %rax
movq 0x8(%rax), %rax
movq 0x93687(%rip), %rdx     # 0x14e960
leaq 0x97768(%rip), %rsi     # 0x152a48
leaq 0x97759(%rip), %rdi     # 0x152a40
cmovsq %rsi, %rdi
movq (%rdi), %rsi
movq 0x1ee8(%rbx), %rdi
movq 0x10(%rdi), %rdi
movq %rax, 0x8(%rdi)
movq 0x10(%rdi), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x1948(%rbx), %r15
movq 0x1ee8(%rbx), %rdx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x3b366
jmp 0xbb16c
testq %rdx, %rdx
movq 0x1660(%rbx), %rax
movq 0x8(%rax), %rax
leaq 0x97700(%rip), %rcx     # 0x152a48
leaq 0x976f1(%rip), %rdx     # 0x152a40
cmovsq %rcx, %rdx
movq 0x93606(%rip), %rcx     # 0x14e960
movq (%rdx), %rdx
movq 0x1ee8(%rbx), %rsi
movq 0x10(%rsi), %rsi
movq %rax, 0x8(%rsi)
movq 0x10(%rsi), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %r15, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdx, 0x8(%rax)
movq 0x1948(%rbx), %rsi
movq 0x1ee8(%rbx), %rdx
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x3b366