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

```asm
<build_headers>:
  endbr64
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x90,%rsp
  mov    %rdi,%rbp
  mov    %rcx,%r13
  mov    %r8d,%r14d
  mov    %r9,0x8(%rsp)
  mov    %fs:0x28,%rax
  mov    %rax,0x88(%rsp)
  xor    %eax,%eax
  mov    %rdx,%r8
  mov    %esi,%ecx
  lea    D66(%rip),%rdx
  lea    D111(%rip),%rsi
  call   <sprintf@plt>
  mov    %rax,%rbx
  movslq %eax,%rdi
  add    %rbp,%rdi
  lea    D117(%rip),%rdx
  lea    D34(%rip),%rsi
  mov    $0x0,%eax
  call   <sprintf@plt>
  add    %eax,%ebx
  mov    $0x0,%edi
  call   <time@plt>
  mov    %rax,0x18(%rsp)
  lea    0x18(%rsp),%rdi
  call   <gmtime@plt>
  mov    %eax,%ecx
  lea    0x20(%rsp),%r12
  lea    D88(%rip),%rdx
  mov    $0x64,%esi
  mov    %r12,%rdi
  call   <strftime@plt>
  movslq %ebx,%rdi
  add    %rbp,%rdi
  mov    %r12,%rdx
  lea    D105(%rip),%rsi
  mov    $0x0,%eax
  call   <sprintf@plt>
  lea    (%rbx,%rax,1),%r12d
  mov    %r12d,%ebx
  test   %r13,%r13
  je     L58
  movslq %r12d,%rdi
  add    %rbp,%rdi
  mov    %r13,%rdx
  lea    D119(%rip),%rsi
  mov    $0x0,%eax
  call   <sprintf@plt>
  lea    (%r12,%rax,1),%ebx
L58:
  test   %r14d,%r14d
  jns    L4
L8:
  cmpq   $0xffffffffffffffff,0x8(%rsp)
  jne    L18
L35:
  movslq %ebx,%rdi
  add    %rbp,%rdi
  lea    D59(%rip),%rsi
  mov    $0x0,%eax
  call   <sprintf@plt>
  add    %eax,%ebx
  movslq %ebx,%rax
  lea    0x0(%rbp,%rax,1),%rdi
  lea    D39(%rip),%rsi
  mov    $0x0,%eax
  call   <printf@plt>
  add    %ebx,%eax
  mov    0x88(%rsp),%rdx
  sub    %fs:0x28,%rdx
  jne    L20
  add    $0x90,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
L4:
  movslq %ebx,%rdi
  add    %rbp,%rdi
  mov    %r14d,%edx
  lea    D23(%rip),%rsi
  mov    $0x0,%eax
  call   <sprintf@plt>
  add    %eax,%ebx
  jmp    L8
L18:
  lea    0x8(%rsp),%rdi
  call   <gmtime@plt>
  mov    %eax,%ecx
  lea    0x20(%rsp),%r12
  lea    D88(%rip),%rdx
  mov    $0x64,%esi
  mov    %r12,%rdi
  call   <strftime@plt>
  movslq %ebx,%rdi
  add    %rbp,%rdi
  mov    %r12,%rdx
  lea    D44(%rip),%rsi
  mov    $0x0,%eax
  call   <printf@plt>
  add    %eax,%ebx
  jmp    L35
L20:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: parse_data
arguments: tag: D66
type: string
name: parse_data
arguments: tag: D111
type: string
name: parse_data
arguments: tag: D117
type: string
name: parse_data
arguments: tag: D34
type: string
name: parse_data
arguments: tag: D88
type: string
name: parse_data
arguments: tag: D105
type: string
name: parse_data
arguments: tag: D119
type: string
name: parse_data
arguments: tag: D59
type: string
name: parse_data
arguments: tag: D39
type: string
name: parse_data
arguments: tag: D23
type: string
name: parse_data
arguments: tag: D44
type: string

tool: D66: HTTP/1.0

tool: D111: %s %d %s


tool: D117: micro_proxy

tool: D34: Server: %s


tool: D88: %a, %d %b %Y %H:%M:%S GMT

tool: D105: Date: %s


tool: D119: Content-Type: %s


tool: D59: Connection: close


tool: D39: 


tool: D23: Content-Length: %d


tool: D44: Last-Modified: %s


assistant: ```c
int build_headers(char *buffer, int status, char *title, char *mime_type, int length, time_t mod) {
  time_t now;
  char timebuf[100];
  int index = 0;
  index += sprintf(buffer + index, "%s %d %s\r\n", "HTTP/1.0", status, title);
  index += sprintf(buffer + index, "Server: %s\r\n", "micro_proxy");
  now = time((time_t *)0);
  strftime(timebuf, sizeof(timebuf), "%a, %d %b %Y %H:%M:%S GMT", gmtime(&now));
  index += sprintf(buffer + index, "Date: %s\r\n", timebuf);
  if (mime_type != (char *)0)
    index += sprintf(buffer + index, "Content-Type: %s\r\n", mime_type);
  if (length >= 0)
    index += sprintf(buffer + index, "Content-Length: %d\r\n", length);
  if (mod != (time_t)-1) {
    strftime(timebuf, sizeof(timebuf), "%a, %d %b %Y %H:%M:%S GMT", gmtime(&mod));
    index += printf(buffer + index, "Last-Modified: %s\r\n", timebuf);
  }
  index += sprintf(buffer + index, "Connection: close\r\n");
  index += printf(buffer + index, "\r\n");
  return index;
}
```