user: What is the c source code of the assembly code below?

```asm
<send_error>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  sub    $0x18,%rsp
  mov    $0xffffffff,%r9d
  mov    $0xffffffff,%r8d
  mov    %rsp,%rbp
  mov    %edi,%r12d
  mov    %rsi,%r14
  mov    %rdx,%r15
  mov    %fs:0x28,%rax
  mov    %rax,0x2008(%rsp)
  xor    %eax,%eax
  mov    %rsi,%rdx
  mov    %ecx,%r13d
  mov    %edi,%esi
  lea    D47(%rip),%rcx
  mov    %rbp,%rdi
  call   <build_headers@plt>
  mov    %r14,%r9
  mov    %r12d,%r8d
  mov    %r14,%rcx
  movslq %eax,%rdi
  mov    %rax,%rbx
  mov    %r12d,%edx
  xor    %eax,%eax
  add    %rbp,%rdi
  lea    D43(%rip),%rsi
  call   <sprintf@plt>
  mov    %r15,%rdx
  lea    D51(%rip),%rsi
  add    %eax,%ebx
  xor    %eax,%eax
  movslq %ebx,%rdi
  add    %rbp,%rdi
  call   <sprintf@plt>
  lea    D27(%rip),%rcx
  lea    D32(%rip),%rdx
  lea    (%rbx,%rax,1),%edi
  lea    D54(%rip),%rsi
  xor    %eax,%eax
  movslq %edi,%rdi
  add    %rbp,%rdi
  call   <sprintf@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  xor    %ecx,%ecx
  mov    %rbp,%rsi
  mov    %r13d,%edi
  mov    %eax,%edx
  call   <send@plt>
  mov    0x2008(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L0
  add    $0x2018,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L0:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: retrieve_data
arguments: tag: D47
type_guessed: string
name: retrieve_data
arguments: tag: D43
type_guessed: string
name: retrieve_data
arguments: tag: D51
type_guessed: string
name: retrieve_data
arguments: tag: D27
type_guessed: string
name: retrieve_data
arguments: tag: D32
type_guessed: string
name: retrieve_data
arguments: tag: D54
type_guessed: string

tool: D47: text/html

tool: D43: <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
  <head>
    <meta http-equiv="Content-type" content="text/html;charset=UTF-8">
    <title>%d %s</title>
  </head>
  <body bgcolor="#cc9999" text="#000000" link="#2020ff" vlink="#4040cc">
    <h4>%d %s</h4>



tool: D51: %s



tool: D27: micro_proxy

tool: D32: http://www.acme.com/software/micro_proxy/

tool: D54:     <hr>
    <address><a href="%s">%s</a></address>
  </body>
</html>


assistant: ```c
void send_error(int status, char *title, char *text, int sockfd) {
  char buffer[8192];
  int index = 0;
  index += build_headers(buffer + index, status, title, "text/html", -1, -1);
  index += sprintf(buffer + index, "<!DOCTYPE html PUBLIC \"-//W3C//DTD HTML 4.01 Transitional//EN\" \"http://www.w3.org/TR/html4/loose.dtd\">\n<html>\n  <head>\n    <meta http-equiv=\"Content-type\" content=\"text/html;charset=UTF-8\">\n    <title>%d %s</title>\n  </head>\n  <body bgcolor=\"#cc9999\" text=\"#000000\" link=\"#2020ff\" vlink=\"#4040cc\">\n    <h4>%d %s</h4>\n\n", status, title, status, title);
  index += sprintf(buffer + index, "%s\n\n", text);
  index += sprintf(buffer + index, "    <hr>\n    <address><a href=\"%s\">%s</a></address>\n  </body>\n</html>\n", "http://www.acme.com/software/micro_proxy/", "micro_proxy");
  send(sockfd, buffer, strlen(buffer), 0);
}
```