// File: /workspace/github_cpp_makefile_star2_O3/mh0fm4[P]SCDC/src/components/compcoup/compcoup_transport.cc
// Function: scdc_dataset_transport::read_string(scdc_transport_connection_t*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*)
static bool read_string(scdc_transport_connection_t *transport_connection_, std::string *s)
    {
      bool ret = true;

      string t;
      ret = ret && read_delim(transport_connection_, &t, string_begin);

      scdcint_t n;
      sscanf(t.c_str(), "%" scdcint_fmt, &n);

      ret = ret && read_bytes(transport_connection_, s, n);

      char c;
      ret = ret && read_bytes(transport_connection_, &c, 1);
      SCDC_ASSERT(c == string_end);

      ret = ret && read_bytes(transport_connection_, &c, 1);
      SCDC_ASSERT(c == default_delim);

      return ret;
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x20(%rsp), %rax
movq %rax, -0x10(%rax)
movq $0x0, -0x8(%rax)
movb $0x0, (%rax)
leaq 0x10(%rsp), %rsi
movl $0x27, %edx
xorl %ecx, %ecx
callq 0x66504
movl %eax, %ebp
movq 0x10(%rsp), %rdi
leaq 0x651f(%rip), %rsi      # 0x6cd30
leaq 0x30(%rsp), %rdx
xorl %eax, %eax
callq 0xb4e0
testb %bpl, %bpl
je 0x668b4
movq 0x30(%rsp), %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x67384
testb %al, %al
je 0x668b4
leaq 0x30(%rbx), %rax
movq %rax, 0x8(%rsp)
movl $0x1, %r13d
leaq 0x7(%rsp), %r15
movq 0x50(%rbx), %r12
movq 0x58(%rbx), %r14
movq 0x38(%rbx), %rsi
addq %r14, %rsi
subq %r14, %r12
cmpq %r13, %r12
cmovgeq %r13, %r12
movq %r15, %rdi
movq %r12, %rdx
callq 0xb3f0
addq %r12, %r14
movq %r13, %rax
subq %r12, %rax
testq %rax, %rax
setle %bpl
movq %r14, 0x58(%rbx)
subq %r12, %r13
jle 0x668a2
movq 0x68(%rbx), %rax
testq %rax, %rax
je 0x668a2
movq 0x8(%rsp), %rdi
callq *%rax
addq %r12, %r15
testb %al, %al
jne 0x6684e
movb 0x7(%rsp), %r15b
movb $0x27, %al
cmpb $0x27, %r15b
jne 0x668b6
jmp 0x66991
xorl %ebp, %ebp
leaq 0x25cb3(%rip), %r12     # 0x8c570
movq (%r12), %rdi
cmpq $0x0, 0x18(%rdi)
je 0x6698e
addq $0x20, %rdi
callq 0xb7d0
movq (%r12), %rax
movq 0x18(%rax), %r14
leaq 0x3c85(%rip), %rsi      # 0x6a569
movl $0xd, %edx
movq %r14, %rdi
callq 0xb5f0
leaq 0x75b5(%rip), %rsi      # 0x6dead
movl $0x1e, %edx
movq %r14, %rdi
callq 0xb5f0
leaq 0x3a58(%rip), %rsi      # 0x6a364
movl $0x1, %edx
movq %r14, %rdi
callq 0xb5f0
movq %r14, %rdi
movl $0xa8, %esi
callq 0xb9a0
movq %rax, %r14
leaq 0x7ba0(%rip), %rsi      # 0x6e4d0
movl $0x12, %edx
movq %rax, %rdi
callq 0xb5f0
leaq 0x55bc(%rip), %rsi      # 0x6bf00
movl $0x8, %edx
movq %r14, %rdi
callq 0xb5f0
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xb4d0
movsbl %al, %esi
movq %r14, %rdi
callq 0xb050
movq %rax, %rdi
callq 0xb340
movq (%r12), %rdi
addq $0x20, %rdi
callq 0xb3b0
testb %bpl, %bpl
jne 0x66996
xorl %ebp, %ebp
jmp 0x66a0a
movl %r15d, %eax
testb %bpl, %bpl
je 0x66a05
leaq 0x30(%rbx), %rax
movq %rax, 0x8(%rsp)
movl $0x1, %r13d
leaq 0x7(%rsp), %r15
movq 0x50(%rbx), %r12
movq 0x58(%rbx), %r14
movq 0x38(%rbx), %rsi
addq %r14, %rsi
subq %r14, %r12
cmpq %r13, %r12
cmovgeq %r13, %r12
movq %r15, %rdi
movq %r12, %rdx
callq 0xb3f0
addq %r12, %r14
movq %r13, %rax
subq %r12, %rax
testq %rax, %rax
setle %bpl
movq %r14, 0x58(%rbx)
subq %r12, %r13
jle 0x669fe
movq 0x68(%rbx), %rax
testq %rax, %rax
je 0x669fe
movq 0x8(%rsp), %rdi
callq *%rax
addq %r12, %r15
testb %al, %al
jne 0x669aa
movb 0x7(%rsp), %r15b
jmp 0x66a0a
xorl %ebp, %ebp
movl %eax, %r15d
cmpb $0x20, %r15b
je 0x66ae0
leaq 0x25b55(%rip), %r14     # 0x8c570
movq (%r14), %rdi
cmpq $0x0, 0x18(%rdi)
je 0x66ae0
addq $0x20, %rdi
callq 0xb7d0
movq (%r14), %rax
movq 0x18(%rax), %rbx
leaq 0x3b29(%rip), %rsi      # 0x6a569
movl $0xd, %edx
movq %rbx, %rdi
callq 0xb5f0
leaq 0x7459(%rip), %rsi      # 0x6dead
movl $0x1e, %edx
movq %rbx, %rdi
callq 0xb5f0
leaq 0x38fc(%rip), %rsi      # 0x6a364
movl $0x1, %edx
movq %rbx, %rdi
callq 0xb5f0
movq %rbx, %rdi
movl $0xab, %esi
callq 0xb9a0
movq %rax, %rbx
leaq 0x7a2e(%rip), %rsi      # 0x6e4ba
movl $0x15, %edx
movq %rax, %rdi
callq 0xb5f0
leaq 0x5460(%rip), %rsi      # 0x6bf00
movl $0x8, %edx
movq %rbx, %rdi
callq 0xb5f0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0xb4d0
movsbl %al, %esi
movq %rbx, %rdi
callq 0xb050
movq %rax, %rdi
callq 0xb340
movq (%r14), %rdi
addq $0x20, %rdi
callq 0xb3b0
movq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
cmpq %rax, %rdi
je 0x66afc
movq 0x20(%rsp), %rsi
incq %rsi
callq 0xb510
movl %ebp, %eax
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x66b15
jmp 0x66b15
jmp 0x66b15
jmp 0x66b15
movq %rax, %rbx
movq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
cmpq %rax, %rdi
je 0x66b34
movq 0x20(%rsp), %rsi
incq %rsi
callq 0xb510
movq %rbx, %rdi
callq 0xb9c0