user: Please show me the C implementation that matches the assembly code listed below:

```asm
<ok>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  sub    $0xf50,%rsp
  movdqa D37(%rip),%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,0x3f48(%rsp)
  xor    %eax,%eax
  mov    %rsp,%rbp
  mov    %edi,%r12d
  mov    $0xa,%eax
  mov    %rbp,%rdi
  movaps %xmm0,(%rsp)
  lea    0x1fa0(%rsp),%r13
  mov    %ax,0x10(%rsp)
  call   <strlen@plt>
  mov    %rbp,%rsi
  mov    %r12d,%edi
  mov    %eax,%edx
  call   <write_socket@plt>
  movdqa D3(%rip),%xmm0
  mov    $0xa0d,%edx
  movabs $0x312e312e302f7265,%rax
  mov    %rbp,%rdi
  mov    %dx,0x18(%rsp)
  movaps %xmm0,(%rsp)
  mov    %rax,0x10(%rsp)
  movb   $0x0,0x1a(%rsp)
  call   <strlen@plt>
  mov    %rbp,%rsi
  mov    %r12d,%edi
  mov    %eax,%edx
  call   <write_socket@plt>
  mov    $0xa,%ecx
  mov    %rbp,%rdi
  movabs $0x50203a776f6c6c41,%rax
  mov    %cx,0xc(%rsp)
  mov    %rax,(%rsp)
  movl   $0xd54534f,0x8(%rsp)
  call   <strlen@plt>
  mov    %rbp,%rsi
  mov    %r12d,%edi
  mov    %eax,%edx
  call   <write_socket@plt>
  movdqa D26(%rip),%xmm0
  mov    $0xa,%esi
  mov    %rbp,%rdi
  movabs $0xd6c6d74682f7478,%rax
  mov    %si,0x18(%rsp)
  movaps %xmm0,(%rsp)
  mov    %rax,0x10(%rsp)
  call   <strlen@plt>
  mov    %rbp,%rsi
  mov    %r12d,%edi
  mov    %eax,%edx
  call   <write_socket@plt>
  movdqa D12(%rip),%xmm0
  mov    %r13,%rdi
  movabs $0x444145482f3c3e45,%rax
  mov    %rax,0x1fc0(%rsp)
  movaps %xmm0,0x1fa0(%rsp)
  movdqa D8(%rip),%xmm0
  movl   $0xa0d3e,0x1fc8(%rsp)
  movaps %xmm0,0x1fb0(%rsp)
  call   <strlen@plt>
  movdqa D56(%rip),%xmm0
  mov    $0xa,%edi
  cltq
  add    %r13,%rax
  mov    %di,0x24(%rax)
  mov    %r13,%rdi
  movups %xmm0,(%rax)
  movdqa D4(%rip),%xmm0
  movl   $0xd3e4c4d,0x20(%rax)
  movups %xmm0,0x10(%rax)
  call   <strlen@plt>
  lea    D74(%rip),%rsi
  mov    %rbp,%rdi
  mov    %eax,%edx
  xor    %eax,%eax
  call   <sprintf@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %rbp,%rsi
  mov    %r12d,%edi
  mov    %eax,%edx
  call   <write_socket@plt>
  mov    $0xa0d,%r8d
  mov    %rbp,%rdi
  movb   $0x0,0x2(%rsp)
  mov    %r8w,(%rsp)
  call   <strlen@plt>
  mov    %rbp,%rsi
  mov    %r12d,%edi
  mov    %eax,%edx
  call   <write_socket@plt>
  mov    %r13,%rdi
  call   <strlen@plt>
  mov    %r13,%rsi
  mov    %r12d,%edi
  mov    %eax,%edx
  call   <write_socket@plt>
  mov    0x3f48(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L9
  add    $0x3f50,%rsp
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L9:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: unpack_data
arguments: label: D37
type_infered: byte[16]
name: unpack_data
arguments: label: D3
type_infered: byte[16]
name: unpack_data
arguments: label: D26
type_infered: byte[16]
name: unpack_data
arguments: label: D12
type_infered: byte[16]
name: unpack_data
arguments: label: D8
type_infered: byte[16]
name: unpack_data
arguments: label: D56
type_infered: byte[16]
name: unpack_data
arguments: label: D4
type_infered: byte[16]
name: unpack_data
arguments: label: D74
type_infered: string

tool: {"D37": [0x48,0x54,0x54,0x50,0x2f,0x31,0x2e,0x31,0x20,0x32,0x30,0x31,0x20,0x4f,0x4b,0x0d]}

tool: {"D3": [0x53,0x65,0x72,0x76,0x65,0x72,0x3a,0x20,0x68,0x74,0x74,0x70,0x53,0x65,0x72,0x76]}

tool: {"D26": [0x43,0x6f,0x6e,0x74,0x65,0x6e,0x74,0x2d,0x54,0x79,0x70,0x65,0x3a,0x20,0x74,0x65]}

tool: {"D12": [0x3c,0x48,0x54,0x4d,0x4c,0x3e,0x3c,0x48,0x45,0x41,0x44,0x3e,0x3c,0x54,0x49,0x54]}

tool: {"D8": [0x4c,0x45,0x3e,0x50,0x4f,0x53,0x54,0x20,0x4f,0x4b,0x3c,0x2f,0x54,0x49,0x54,0x4c]}

tool: {"D56": [0x3c,0x42,0x4f,0x44,0x59,0x3e,0x3c,0x50,0x3e,0x50,0x4f,0x53,0x54,0x20,0x4f,0x4b]}

tool: {"D4": [0x2e,0x3c,0x2f,0x50,0x3e,0x3c,0x2f,0x42,0x4f,0x44,0x59,0x3e,0x3c,0x2f,0x48,0x54]}

tool: D74: Content-Length: %ld


assistant: ```c
void ok(int client_sockfd) {
  char buffer[8096];
  char body[8096];
  sprintf(buffer, "HTTP/1.1 201 OK\r\n");
  write_socket(client_sockfd, buffer, strlen(buffer));
  sprintf(buffer, "Server: httpServer/0.1.1\r\n");
  write_socket(client_sockfd, buffer, strlen(buffer));
  sprintf(buffer, "Allow: POST\r\n");
  write_socket(client_sockfd, buffer, strlen(buffer));
  sprintf(buffer, "Content-Type: text/html\r\n");
  write_socket(client_sockfd, buffer, strlen(buffer));
  sprintf(body, "<HTML><HEAD><TITLE>POST OK</TITLE></HEAD>\r\n");
  sprintf(body + strlen(body), "<BODY><P>POST OK.</P></BODY></HTML>\r\n");
  sprintf(buffer, "Content-Length: %ld\r\n", strlen(body));
  write_socket(client_sockfd, buffer, strlen(buffer));
  sprintf(buffer, "\r\n");
  write_socket(client_sockfd, buffer, strlen(buffer));
  write_socket(client_sockfd, body, strlen(body));
}
```