user: Converte this assembly snippet into its equivalent C code:

```asm
<do_get>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  mov    %rsi,%r13
  lea    D52(%rip),%rsi
  push   %r12
  mov    %edi,%r12d
  mov    %r13,%rdi
  push   %rbp
  push   %rbx
  sub    $0x498,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x488(%rsp)
  xor    %eax,%eax
  mov    %rsp,%r15
  lea    0x80(%rsp),%r14
  lea    0x90(%rsp),%rbx
  call   <strcmp@plt>
  pxor   %xmm0,%xmm0
  lea    D73(%rip),%rdx
  mov    %r15,%rdi
  test   %rax,%rax
  lea    D24(%rip),%rax
  movaps %xmm0,(%rsp)
  lea    D27(%rip),%rsi
  cmove  %rax,%r13
  movaps %xmm0,0x10(%rsp)
  movaps %xmm0,0x20(%rsp)
  mov    %r13,%rcx
  movaps %xmm0,0x30(%rsp)
  xor    %r13d,%r13d
  movaps %xmm0,0x40(%rsp)
  movaps %xmm0,0x50(%rsp)
  movaps %xmm0,0x60(%rsp)
  movaps %xmm0,0x70(%rsp)
  call   <sprintf@plt>
  lea    D23(%rip),%rsi
  mov    %r15,%rdi
  call   <fopen@plt>
  mov    %rax,%rbp
  test   %rax,%rax
  jne    L21
  jmp    L47
  xchg   %ax,%ax
L28:
  xor    %ecx,%ecx
  mov    %r14,%rsi
  mov    %r12d,%edi
  call   <send@plt>
L21:
  pxor   %xmm0,%xmm0
  mov    %r13,%rax
  mov    $0x7e,%ecx
  mov    %rbx,%rdi
  movaps %xmm0,0x80(%rsp)
  mov    $0x400,%edx
  mov    $0x1,%esi
  rep stos %rax,%es:(%rdi)
  mov    %rbp,%rcx
  mov    %r14,%rdi
  call   <fread@plt>
  mov    %eax,%edx
  test   %eax,%eax
  jg     L28
  mov    %rbp,%rdi
  call   <fclose@plt>
L34:
  mov    0x488(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L24
  add    $0x498,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nop
L47:
  mov    %r15,%rsi
  lea    D36(%rip),%rdi
  call   <printf@plt>
  movdqa D77(%rip),%xmm0
  mov    %r14,%rdi
  movaps %xmm0,0x80(%rsp)
  movdqa D4(%rip),%xmm0
  movaps %xmm0,0x90(%rsp)
  call   <strlen@plt>
  xor    %ecx,%ecx
  mov    %r14,%rsi
  mov    %r12d,%edi
  mov    %eax,%edx
  call   <send@plt>
  jmp    L34
L24:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D52
datatype: string
name: extract_symbolic_data
arguments: data_label: D73
datatype: string
name: extract_symbolic_data
arguments: data_label: D24
datatype: string
name: extract_symbolic_data
arguments: data_label: D27
datatype: string
name: extract_symbolic_data
arguments: data_label: D23
datatype: string
name: extract_symbolic_data
arguments: data_label: D36
datatype: string
name: extract_symbolic_data
arguments: data_label: D77
datatype: byte[16]
name: extract_symbolic_data
arguments: data_label: D4
datatype: byte[16]

tool: D52: /

tool: D73: /WEB

tool: D24: /index.html

tool: D27: %s%s

tool: D23: r

tool: D36: The file %s is not found!


tool: {"D77": [0x3c,0x68,0x31,0x3e,0x34,0x30,0x34,0x20,0x66,0x69,0x6c,0x65,0x20,0x6e,0x6f,0x74]}

tool: {"D4": [0x20,0x66,0x6f,0x75,0x6e,0x64,0x21,0x3c,0x2f,0x68,0x31,0x3e,0x00,0x00,0x00,0x00]}

assistant: ```c
void do_get(int fd, char *filename) {
  if (strcmp(filename, "/") == 0)
    filename = "/index.html";
  char path[128] = {'\0'};
  sprintf(path, "%s%s", "/WEB", filename);
  FILE *fp = fopen(path, "r");
  if (NULL == fp) {
    printf("The file %s is not found!\n", path);
    char errmsg[32] = "<h1>404 file not found!</h1>";
    send(fd, errmsg, strlen(errmsg), 0);
    return;
  }
  while (1) {
    char buf[1024] = {'\0'};
    int read_size = fread(buf, 1, sizeof(buf), fp);
    if (read_size <= 0)
      break;
    send(fd, buf, read_size, 0);
  }
  fclose(fp);
  return;
}
```