user: What is the c source code of the assembly code below?

```asm
<acvt>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x70,%rsp
  mov    %rdi,-0x48(%rbp)
  mov    %esi,-0x4c(%rbp)
  mov    %rdx,-0x58(%rbp)
  mov    %ecx,-0x50(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  mov    -0x48(%rbp),%rax
  add    $0x1,%rax
  mov    %rax,-0x20(%rbp)
  cmpl   $0xffffffff,-0x4c(%rbp)
  sete   %al
  movzbl %al,%eax
  mov    %eax,-0x30(%rbp)
  lea    D3(%rip),%rax
  mov    %rax,-0x18(%rbp)
  cmpl   $0x41,-0x50(%rbp)
  jne    L100
  lea    D18(%rip),%rax
  mov    %rax,-0x18(%rbp)
L100:
  mov    -0x48(%rbp),%rax
  movb   $0x30,(%rax)
  fldt   0x10(%rbp)
  fldz
  fcomip %st(1),%st
  fstp   %st(0)
  jbe    L114
  fldt   0x10(%rbp)
  fchs
  fstpt  -0x70(%rbp)
  mov    -0x70(%rbp),%rax
  mov    -0x68(%rbp),%edx
  mov    %rax,0x10(%rbp)
  mov    %edx,0x18(%rbp)
L114:
  fldt   0x10(%rbp)
  fldz
  fucomip %st(1),%st
  fstp   %st(0)
  jp     L107
  fldt   0x10(%rbp)
  fldz
  fucomip %st(1),%st
  fstp   %st(0)
  je     L46
L107:
  lea    -0x34(%rbp),%rax
  push   0x18(%rbp)
  push   0x10(%rbp)
  mov    %rax,%rdi
  call   <frexpl@plt>
  add    $0x10,%rsp
  mov    -0x34(%rbp),%edx
  mov    $0x1,%eax
  sub    %edx,%eax
  push   0x18(%rbp)
  push   0x10(%rbp)
  mov    %eax,%edi
  call   <ldexpl@plt>
  add    $0x10,%rsp
  fstpt  0x10(%rbp)
L46:
  fldt   0x10(%rbp)
  fnstcw -0x5a(%rbp)
  movzwl -0x5a(%rbp),%eax
  or     $0xc,%ah
  mov    %ax,-0x5c(%rbp)
  fldcw  -0x5c(%rbp)
  fistpll -0x70(%rbp)
  fldcw  -0x5a(%rbp)
  mov    -0x70(%rbp),%rdi
  mov    -0x20(%rbp),%rax
  mov    %rax,%rsi
  call   <ltoa@plt>
  mov    %eax,-0x2c(%rbp)
  mov    -0x2c(%rbp),%eax
  cltq
  add    %rax,-0x20(%rbp)
  fldt   0x10(%rbp)
  fnstcw -0x5a(%rbp)
  movzwl -0x5a(%rbp),%eax
  or     $0xc,%ah
  mov    %ax,-0x5c(%rbp)
  fldcw  -0x5c(%rbp)
  fistpll -0x70(%rbp)
  fldcw  -0x5a(%rbp)
  fildll -0x70(%rbp)
  fldt   0x10(%rbp)
  fsubp  %st,%st(1)
  fstpt  0x10(%rbp)
  mov    -0x58(%rbp),%rax
  mov    -0x2c(%rbp),%edx
  mov    %edx,(%rax)
  cmpl   $0x0,-0x30(%rbp)
  je     L147
  jmp    L131
L132:
  fldt   0x10(%rbp)
  fldt   0xd32(%rip)        # 2030 <_fini+0xc08>
  fmulp  %st,%st(1)
  fstpt  0x10(%rbp)
  fldt   0x10(%rbp)
  fldcw  -0x5c(%rbp)
  fistpl -0x24(%rbp)
  fldcw  -0x5a(%rbp)
  mov    -0x24(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x18(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0x20(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x20(%rbp)
  movzbl (%rcx),%edx
  mov    %dl,(%rax)
  fildl  -0x24(%rbp)
  fldt   0x10(%rbp)
  fsubp  %st,%st(1)
  fstpt  0x10(%rbp)
L131:
  fldt   0x10(%rbp)
  fldz
  fucomip %st(1),%st
  fstp   %st(0)
  jp     L132
  fldt   0x10(%rbp)
  fldz
  fucomip %st(1),%st
  fstp   %st(0)
  je     L67
  jmp    L132
L147:
  addl   $0x1,-0x4c(%rbp)
  jmp    L76
L54:
  fldt   0x10(%rbp)
  fldt   0xccc(%rip)        # 2030 <_fini+0xc08>
  fmulp  %st,%st(1)
  fstpt  0x10(%rbp)
  fldt   0x10(%rbp)
  fldcw  -0x5c(%rbp)
  fistpl -0x28(%rbp)
  fldcw  -0x5a(%rbp)
  mov    -0x28(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x18(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0x20(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x20(%rbp)
  movzbl (%rcx),%edx
  mov    %dl,(%rax)
  fildl  -0x28(%rbp)
  fldt   0x10(%rbp)
  fsubp  %st,%st(1)
  fstpt  0x10(%rbp)
L76:
  mov    -0x4c(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    %edx,-0x4c(%rbp)
  test   %eax,%eax
  jne    L54
  cmpl   $0x41,-0x50(%rbp)
  sete   %al
  movzbl %al,%edx
  subq   $0x1,-0x20(%rbp)
  mov    -0x20(%rbp),%rax
  mov    %edx,%esi
  mov    %rax,%rdi
  call   <val_hex@plt>
  cmp    $0x7,%eax
  jle    L67
  mov    -0x20(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  jmp    L101
L87:
  mov    -0x10(%rbp),%rax
  movb   $0x0,(%rax)
L101:
  cmpl   $0x41,-0x50(%rbp)
  sete   %al
  movzbl %al,%edx
  subq   $0x1,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  mov    %edx,%esi
  mov    %rax,%rdi
  call   <incr_hex@plt>
  cmp    $0xf,%eax
  jg     L87
L67:
  mov    -0x20(%rbp),%rax
  movb   $0x0,(%rax)
  mov    -0x48(%rbp),%rax
  add    $0x1,%rax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L138
  call   <__stack_chk_fail@plt>
L138:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D3
datatype: string
name: extract_symbolic_data
arguments: data_tag: D18
datatype: string

tool: D3: 0123456789abcdef

tool: D18: 0123456789ABCDEF

assistant: ```c
char *acvt(char *out, long double value, int fdigit, int *decpt, int conv) {
  char *pos = out + 1;
  int ip_len, exp;
  int full_prec = fdigit == -1;
  const char *bnum = "0123456789abcdef";
  if (conv == 'A')
    bnum = "0123456789ABCDEF";
  out[0] = '0';
  if (value < 0)
    value = -value;
  if (value) {
    frexpl(value, &exp);
    value = ldexpl(value, -(exp - 1));
  }
  pos += ip_len = ltoa((long)value, pos);
  value -= (long)value;
  *decpt = ip_len;
  if (full_prec) {
    while (value) {
      int ival = (int)(value *= 16);
      *pos++ = bnum[ival];
      value -= ival;
    }
  } else {
    fdigit++;
    while (fdigit--) {
      int ival = (int)(value *= 16);
      *pos++ = bnum[ival];
      value -= ival;
    }
    if (val_hex(--pos, conv == 'A') >= 0x8) {
      char *ptr = pos;
      while (incr_hex(--ptr, conv == 'A') > 0xf)
        *ptr = 0;
    }
  }
  *pos = 0;
  return out + 1;
}
```