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

```asm
<size_str>:
  endbr64
  push   %r14
  push   %rbp
  push   %rbx
  pxor   %xmm1,%xmm1
  cvtsi2sd %rdi,%xmm1
  comisd D135(%rip),%xmm1
  jb     L3
  mulsd  D100(%rip),%xmm1
  movq   %xmm1,%r14
  lea    D2(%rip),%rbp
L55:
  mov    $0xf,%edi
  call   <malloc@plt>
  mov    %rax,%rbx
  test   %rax,%rax
  je     L24
  mov    %rbp,%rcx
  movq   %r14,%xmm0
  lea    D22(%rip),%rdx
  mov    $0xf,%esi
  mov    %rax,%rdi
  call   <snprintf@plt>
L24:
  mov    %rbx,%rax
  pop    %rbx
  pop    %rbp
  pop    %r14
  ret
L3:
  movq   %xmm1,%r14
  movapd %xmm1,%xmm2
  comisd D96(%rip),%xmm1
  jb     L5
  mulsd  D75(%rip),%xmm2
  movq   %xmm2,%r14
  lea    D5(%rip),%rbp
  jmp    L55
L5:
  movapd %xmm1,%xmm3
  comisd D81(%rip),%xmm1
  jb     L71
  mulsd  D76(%rip),%xmm3
  movq   %xmm3,%r14
  lea    D139(%rip),%rbp
  jmp    L55
L71:
  movapd %xmm1,%xmm4
  lea    D120(%rip),%rbp
  comisd D113(%rip),%xmm1
  jb     L55
  mulsd  D24(%rip),%xmm4
  movq   %xmm4,%r14
  lea    D17(%rip),%rbp
  jmp    L55
```

tool_calls: name: read_data
arguments: data_tag: D135
data_type: byte[16]
name: read_data
arguments: data_tag: D100
data_type: byte[8]
name: read_data
arguments: data_tag: D2
data_type: string
name: read_data
arguments: data_tag: D22
data_type: string
name: read_data
arguments: data_tag: D96
data_type: byte[16]
name: read_data
arguments: data_tag: D75
data_type: byte[8]
name: read_data
arguments: data_tag: D5
data_type: string
name: read_data
arguments: data_tag: D81
data_type: byte[16]
name: read_data
arguments: data_tag: D76
data_type: byte[8]
name: read_data
arguments: data_tag: D139
data_type: string
name: read_data
arguments: data_tag: D120
data_type: string
name: read_data
arguments: data_tag: D113
data_type: byte[16]
name: read_data
arguments: data_tag: D24
data_type: byte[8]
name: read_data
arguments: data_tag: D17
data_type: string

tool: {"D135": [0x00,0x00,0x00,0x00,0x00,0x00,0x70,0x42,0x00,0x00,0x00,0x00,0x00,0x00,0x70,0x3d]}

tool: {"D100": [0x00,0x00,0x00,0x00,0x00,0x00,0x70,0x3d]}

tool: D2: TiB

tool: D22: %.2f %s

tool: {"D96": [0x00,0x00,0x00,0x00,0x00,0x00,0xd0,0x41,0x00,0x00,0x00,0x00,0x00,0x00,0x10,0x3e]}

tool: {"D75": [0x00,0x00,0x00,0x00,0x00,0x00,0x10,0x3e]}

tool: D5: GiB

tool: {"D81": [0x00,0x00,0x00,0x00,0x00,0x00,0x30,0x41,0x00,0x00,0x00,0x00,0x00,0x00,0xb0,0x3e]}

tool: {"D76": [0x00,0x00,0x00,0x00,0x00,0x00,0xb0,0x3e]}

tool: D139: MiB

tool: D120: B

tool: {"D113": [0x00,0x00,0x00,0x00,0x00,0x00,0x90,0x40,0x00,0x00,0x00,0x00,0x00,0x00,0x50,0x3f]}

tool: {"D24": [0x00,0x00,0x00,0x00,0x00,0x00,0x50,0x3f]}

tool: D17: KiB

assistant: ```c
char *size_str(off_t bytes) {
  double number = (double)bytes;
  char *unit = "B";
  if (number >= 1099511627776) {
    unit = "TiB";
    number = (double)bytes / 1099511627776;
  } else if (number >= 1073741824) {
    unit = "GiB";
    number = (double)bytes / 1073741824;
  } else if (number >= 1048576) {
    unit = "MiB";
    number = (double)bytes / 1048576;
  } else if (number >= 1024) {
    unit = "KiB";
    number = (double)bytes / 1024;
  }
  char *buffer = malloc(15);
  if (buffer == NULL)
    return NULL;
  snprintf(buffer, 15, "%.2f %s", number, unit);
  return buffer;
}
```