// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: read_double_quote
static void read_double_quote(s7_scheme *sc)
                {
                    sc->value = read_string_constant(sc, sc->input_port);
                    if (sc->value == sc->F)                                /* can happen if input code ends in the middle of a string */
                        string_read_error(sc, "end of input encountered while in a string");
                    if (sc->value == sc->T)
                        read_error(sc, "unknown backslash usage -- perhaps you meant two backslashes?");
                    if (sc->safety > IMMUTABLE_VECTOR_SAFETY) set_immutable(sc->value);
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdi, %rbx
movq 0x170(%rdi), %r14
movq 0x8(%r14), %rax
cmpl $0x1, 0x4(%rax)
jne 0xd4666
movq 0x10(%r14), %r12
movq 0x20(%r14), %r13
cmpb $0x22, (%r12,%r13)
jne 0xd466e
incq %r13
movq %r13, 0x20(%r14)
xorl %r13d, %r13d
movq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0xf83b
movq %rax, %r12
jmp 0xd47f7
xorl %r15d, %r15d
jmp 0xd4a86
leaq (%r12,%r13), %rdi
movq 0x18(%r14), %r15
addq %r15, %r12
leaq 0x4df9f(%rip), %rsi     # 0x12261f
movq %rdi, 0x8(%rsp)
callq 0x94f0
movq %rax, %rbp
testq %rax, %rax
setne %al
cmpq %r12, %rbp
setb %cl
testb %cl, %al
je 0xd4777
cmpb $0x22, (%rbp)
jne 0xd4788
subq 0x8(%rsp), %rbp
leaq 0x1(%rbp), %r15
leaq 0x1(,%r13), %rax
addq %rbp, %rax
movq %rax, 0x20(%r14)
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xd46db
movq %rbx, %rdi
callq 0xb389
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r12
movq $0x200013, (%r12)       # imm = 0x200013
movq %rbx, %rdi
movq %r15, %rsi
callq 0xa305
movq %rax, 0x20(%r12)
movq (%rax), %rdi
movq %rdi, 0x10(%r12)
testq %rbp, %rbp
jle 0xd4723
movq 0x8(%rsp), %rsi
movq %rbp, %rdx
callq 0x93e0
movq 0x10(%r12), %rax
movb $0x0, (%rax,%rbp)
movq %rbp, 0x8(%r12)
movq $0x0, 0x18(%r12)
movq 0x738(%rbx), %r15
movq 0x8(%r15), %rsi
cmpq %rsi, 0x10(%r15)
jne 0xd4762
leaq (%rsi,%rsi), %rax
movq %rax, 0x8(%r15)
movq (%r15), %rdi
shlq $0x4, %rsi
callq 0x9510
movq %rax, (%r15)
movq (%r15), %rax
movq 0x10(%r15), %rcx
leaq 0x1(%rcx), %rdx
movq %rdx, 0x10(%r15)
movq %r12, (%rax,%rcx,8)
jmp 0xd47f4
movq 0x4b0(%rbx), %rdi
subq %r13, %r15
jne 0xd47cb
movb $0x0, (%rdi)
jmp 0xd47e2
movb $0x1, %r13b
cmpq %r12, %rbp
jae 0xd47c6
movq %rbp, %r15
subq 0x8(%rsp), %r15
movzbl (%rbp), %eax
cmpl $0xa, %eax
je 0xd47b4
cmpl $0x5c, %eax
je 0xd4cd1
cmpl $0x22, %eax
jne 0xd47bb
jmp 0xd4cab
movq 0x8(%r14), %rax
incl 0x20(%rax)
incq %rbp
incq %r15
cmpq %r12, %rbp
jb 0xd4798
xorl %r15d, %r15d
jmp 0xd47fa
cmpq $0x8, %r15
movl $0x8, %edx
cmovlq %r15, %rdx
movq 0x8(%rsp), %rsi
callq 0x93e0
movq 0x4b0(%rbx), %rax
movb $0x0, 0x8(%rax)
movq 0x120(%rbx), %r12
xorl %r13d, %r13d
xorl %r15d, %r15d
testb %r13b, %r13b
jne 0xd4a86
jmp 0xd4c48
cmpl $0x62, %ebp
je 0xd4a42
cmpl $0x66, %ebp
je 0xd4a53
cmpl $0x6e, %ebp
je 0xd4ab0
jmp 0xd4840
cmpl $0x22, %ebp
je 0xd4939
cmpl $0x2f, %ebp
je 0xd4a64
cmpl $0x5c, %ebp
je 0xd4939
movq 0x210(%rbx), %r13
movq 0x18e0(%rbx), %rsi
movq 0x18(%r13), %rdx
movq %rbx, %rdi
callq 0xcd2c
cmpb $0x1, (%rax)
jne 0xd4903
movq 0x120(%rbx), %rdi
movq 0x7e1e7(%rip), %rax     # 0x152a58
movzbl %bpl, %ecx
movq (%rax,%rcx,8), %rdx
movq 0x90(%rbx), %rax
movq 0x110(%rbx), %rbp
cmpq 0x98(%rbx), %rax
ja 0xd48ac
movq %rdi, 0x8(%rsp)
movq %rbx, %rdi
movq %rdx, 0x10(%rsp)
callq 0xb389
movq 0x10(%rsp), %rdx
movq 0x8(%rsp), %rdi
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movl $0x200001, %esi         # imm = 0x200001
movq %rsi, (%rax)
movq %rdx, 0x8(%rax)
movq %rbp, 0x10(%rax)
movq 0x90(%rbx), %rcx
leaq -0x8(%rcx), %rdx
movq %rdx, 0x90(%rbx)
movq -0x8(%rcx), %rdx
movq %rsi, (%rdx)
movq %rdi, 0x8(%rdx)
movq %rax, 0x10(%rdx)
movq %rbx, %rdi
movq %r13, %rsi
callq 0x466aa
cmpb $0x8, (%rax)
je 0xd490a
movq 0x118(%rbx), %rax
movb (%rax), %cl
cmpb $0x8, %cl
jne 0xd4a75
movb 0x8(%rax), %al
movq 0x4b0(%rbx), %rdx
movb %al, (%rdx,%r15)
incq %r15
jmp 0xd4a78
cmpl $0x78, %ebp
je 0xd495a
cmpl $0x7c, %ebp
jne 0xd4840
movq 0x4b0(%rbx), %rax
movb %bpl, (%rax,%r15)
jmp 0xd4b18
movq 0x4b0(%rbx), %rax
movb $0xd, (%rax,%r15)
jmp 0xd4b18
movq %r14, %rdi
callq 0x97c27
cmpl $-0x1, %eax
je 0xd49d3
cmpl $0x3b, %eax
je 0xd49a4
cmpl $0x22, %eax
jne 0xd4980
movl $0x22, %edi
movq %r14, %rsi
callq 0x1090a
jmp 0xd49a4
movslq %eax, %rcx
leaq 0x88cd6(%rip), %rdx     # 0x15d660
movl (%rdx,%rcx,4), %r13d
cmpl $0x10, %r13d
jl 0xd49a9
movq 0x4b0(%rbx), %rcx
movslq %r15d, %rdx
incl %r15d
movb %al, (%rcx,%rdx)
xorl %r13d, %r13d
jmp 0xd49e7
movq %r14, %rdi
callq 0x97c27
cmpl $-0x1, %eax
je 0xd49d3
cmpl $0x3b, %eax
je 0xd49f5
cmpl $0x22, %eax
jne 0xd4a08
movq 0x4b0(%rbx), %rax
movslq %r15d, %rcx
incl %r15d
movb %r13b, (%rax,%rcx)
jmp 0xd4971
xorl %r13d, %r13d
movq %rbx, %rdi
leaq 0x4dc43(%rip), %rsi     # 0x122623
xorl %edx, %edx
callq 0xa38d4
movl %r15d, %ebp
testb %r13b, %r13b
jne 0xd495a
jmp 0xd4a3a
movq 0x4b0(%rbx), %rax
movslq %r15d, %rcx
incl %r15d
movb %r13b, (%rax,%rcx)
jmp 0xd49a4
movslq %eax, %rcx
leaq 0x88c4e(%rip), %rdx     # 0x15d660
movl (%rdx,%rcx,4), %ecx
cmpl $0x10, %ecx
jge 0xd4994
shll $0x4, %r13d
addl %r13d, %ecx
movq 0x4b0(%rbx), %rax
movslq %r15d, %rdx
incl %r15d
movb %cl, (%rax,%rdx)
movb $0x1, %r13b
jmp 0xd49ea
movslq %ebp, %r15
jmp 0xd4b1b
movq 0x4b0(%rbx), %rax
movb $0x8, (%rax,%r15)
jmp 0xd4b18
movq 0x4b0(%rbx), %rax
movb $0xc, (%rax,%r15)
jmp 0xd4b18
movq 0x4b0(%rbx), %rax
movb $0x2f, (%rax,%r15)
jmp 0xd4b18
movq %rax, %r12
cmpb $0x8, %cl
je 0xd4b1b
jmp 0xd4c3d
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq %rbx, %rdi
movq %r14, %rsi
callq *(%rax)
cmpl $0x21, %eax
jg 0xd4abe
cmpl $-0x1, %eax
je 0xd4c1e
cmpl $0xa, %eax
jne 0xd4b0d
movq 0x8(%r14), %rax
incl 0x20(%rax)
movq 0x4b0(%rbx), %rax
movb $0xa, (%rax,%r15)
jmp 0xd4b18
cmpl $0x22, %eax
je 0xd4b3b
cmpl $0x5c, %eax
jne 0xd4b0d
movq %r14, %rdi
callq 0x97c27
movl %eax, %ebp
cmpl $0x61, %eax
jle 0xd4bf9
cmpl $0x71, %ebp
jle 0xd4808
cmpl $0x77, %ebp
jg 0xd492b
cmpl $0x72, %ebp
je 0xd4949
cmpl $0x74, %ebp
jne 0xd4840
movq 0x4b0(%rbx), %rax
movb $0x9, (%rax,%r15)
jmp 0xd4b18
movq 0x4b0(%rbx), %rcx
movb %al, (%rcx,%r15)
incq %r15
movb $0x1, %bpl
cmpq 0x4a8(%rbx), %r15
jl 0xd4c3f
movq %rbx, %rdi
movq %r15, %rsi
callq 0x9a3a8
jmp 0xd4c3f
movq 0x4b0(%rbx), %r13
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xd4b5a
movq %rbx, %rdi
callq 0xb389
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r12
movq $0x200013, (%r12)       # imm = 0x200013
leaq 0x1(%r15), %rsi
movq %rbx, %rdi
callq 0xa305
movq %rax, 0x20(%r12)
movq (%rax), %rdi
movq %rdi, 0x10(%r12)
testq %r15, %r15
jle 0xd4ba1
movq %r13, %rsi
movq %r15, %rdx
callq 0x93e0
movq 0x10(%r12), %rax
movb $0x0, (%rax,%r15)
movq %r15, 0x8(%r12)
movq $0x0, 0x18(%r12)
movq 0x738(%rbx), %r13
movq 0x8(%r13), %rsi
cmpq %rsi, 0x10(%r13)
jne 0xd4be3
leaq (%rsi,%rsi), %rax
movq %rax, 0x8(%r13)
movq (%r13), %rdi
shlq $0x4, %rsi
callq 0x9510
movq %rax, (%r13)
movq (%r13), %rax
movq 0x10(%r13), %rcx
leaq 0x1(%rcx), %rdx
movq %rdx, 0x10(%r13)
movq %r12, (%rax,%rcx,8)
jmp 0xd4c3d
cmpl $0x21, %ebp
jg 0xd4825
cmpl $-0x1, %ebp
je 0xd4c1e
cmpl $0xa, %ebp
je 0xd4b1b
cmpl $0xd, %ebp
je 0xd4b1b
jmp 0xd4840
cmpq $0x8, %r15
movl $0x8, %eax
cmovlq %r15, %rax
movq 0x4b0(%rbx), %rcx
movb $0x0, (%rcx,%rax)
movq 0x120(%rbx), %r12
xorl %ebp, %ebp
testb %bpl, %bpl
jne 0xd4a86
movq %r12, 0x20(%rbx)
cmpq 0x120(%rbx), %r12
jne 0xd4c69
leaq 0x4d95a(%rip), %rsi     # 0x1225b6
movq %rbx, %rdi
movl $0x1, %edx
callq 0xa38d4
movq 0x20(%rbx), %rax
cmpq 0x118(%rbx), %rax
jne 0xd4c87
leaq 0x4d964(%rip), %rsi     # 0x1225e1
movq %rbx, %rdi
xorl %edx, %edx
callq 0xa38d4
cmpq $0x2, 0x6a0(%rbx)
jl 0xd4c9c
movq 0x20(%rbx), %rax
orq $0x1000000, (%rax)      # imm = 0x1000000
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x20(%r14), %rax
addq %r15, %rax
incq %rax
movq %rax, 0x20(%r14)
movq %rbx, %rdi
movq 0x8(%rsp), %rsi
movq %r15, %rdx
callq 0xf620
movq %rax, %r12
jmp 0xd47f4
testq %r15, %r15
jle 0xd47c9
cmpq 0x4a8(%rbx), %r15
jl 0xd4cee
movq %rbx, %rdi
movq %r15, %rsi
callq 0x9a3a8
movq 0x4b0(%rbx), %rdi
movq 0x10(%r14), %rsi
addq 0x20(%r14), %rsi
movq %r15, %rdx
callq 0x93e0
addq %r15, 0x20(%r14)
jmp 0xd47c9