user: 请将以下的汇编代码转换成C语言代码：

```asm
<json_stringify>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  mov    %rdi,-0x18(%rbp)
  mov    %rsi,-0x20(%rbp)
  mov    %rdx,-0x28(%rbp)
  mov    -0x18(%rbp),%rax
  mov    %rax,-0x8(%rbp)
  mov    -0x28(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  jmp    L78
L17:
  mov    -0x10(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,%edi
  call   <isascii@plt>
  test   %eax,%eax
  je     L35
  mov    -0x10(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,%edi
  call   <iscntrl@plt>
  test   %rax,%rax
  je     L124
L35:
  mov    -0x8(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x8(%rbp)
  movb   $0x5c,(%rax)
  mov    -0x10(%rbp),%rax
  movzbl (%rax),%eax
  movsbl %al,%eax
  sub    $0x8,%eax
  cmp    $0x5,%eax
  ja     L114
  mov    %eax,%eax
  lea    0x0(,%rax,4),%rdx
  lea    D6(%rip),%rax
  mov    (%rdx,%rax,1),%eax
  cltq
  lea    D6(%rip),%rdx
  add    %rdx,%rax
  notrack jmp *%rax
  mov    -0x8(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x8(%rbp)
  movb   $0x62,(%rax)
  jmp    L52
  mov    -0x8(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x8(%rbp)
  movb   $0x66,(%rax)
  jmp    L52
  mov    -0x8(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x8(%rbp)
  movb   $0x6e,(%rax)
  jmp    L52
  mov    -0x8(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x8(%rbp)
  movb   $0x72,(%rax)
  jmp    L52
  mov    -0x8(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x8(%rbp)
  movb   $0x74,(%rax)
  jmp    L52
L114:
  mov    -0x10(%rbp),%rax
  movzbl (%rax),%eax
  movsbl %al,%eax
  movzbl %al,%edx
  mov    -0x8(%rbp),%rax
  mov    %edx,%ecx
  lea    D17(%rip),%rdx
  mov    $0x6,%esi
  mov    %rax,%rdi
  call   <snprintf@plt>
  mov    -0x8(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  cltq
  add    %rax,-0x8(%rbp)
  jmp    L103
L52:
  jmp    L103
L124:
  mov    -0x10(%rbp),%rax
  movzbl (%rax),%eax
  cmp    $0x22,%al
  je     L60
  mov    -0x10(%rbp),%rax
  movzbl (%rax),%eax
  cmp    $0x5c,%al
  jne    L145
L60:
  mov    -0x8(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x8(%rbp)
  movb   $0x5c,(%rax)
L145:
  mov    -0x8(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x8(%rbp)
  mov    -0x10(%rbp),%rdx
  movzbl (%rdx),%edx
  mov    %dl,(%rax)
L103:
  addq   $0x1,-0x10(%rbp)
L78:
  mov    -0x10(%rbp),%rax
  movzbl (%rax),%eax
  test   %al,%al
  je     L135
  mov    -0x8(%rbp),%rax
  sub    -0x18(%rbp),%rax
  mov    %rax,%rdx
  mov    -0x20(%rbp),%rax
  sub    $0x6,%eax
  cltq
  cmp    %rax,%rdx
  jl     L17
L135:
  mov    -0x8(%rbp),%rax
  movb   $0x0,(%rax)
  mov    -0x18(%rbp),%rax
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D17
datatype: string

tool: D17: u%04x

assistant: ```c
char *json_stringify(char *to, size_t len, const char *from) {
  const char *sp;
  char *tp;
  tp = to;
  for (sp = from; *sp != '\0' && ((tp - to) < ((int)len - 6)); sp++) {
    if (!isascii((unsigned char)*sp) || iscntrl((unsigned char)*sp)) {
      *tp++ = '\\';
      switch (*sp) {
      case '\b':
        *tp++ = 'b';
        break;
      case '\f':
        *tp++ = 'f';
        break;
      case '\n':
        *tp++ = 'n';
        break;
      case '\r':
        *tp++ = 'r';
        break;
      case '\t':
        *tp++ = 't';
        break;
      default:
        (void)snprintf(tp, 6, "u%04x", 0x00ff & (unsigned int)*sp);
        tp += strlen(tp);
      }
    } else {
      if (*sp == '"' || *sp == '\\')
        *tp++ = '\\';
      *tp++ = *sp;
    }
  }
  *tp = '\0';
  return to;
}
```