user: 请显示与下面列出的汇编代码相匹配的C语言实现:

```asm
<format_url_recoded>:
  endbr64
  push   %r15
  lea    D15(%rip),%rax
  mov    %rdi,%r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %rcx,%rbx
  sub    $0x48,%rsp
  mov    (%rdx),%r14
  test   %rcx,%rcx
  mov    %rsi,0x8(%rsp)
  cmove  %rax,%rbx
  mov    %rdx,0x28(%rsp)
  mov    %r8,0x10(%rsp)
  cmp    %rsi,%r14
  jae    L23
  movb   $0x22,(%rdi,%r14,1)
  add    $0x1,%r14
L23:
  lea    0x6(%r14),%rax
  cmp    %rax,0x8(%rsp)
  seta   %dl
  cmpq   $0x0,0x10(%rsp)
  setne  %al
  and    %al,%dl
  mov    %dl,0x37(%rsp)
  je     L87
  xor    %r12d,%r12d
  lea    D10(%rip),%r13
  jmp    L153
  cs nopw 0x0(%rax,%rax,1)
L203:
  movzbl %bpl,%edi
  add    $0x1,%r12
  call   <isprint@plt>
  test   %rax,%rax
  je     L182
  cmp    $0x22,%bpl
  je     L182
  cmp    $0x5c,%bpl
  setne  %al
  cmp    $0x3d,%bpl
  setne  %dil
  test   %al,%al
  je     L182
L172:
  lea    -0x25(%rbp),%eax
  cmp    $0x1,%al
  jbe    L182
  test   %dil,%dil
  jne    L197
  nopl   0x0(%rax,%rax,1)
L182:
  mov    %ebp,%r8d
  and    $0xf,%r8d
L45:
  mov    %ebp,%edx
  movslq %r8d,%r8
  lea    0x2(%r14),%rax
  movb   $0x25,(%r15,%r14,1)
  shr    $0x4,%dl
  and    $0xf,%edx
  movzbl 0x0(%r13,%rdx,1),%edx
  mov    %dl,0x1(%r15,%r14,1)
  movzbl 0x0(%r13,%r8,1),%edx
  add    $0x3,%r14
  mov    %dl,(%r15,%rax,1)
  lea    0x6(%r14),%rax
  cmp    0x8(%rsp),%rax
  jae    L87
L122:
  cmp    %r12,0x10(%rsp)
  jbe    L87
L153:
  movzbl (%rbx,%r12,1),%ebp
  cmp    $0x25,%bpl
  jne    L203
  lea    0x1(%r12),%rax
  lea    (%rbx,%rax,1),%r11
  mov    %rax,0x20(%rsp)
  movzbl (%r11),%edi
  mov    %r11,0x18(%rsp)
  call   <isdigit@plt>
  mov    0x18(%rsp),%r11
  test   %rax,%rax
  jne    L68
  mov    $0x5,%r8d
L26:
  movzbl (%r11),%edi
  mov    %r8d,0x18(%rsp)
  mov    %r11,0x38(%rsp)
  call   <isdigit@plt>
  mov    0x18(%rsp),%r8d
  test   %rax,%rax
  je     L98
  mov    0x38(%rsp),%r11
  mov    0x20(%rsp),%r12
  movzbl (%r11),%eax
  sub    $0x30,%eax
  or     %eax,%ebp
  jmp    L203
  nopw   0x0(%rax,%rax,1)
L68:
  movzbl (%r11),%edx
  mov    0x20(%rsp),%rax
  add    $0x2,%r12
  shl    $0x4,%edx
  mov    %edx,%ebp
  cmp    %rax,0x10(%rsp)
  ja     L95
  movzbl %dl,%edi
  call   <isprint@plt>
  xor    %r8d,%r8d
  test   %rax,%rax
  je     L45
L197:
  mov    %bpl,(%r15,%r14,1)
  add    $0x1,%r14
  lea    0x6(%r14),%rax
  cmp    0x8(%rsp),%rax
  jb     L122
L87:
  mov    0x8(%rsp),%rax
  sub    $0x1,%rax
  cmp    %r14,%rax
  jbe    L188
  movb   $0x22,(%r15,%r14,1)
  movb   $0x0,0x1(%r15,%r14,1)
  add    $0x1,%r14
L188:
  mov    0x8(%rsp),%rax
  movb   $0x0,-0x1(%r15,%rax,1)
  mov    0x28(%rsp),%rax
  mov    %r14,(%rax)
  add    $0x48,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nop
L98:
  movzbl %bpl,%edi
  mov    %r8d,0x18(%rsp)
  call   <isprint@plt>
  mov    0x20(%rsp),%r12
  test   %rax,%rax
  je     L110
  movzbl 0x37(%rsp),%edi
  jmp    L172
  nopw   0x0(%rax,%rax,1)
L110:
  mov    0x18(%rsp),%r8d
  jmp    L45
L95:
  mov    %r12,0x20(%rsp)
  lea    (%rbx,%r12,1),%r11
  xor    %r8d,%r8d
  jmp    L26
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D15
type_guessed: string
name: extract_symbolic_data
arguments: data_tag: D10
type_guessed: string

tool: 

tool: D10: 0123456789ABCDEF

assistant: ```c
void format_url_recoded(char *valbuf, size_t sizeof_valbuf, size_t *r_vallen, const void *v_value, size_t length) {
  const unsigned char *value = (const unsigned char *)v_value;
  size_t i;
  size_t vallen = *r_vallen;
  if (value == 0)
    value = (const unsigned char *)"";
  if (vallen < sizeof_valbuf)
    valbuf[vallen++] = '\"';
  for (i = 0; vallen + 6 < sizeof_valbuf && i < length; i++) {
    unsigned char c = value[i];
    if (c == '%') {
      if (i < length && isdigit(value[i + 1]))
        c = (unsigned char)((value[++i] - '0') << 4);
      if (i < length && isdigit(value[i + 1]))
        c |= (unsigned char)((value[++i] - '0'));
    }
    if (isprint(c) && c != '\"' && c != '\\' && c != '%' && c != '=' && c != '&') {
      valbuf[vallen++] = (char)c;
    } else {
      valbuf[vallen++] = '%';
      valbuf[vallen++] = "0123456789ABCDEF"[(c >> 4) & 0x0F];
      valbuf[vallen++] = "0123456789ABCDEF"[(c >> 0) & 0x0F];
    }
  }
  if (vallen < sizeof_valbuf - 1) {
    valbuf[vallen++] = '\"';
    valbuf[vallen] = '\0';
  }
  valbuf[sizeof_valbuf - 1] = '\0';
  *r_vallen = vallen;
}
```