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

```asm
<ok>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  sub    $0xf60,%rsp
  mov    %edi,-0x3f54(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  lea    -0x3f50(%rbp),%rax
  lea    D33(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  lea    -0x3f50(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  lea    -0x3f50(%rbp),%rcx
  mov    -0x3f54(%rbp),%eax
  mov    %rcx,%rsi
  mov    %eax,%edi
  call   <write_socket@plt>
  lea    -0x3f50(%rbp),%rax
  lea    D40(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  lea    -0x3f50(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  lea    -0x3f50(%rbp),%rcx
  mov    -0x3f54(%rbp),%eax
  mov    %rcx,%rsi
  mov    %eax,%edi
  call   <write_socket@plt>
  lea    -0x3f50(%rbp),%rax
  lea    D6(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  lea    -0x3f50(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  lea    -0x3f50(%rbp),%rcx
  mov    -0x3f54(%rbp),%eax
  mov    %rcx,%rsi
  mov    %eax,%edi
  call   <write_socket@plt>
  lea    -0x3f50(%rbp),%rax
  lea    D64(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  lea    -0x3f50(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  lea    -0x3f50(%rbp),%rcx
  mov    -0x3f54(%rbp),%eax
  mov    %rcx,%rsi
  mov    %eax,%edi
  call   <write_socket@plt>
  lea    -0x1fb0(%rbp),%rax
  lea    D19(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  lea    -0x1fb0(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  cltq
  lea    -0x1fb0(%rbp),%rdx
  add    %rdx,%rax
  lea    D70(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  lea    -0x1fb0(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  lea    -0x3f50(%rbp),%rax
  lea    D53(%rip),%rcx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  lea    -0x3f50(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  lea    -0x3f50(%rbp),%rcx
  mov    -0x3f54(%rbp),%eax
  mov    %rcx,%rsi
  mov    %eax,%edi
  call   <write_socket@plt>
  lea    -0x3f50(%rbp),%rax
  lea    D51(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  lea    -0x3f50(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  lea    -0x3f50(%rbp),%rcx
  mov    -0x3f54(%rbp),%eax
  mov    %rcx,%rsi
  mov    %eax,%edi
  call   <write_socket@plt>
  lea    -0x1fb0(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  lea    -0x1fb0(%rbp),%rcx
  mov    -0x3f54(%rbp),%eax
  mov    %rcx,%rsi
  mov    %eax,%edi
  call   <write_socket@plt>
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L5
  call   <__stack_chk_fail@plt>
L5:
  leave
  ret
```

tool_calls: name: unpack_data
arguments: tag: D33
data_type: string
name: unpack_data
arguments: tag: D40
data_type: string
name: unpack_data
arguments: tag: D6
data_type: string
name: unpack_data
arguments: tag: D64
data_type: string
name: unpack_data
arguments: tag: D19
data_type: string
name: unpack_data
arguments: tag: D70
data_type: string
name: unpack_data
arguments: tag: D53
data_type: string
name: unpack_data
arguments: tag: D51
data_type: string

tool: D33: HTTP/1.1 201 OK


tool: D40: Server: httpServer/0.1.1


tool: D6: Allow: POST


tool: D64: Content-Type: text/html


tool: D19: <HTML><HEAD><TITLE>POST OK</TITLE></HEAD>


tool: D70: <BODY><P>POST OK.</P></BODY></HTML>


tool: D53: Content-Length: %ld


tool: D51: 


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));
}
```