user: Demonstrate the C code that generates the assembly output below:

```asm
<utils_dtofixstr>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  mov    %rdi,-0x28(%rbp)
  mov    %esi,-0x2c(%rbp)
  mov    %edx,-0x30(%rbp)
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x38(%rbp),%xmm0
  ucomisd -0x38(%rbp),%xmm0
  setnp  %al
  movzbl %al,%eax
  mov    %eax,%edi
  call   <assert@plt>
  movsd  -0x38(%rbp),%xmm0
  movq   D0(%rip),%xmm1
  andpd  %xmm1,%xmm0
  ucomisd D15(%rip),%xmm0
  setbe  %al
  xor    $0x1,%eax
  movzbl %al,%eax
  test   %eax,%eax
  sete   %al
  movzbl %al,%eax
  mov    %eax,%edi
  call   <assert@plt>
  mov    -0x30(%rbp),%edx
  mov    -0x38(%rbp),%rax
  mov    %edx,%edi
  movq   %rax,%xmm0
  call   <utils_roundd@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x38(%rbp)
  mov    -0x38(%rbp),%rcx
  mov    -0x2c(%rbp),%edx
  mov    -0x28(%rbp),%rax
  movq   %rcx,%xmm0
  mov    %edx,%esi
  mov    %rax,%rdi
  call   <utils_dtostr@plt>
  mov    -0x28(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  movl   $0x0,-0x18(%rbp)
  jmp    L97
L3:
  addl   $0x1,-0x18(%rbp)
L97:
  addq   $0x1,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  movzbl (%rax),%eax
  test   %al,%al
  jne    L3
  jmp    L6
L33:
  mov    -0x10(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x10(%rbp)
  movb   $0x30,(%rax)
L6:
  mov    -0x18(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0x18(%rbp)
  cmp    %eax,-0x2c(%rbp)
  jge    L33
  mov    -0x10(%rbp),%rax
  movb   $0x0,(%rax)
  mov    -0x28(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x10(%rbp)
  movzbl (%rax),%eax
  cmp    $0x2d,%al
  je     L105
  mov    -0x28(%rbp),%rax
  mov    $0x1,%esi
  mov    %rax,%rdi
  call   <_shift_right_nstr@plt>
  mov    -0x28(%rbp),%rax
  movb   $0x20,(%rax)
L105:
  mov    -0x10(%rbp),%rax
  mov    $0x2e,%esi
  mov    %rax,%rdi
  call   <strchr@plt>
  mov    %rax,-0x8(%rbp)
  movl   $0x0,-0x18(%rbp)
  cmpq   $0x0,-0x8(%rbp)
  jne    L19
  mov    -0x30(%rbp),%eax
  mov    %eax,-0x18(%rbp)
  jmp    L22
L30:
  addl   $0x1,-0x18(%rbp)
L19:
  addq   $0x1,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  movzbl (%rax),%eax
  test   %al,%al
  jne    L30
L22:
  mov    -0x18(%rbp),%eax
  sub    -0x30(%rbp),%eax
  mov    %eax,-0x14(%rbp)
  cmpl   $0x0,-0x14(%rbp)
  jle    L42
  mov    -0x14(%rbp),%edx
  mov    -0x10(%rbp),%rax
  mov    %edx,%esi
  mov    %rax,%rdi
  call   <_shift_right_nstr@plt>
  jmp    L43
L42:
  cmpl   $0x0,-0x14(%rbp)
  jns    L43
  mov    -0x14(%rbp),%eax
  neg    %eax
  mov    %eax,%edx
  mov    -0x10(%rbp),%rax
  mov    %edx,%esi
  mov    %rax,%rdi
  call   <_shift_left_nstr@plt>
L43:
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x1(%rax),%rdx
  mov    -0x10(%rbp),%rax
  add    %rdx,%rax
  movb   $0x0,(%rax)
  nop
  leave
  ret
```

tool_calls: name: read_data
arguments: data_label: D0
datatype: byte[8]
name: read_data
arguments: data_label: D15
datatype: byte[8]

tool: {"D0": [0xff,0xff,0xff,0xff,0xff,0xff,0xff,0x7f]}

tool: {"D15": [0xff,0xff,0xff,0xff,0xff,0xff,0xef,0x7f]}

assistant: ```c
void utils_dtofixstr(char *buff, int digits, int dplaces, double value) {
  assert(!isnan(value));
  assert(!isinf(value));
  value = utils_roundd(value, dplaces);
  utils_dtostr(buff, digits, value);
  char *out = buff;
  int i = 0;
  while (*++out)
    i++;
  while (i++ <= digits)
    *out++ = '0';
  *out = 0;
  out = buff;
  if (*out++ != '-') {
    _shift_right_nstr(buff, 1);
    *buff = ' ';
  }
  char *dp = strchr(out, '.');
  i = 0;
  if (!dp) {
    i = dplaces;
  } else {
    while (*++dp)
      i++;
  }
  int shift = i - dplaces;
  if (shift > 0) {
    _shift_right_nstr(out, shift);
  } else if (shift < 0) {
    _shift_left_nstr(out, -1 * shift);
  }
  out[digits + 1] = 0;
}
```