user: What would the C source look like for the assembly code provided here?

```asm
<http_request_headers>:
  endbr64
  push   %r15
  mov    %edi,%r15d
  lea    D25(%rip),%rdi
  push   %r14
  mov    $0x5f,%r14d
  push   %r13
  push   %r12
  lea    D48(%rip),%r12
  push   %rbp
  push   %rbx
  sub    $0x418,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x408(%rsp)
  xor    %eax,%eax
  call   <touch@plt>
  nopl   0x0(%rax)
L1:
  mov    $0x2000,%edx
  mov    %r12,%rsi
  mov    %r15d,%edi
  call   <http_read_line@plt>
  test   %rax,%rax
  js     L10
  cmpb   $0x0,(%r12)
  je     L13
  mov    $0x20,%esi
  mov    %r12,%rdi
  call   <strchr@plt>
  test   %rax,%rax
  je     L4
  movb   $0x0,(%rax)
  mov    %r12,%rdi
  lea    0x1(%rax),%r13
  call   <strlen@plt>
  test   %eax,%eax
  je     L87
  mov    %r12,%rdi
  call   <strlen@plt>
  sub    $0x1,%eax
  cltq
  cmpb   $0x3a,(%r12,%rax,1)
  jne    L72
  movb   $0x0,(%r12,%rax,1)
  lea    D48(%rip),%rbx
  xor    %ebp,%ebp
  jmp    L62
  nopl   0x0(%rax)
L64:
  movsbl (%rbx),%edi
  call   <toupper@plt>
  cmp    $0x2d,%al
  cmove  %r14d,%eax
  add    $0x1,%ebp
  add    $0x1,%rbx
  mov    %al,-0x1(%rbx)
L62:
  mov    %r12,%rdi
  call   <strlen@plt>
  cmp    %ebp,%eax
  jg     L64
  mov    %rsp,%rbp
  mov    %r13,%rsi
  mov    $0x200,%edx
  mov    %rbp,%rdi
  call   <url_decode@plt>
  lea    D67(%rip),%rsi
  mov    %r12,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L66
  lea    D14(%rip),%rsi
  mov    %r12,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L141
L66:
  mov    $0x1,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  call   <setenv@plt>
  jmp    L1
  nopl   0x0(%rax)
L141:
  lea    0x200(%rsp),%r13
  mov    %r12,%rcx
  mov    $0x200,%esi
  mov    %r13,%rdi
  lea    D45(%rip),%rdx
  call   <snprintf@plt>
  mov    $0x1,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <setenv@plt>
  jmp    L1
L10:
  lea    D92(%rip),%rax
L140:
  mov    0x408(%rsp),%rdx
  sub    %fs:0x28,%rdx
  jne    L16
  add    $0x418,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L13:
  xor    %eax,%eax
  jmp    L140
L4:
  lea    D71(%rip),%rax
  jmp    L140
L87:
  lea    D20(%rip),%rax
  jmp    L140
L72:
  lea    D63(%rip),%rax
  jmp    L140
L16:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: unpack_data
arguments: data_tag: D25
type_infered: string
name: unpack_data
arguments: data_tag: D67
type_infered: string
name: unpack_data
arguments: data_tag: D14
type_infered: string
name: unpack_data
arguments: data_tag: D45
type_infered: string
name: unpack_data
arguments: data_tag: D92
type_infered: string
name: unpack_data
arguments: data_tag: D71
type_infered: string
name: unpack_data
arguments: data_tag: D20
type_infered: string
name: unpack_data
arguments: data_tag: D63
type_infered: string

tool: D25: http_request_headers

tool: D67: CONTENT_TYPE

tool: D14: CONTENT_LENGTH

tool: D45: HTTP_%s

tool: D92: Socket IO error

tool: D71: Header parse error (1)

tool: D20: Header parse error (2)

tool: D63: Header parse error (3)

assistant: ```c
const char *http_request_headers(int fd) {
  static char buf[8192];
  int i;
  char value[512];
  char envvar[512];
  touch("http_request_headers");
  for (;;) {
    if (http_read_line(fd, buf, sizeof(buf)) < 0)
      return "Socket IO error";
    if (buf[0] == '\0')
      break;
    char *sp = strchr(buf, ' ');
    if (!sp)
      return "Header parse error (1)";
    *sp = '\0';
    sp++;
    if (strlen(buf) == 0)
      return "Header parse error (2)";
    char *colon = &buf[strlen(buf) - 1];
    if (*colon != ':')
      return "Header parse error (3)";
    *colon = '\0';
    for (i = 0; i < strlen(buf); i++) {
      buf[i] = toupper(buf[i]);
      if (buf[i] == '-')
        buf[i] = '_';
    }
    url_decode(value, sp, 512);
    if (strcmp(buf, "CONTENT_TYPE") != 0 && strcmp(buf, "CONTENT_LENGTH") != 0) {
      snprintf(envvar, 512, "HTTP_%s", buf);
      setenv(envvar, value, 1);
    } else {
      setenv(buf, value, 1);
    }
  }
  return 0;
}
```