user: 请从给定的汇编指令推导出C源代码:

```asm
<HTTP_PostPkt>:
  endbr64
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  add    $0xffffffffffffff80,%rsp
  mov    %rdi,%rbx
  mov    %rsi,%r12
  mov    %rdx,%r13
  mov    %rcx,%rdx
  mov    %r8,%rcx
  mov    %fs:0x28,%rax
  mov    %rax,0x78(%rsp)
  xor    %eax,%eax
  movq   $0x0,0x10(%rsp)
  movq   $0x0,0x18(%rsp)
  movq   $0x0,0x20(%rsp)
  movq   $0x0,0x28(%rsp)
  movq   $0x0,0x30(%rsp)
  movq   $0x0,0x38(%rsp)
  movq   $0x0,0x40(%rsp)
  movq   $0x0,0x48(%rsp)
  movq   $0x0,0x50(%rsp)
  movq   $0x0,0x58(%rsp)
  movq   $0x0,0x60(%rsp)
  movq   $0x0,0x68(%rsp)
  movl   $0x0,0x70(%rsp)
  movq   $0x0,0x6(%rsp)
  movw   $0x0,0xe(%rsp)
  movb   $0x0,(%rdi)
  lea    0x10(%rsp),%rbp
  lea    D65(%rip),%rsi
  mov    %rbp,%rdi
  call   <sprintf@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  lea    0x6(%rsp),%r14
  lea    D10(%rip),%rsi
  mov    %r14,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  lea    D0(%rip),%rsi
  mov    %rbx,%rdi
  call   <strcat@plt>
  mov    %r13,%rsi
  mov    %rbx,%rdi
  call   <strcat@plt>
  lea    D69(%rip),%rsi
  mov    %rbx,%rdi
  call   <strcat@plt>
  lea    D72(%rip),%rsi
  mov    %rbx,%rdi
  call   <strcat@plt>
  mov    %r12,%rsi
  mov    %rbx,%rdi
  call   <strcat@plt>
  lea    D52(%rip),%rsi
  mov    %rbx,%rdi
  call   <strcat@plt>
  lea    D31(%rip),%rsi
  mov    %rbx,%rdi
  call   <strcat@plt>
  lea    D1(%rip),%rsi
  mov    %rbx,%rdi
  call   <strcat@plt>
  mov    %r14,%rsi
  mov    %rbx,%rdi
  call   <strcat@plt>
  lea    D89(%rip),%rsi
  mov    %rbx,%rdi
  call   <strcat@plt>
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <strcat@plt>
  mov    %rbx,%rdi
  call   <strlen@plt>
  mov    0x78(%rsp),%rdx
  sub    %fs:0x28,%rdx
  jne    L6
  sub    $0xffffffffffffff80,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
L6:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: label: D65
data_type: string
name: read_data
arguments: label: D10
data_type: string
name: read_data
arguments: label: D0
data_type: string
name: read_data
arguments: label: D69
data_type: string
name: read_data
arguments: label: D72
data_type: string
name: read_data
arguments: label: D52
data_type: string
name: read_data
arguments: label: D31
data_type: string
name: read_data
arguments: label: D1
data_type: string
name: read_data
arguments: label: D89
data_type: string

tool: D65: ,;%s,%s

tool: D10: %d

tool: D0: POST /devices/

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


tool: D72: api-key:

tool: D52: 


tool: D31: Host:api.heclouds.com


tool: D1: Content-Length:

tool: D89: 



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