user: 请从给定的汇编指令推导出C源代码：

```asm
<get_HTTP_headers>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x60,%rsp
  mov    %edi,-0x34(%rbp)
  mov    %rsi,-0x40(%rbp)
  mov    %rdx,-0x48(%rbp)
  mov    %rcx,-0x50(%rbp)
  movsd  %xmm0,-0x58(%rbp)
  movq   $0x0,-0x8(%rbp)
  movl   $0x0,-0x24(%rbp)
  movl   $0x1000,-0x20(%rbp)
  mov    -0x20(%rbp),%eax
  add    $0x1,%eax
  mov    %eax,%edi
  call   <malloc@plt>
  mov    %rax,-0x10(%rbp)
  movl   $0x0,-0x1c(%rbp)
  mov    -0x48(%rbp),%rax
  movq   $0x0,(%rax)
  mov    -0x20(%rbp),%edx
  mov    -0x10(%rbp),%rax
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
L23:
  movl   $0xffffffff,-0x18(%rbp)
  mov    -0x20(%rbp),%eax
  sub    -0x24(%rbp),%eax
  mov    %eax,-0x14(%rbp)
  cmpq   $0x0,-0x40(%rbp)
  je     L33
  mov    -0x24(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x10(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0x14(%rbp),%edx
  mov    -0x40(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <SSL_read@plt>
  mov    %eax,-0x18(%rbp)
  jmp    L20
L33:
  mov    -0x24(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x10(%rbp),%rax
  lea    (%rdx,%rax,1),%rsi
  mov    -0x58(%rbp),%rcx
  mov    -0x14(%rbp),%edx
  mov    -0x34(%rbp),%eax
  movq   %rcx,%xmm0
  mov    %eax,%edi
  call   <read_to@plt>
  mov    %eax,-0x18(%rbp)
L20:
  cmpl   $0x0,-0x18(%rbp)
  je     L24
  cmpl   $0xffffffff,-0x18(%rbp)
  jne    L56
L24:
  movl   $0xffffffff,-0x1c(%rbp)
  jmp    L40
L56:
  cmpl   $0x0,-0x18(%rbp)
  jns    L59
  mov    -0x10(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  mov    -0x18(%rbp),%eax
  jmp    L71
L59:
  mov    -0x18(%rbp),%eax
  add    %eax,-0x24(%rbp)
  mov    -0x24(%rbp),%eax
  not    %eax
  shr    $0x1f,%eax
  movzbl %al,%eax
  mov    %eax,%edi
  call   <assert@plt>
  mov    -0x24(%rbp),%eax
  cmp    -0x20(%rbp),%eax
  setle  %al
  movzbl %al,%eax
  mov    %eax,%edi
  call   <assert@plt>
  mov    -0x24(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x10(%rbp),%rax
  add    %rdx,%rax
  movb   $0x0,(%rax)
  mov    -0x10(%rbp),%rax
  lea    D14(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strstr@plt>
  test   %rax,%rax
  jne    L54
  mov    -0x24(%rbp),%eax
  cmp    -0x20(%rbp),%eax
  jl     L23
  shll   -0x20(%rbp)
  mov    -0x20(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    -0x10(%rbp),%rax
  mov    %edx,%esi
  mov    %rax,%rdi
  call   <realloc@plt>
  mov    %rax,-0x10(%rbp)
  jmp    L23
L54:
  nop
L40:
  mov    -0x48(%rbp),%rax
  mov    -0x10(%rbp),%rdx
  mov    %rdx,(%rax)
  mov    -0x10(%rbp),%rax
  lea    D14(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strstr@plt>
  mov    %rax,-0x8(%rbp)
  cmpq   $0x0,-0x8(%rbp)
  je     L80
  mov    -0x24(%rbp),%edx
  mov    -0x8(%rbp),%rax
  sub    -0x10(%rbp),%rax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  sub    $0x4,%eax
  mov    %eax,%edx
  mov    -0x50(%rbp),%rax
  mov    %edx,(%rax)
  jmp    L98
L80:
  mov    -0x50(%rbp),%rax
  movl   $0x0,(%rax)
L98:
  mov    -0x1c(%rbp),%eax
L71:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D14
type: string

tool: D14: 



assistant: ```c
int get_HTTP_headers(int socket_h, SSL *ssl_h, char **headers, int *overflow, double timeout) {
  char *term = NULL;
  int len_in = 0, len = 4096;
  char *buffer = (char *)malloc(len + 1);
  int rc = 0;
  *headers = NULL;
  memset(buffer, 0x00, len);
  for (;;) {
    int rrc = -1;
    int now_n = len - len_in;
    if (ssl_h)
      rrc = SSL_read(ssl_h, &buffer[len_in], now_n);
    else
      rrc = read_to(socket_h, &buffer[len_in], now_n, timeout);
    if (rrc == 0 || rrc == -1) {
      rc = -1;
      break;
    } else if (rrc < 0) {
      free(buffer);
      return rrc;
    }
    len_in += rrc;
    assert(len_in >= 0);
    assert(len_in <= len);
    buffer[len_in] = 0x00;
    if (strstr(buffer, "\r\n\r\n") != NULL)
      break;
    if (len_in >= len) {
      len <<= 1;
      buffer = (char *)realloc(buffer, len + 1);
    }
  }
  *headers = buffer;
  term = strstr(buffer, "\r\n\r\n");
  if (term)
    *overflow = len_in - (term - buffer + 4);
  else
    *overflow = 0;
  return rc;
}
```