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

```asm
<send_headers>:
  endbr64
  push   %r15
  lea    D75(%rip),%r15
  push   %r14
  push   %r13
  mov    %r8d,%r13d
  push   %r12
  mov    %rdx,%r12
  mov    %edi,%edx
  lea    D57(%rip),%rdi
  push   %rbp
  mov    %rcx,%rbp
  mov    %rsi,%rcx
  lea    D88(%rip),%rsi
  sub    $0xb0,%rsp
  mov    %r9d,0xc(%rsp)
  lea    0x20(%rsp),%r14
  mov    %fs:0x28,%rax
  mov    %rax,0xa8(%rsp)
  xor    %eax,%eax
  call   <printf@plt>
  lea    D112(%rip),%rsi
  lea    D14(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  xor    %edi,%edi
  call   <time@plt>
  lea    0x1c(%rsp),%rdi
  mov    %eax,0x1c(%rsp)
  call   <gmtime@plt>
  mov    $0x80,%esi
  mov    %r14,%rdi
  mov    %r15,%rdx
  mov    %eax,%ecx
  call   <strftime@plt>
  xor    %eax,%eax
  mov    %r14,%rsi
  lea    D79(%rip),%rdi
  call   <printf@plt>
  test   %r12,%r12
  je     L37
  mov    %r12,%rsi
  lea    D34(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
L37:
  test   %rbp,%rbp
  je     L53
  mov    %rbp,%rsi
  lea    D20(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
L53:
  test   %r13d,%r13d
  js     L43
  mov    %r13d,%esi
  lea    D92(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
L43:
  cmpl   $0xffffffff,0xc(%rsp)
  je     L13
  lea    0xc(%rsp),%rdi
  call   <gmtime@plt>
  mov    $0x80,%esi
  mov    %r14,%rdi
  mov    %r15,%rdx
  mov    %eax,%ecx
  call   <strftime@plt>
  mov    %r14,%rsi
  lea    D23(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
L13:
  mov    0xe0(%rsp),%eax
  test   %eax,%eax
  jle    L29
  lea    D41(%rip),%rdi
  call   <puts@plt>
  lea    D94(%rip),%rdi
  call   <puts@plt>
L29:
  mov    0xa8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L51
  add    $0xb0,%rsp
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L51:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D75
type_guessed: string
name: extract_symbolic_data
arguments: data_tag: D57
type_guessed: string
name: extract_symbolic_data
arguments: data_tag: D88
type_guessed: string
name: extract_symbolic_data
arguments: data_tag: D112
type_guessed: string
name: extract_symbolic_data
arguments: data_tag: D14
type_guessed: string
name: extract_symbolic_data
arguments: data_tag: D79
type_guessed: string
name: extract_symbolic_data
arguments: data_tag: D34
type_guessed: string
name: extract_symbolic_data
arguments: data_tag: D20
type_guessed: string
name: extract_symbolic_data
arguments: data_tag: D92
type_guessed: string
name: extract_symbolic_data
arguments: data_tag: D23
type_guessed: string
name: extract_symbolic_data
arguments: data_tag: D41
type_guessed: string
name: extract_symbolic_data
arguments: data_tag: D94
type_guessed: string

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

tool: D57: %s %d %s


tool: D88: HTTP/1.0

tool: D112: in.www/200809

tool: D14: Server: %s


tool: D79: Date: %s


tool: D34: %s


tool: D20: Content-Type: %s


tool: D92: Content-Length: %d


tool: D23: Last-Modified: %s


tool: D41: Connection: close

tool: D94: 

assistant: ```c
void send_headers(int status, char *title, char *extra, char *mime, int length, time_t date, int complete) {
  time_t now;
  char timebuf[128];
  printf("%s %d %s\r\n", "HTTP/1.0", status, title);
  printf("Server: %s\r\n", "in.www/200809");
  now = time(NULL);
  strftime(timebuf, sizeof(timebuf), "%a, %d %b %Y %H:%M:%S GMT", gmtime(&now));
  printf("Date: %s\r\n", timebuf);
  if (extra)
    printf("%s\r\n", extra);
  if (mime)
    printf("Content-Type: %s\r\n", mime);
  if (length >= 0)
    printf("Content-Length: %d\r\n", length);
  if (date != -1) {
    strftime(timebuf, sizeof(timebuf), "%a, %d %b %Y %H:%M:%S GMT", gmtime(&date));
    printf("Last-Modified: %s\r\n", timebuf);
  }
  if (complete > 0) {
    printf("Connection: close\r\n");
    printf("\r\n");
  }
}
```