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

```asm
<HTTP_PostPkt>:
  endbr64
  push   %r15
  pxor   %xmm0,%xmm0
  push   %r14
  mov    %rdx,%r14
  mov    %rcx,%rdx
  mov    %r8,%rcx
  push   %r13
  mov    %rsi,%r13
  xor    %esi,%esi
  push   %r12
  push   %rbp
  mov    %rdi,%rbp
  add    $0xffffffffffffff80,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x78(%rsp)
  xor    %eax,%eax
  movb   $0x0,(%rdi)
  lea    0x10(%rsp),%r12
  lea    0x6(%rsp),%r15
  mov    %si,0xe(%rsp)
  mov    %r12,%rdi
  lea    D14(%rip),%rsi
  movaps %xmm0,0x10(%rsp)
  movaps %xmm0,0x20(%rsp)
  movaps %xmm0,0x30(%rsp)
  movaps %xmm0,0x40(%rsp)
  movaps %xmm0,0x50(%rsp)
  movaps %xmm0,0x60(%rsp)
  movl   $0x0,0x70(%rsp)
  movq   $0x0,0x6(%rsp)
  call   <sprintf@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  lea    D48(%rip),%rsi
  mov    %r15,%rdi
  mov    %eax,%edx
  xor    %eax,%eax
  call   <sprintf@plt>
  lea    D46(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcat@plt>
  mov    %r14,%rsi
  mov    %rbp,%rdi
  call   <strcat@plt>
  lea    D82(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcat@plt>
  lea    D22(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcat@plt>
  mov    %r13,%rsi
  mov    %rbp,%rdi
  call   <strcat@plt>
  lea    D52(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcat@plt>
  lea    D66(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcat@plt>
  lea    D20(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcat@plt>
  mov    %r15,%rsi
  mov    %rbp,%rdi
  call   <strcat@plt>
  lea    D15(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcat@plt>
  mov    %rbp,%rdi
  mov    %r12,%rsi
  call   <strcat@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    0x78(%rsp),%rdx
  sub    %fs:0x28,%rdx
  jne    L0
  sub    $0xffffffffffffff80,%rsp
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L0:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: data_label: D14
data_type: string
name: read_data
arguments: data_label: D48
data_type: string
name: read_data
arguments: data_label: D46
data_type: string
name: read_data
arguments: data_label: D82
data_type: string
name: read_data
arguments: data_label: D22
data_type: string
name: read_data
arguments: data_label: D52
data_type: string
name: read_data
arguments: data_label: D66
data_type: string
name: read_data
arguments: data_label: D20
data_type: string
name: read_data
arguments: data_label: D15
data_type: string

tool: D14: ,;%s,%s

tool: D48: %d

tool: D46: POST /devices/

tool: D82: /datapoints?type=5 HTTP/1.1


tool: D22: api-key:

tool: D52: 


tool: D66: Host:api.heclouds.com


tool: D20: Content-Length:

tool: D15: 



assistant: ```c
uint32_t HTTP_PostPkt(char *pkt, char *key, char *devid, char *dsid, char *val) {
  char dataBuf[100] = {0};
  char lenBuf[10] = {0};
  *pkt = 0;
  sprintf(dataBuf, ",;%s,%s", dsid, val);
  sprintf(lenBuf, "%d", strlen(dataBuf));
  strcat(pkt, "POST /devices/");
  strcat(pkt, devid);
  strcat(pkt, "/datapoints?type=5 HTTP/1.1\r\n");
  strcat(pkt, "api-key:");
  strcat(pkt, key);
  strcat(pkt, "\r\n");
  strcat(pkt, "Host:api.heclouds.com\r\n");
  strcat(pkt, "Content-Length:");
  strcat(pkt, lenBuf);
  strcat(pkt, "\r\n\r\n");
  strcat(pkt, dataBuf);
  return strlen(pkt);
}
```