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

```asm
<time_pretty>:
  endbr64
  push   %r12
  mov    %rsi,%r12
  movb   $0x0,(%rsi)
  cmp    $0x15180,%edi
  jg     L69
  cmp    $0xe10,%edi
  jle    L86
  movslq %edi,%r9
  mov    %edi,%eax
  xor    %ecx,%ecx
  imul   $0xffffffff91a2b3c5,%r9,%r9
  sar    $0x1f,%eax
  shr    $0x20,%r9
  add    %edi,%r9d
  sar    $0xb,%r9d
  sub    %eax,%r9d
  imul   $0xfffff1f0,%r9d,%r8d
  add    %edi,%r8d
  cmp    $0x3c,%r8d
  jg     L56
L90:
  mov    %r12,%rdi
  mov    %r9d,%edx
  lea    D1(%rip),%rsi
  xor    %eax,%eax
  call   <sprintf@plt>
  mov    %r12,%rax
  pop    %r12
  ret
  nopl   (%rax)
L86:
  cmp    $0x3c,%edi
  jle    L95
  movslq %edi,%r8
  mov    %edi,%eax
  lea    D16(%rip),%rsi
  imul   $0xffffffff88888889,%r8,%r8
  sar    $0x1f,%eax
  shr    $0x20,%r8
  add    %edi,%r8d
  sar    $0x5,%r8d
  sub    %eax,%r8d
  mov    %r8d,%ecx
  mov    %r8d,%eax
  mov    %r8d,%edx
  shl    $0x4,%ecx
  sub    %ecx,%eax
  lea    (%rdi,%rax,4),%ecx
  mov    %r12,%rdi
  xor    %eax,%eax
  call   <sprintf@plt>
  mov    %r12,%rax
  pop    %r12
  ret
  nopw   0x0(%rax,%rax,1)
L95:
  mov    %edi,%edx
  lea    D8(%rip),%rsi
  mov    %r12,%rdi
  xor    %eax,%eax
  call   <sprintf@plt>
  mov    %r12,%rax
  pop    %r12
  ret
  nopl   0x0(%rax)
L69:
  movslq %edi,%r10
  mov    %edi,%eax
  imul   $0xffffffffc22e4507,%r10,%r10
  sar    $0x1f,%eax
  shr    $0x20,%r10
  add    %edi,%r10d
  sar    $0x10,%r10d
  sub    %eax,%r10d
  imul   $0xfffeae80,%r10d,%r9d
  add    %edi,%r9d
  cmp    $0xe10,%r9d
  jg     L17
  cmp    $0x3c,%r9d
  jle    L48
  movslq %r9d,%r8
  mov    %r9d,%eax
  xor    %ecx,%ecx
  imul   $0xffffffff88888889,%r8,%r8
  sar    $0x1f,%eax
  shr    $0x20,%r8
  add    %r9d,%r8d
  sar    $0x5,%r8d
  sub    %eax,%r8d
  mov    %r8d,%edx
  mov    %r8d,%eax
  shl    $0x4,%edx
  sub    %edx,%eax
  lea    (%r9,%rax,4),%r9d
  jmp    L53
  nopl   0x0(%rax,%rax,1)
L17:
  movslq %r9d,%rcx
  mov    %r9d,%eax
  imul   $0xffffffff91a2b3c5,%rcx,%rcx
  sar    $0x1f,%eax
  shr    $0x20,%rcx
  add    %r9d,%ecx
  sar    $0xb,%ecx
  sub    %eax,%ecx
  imul   $0xfffff1f0,%ecx,%eax
  add    %eax,%r9d
  cmp    $0x3c,%r9d
  jle    L67
  movslq %r9d,%r8
  mov    %r9d,%eax
  imul   $0xffffffff88888889,%r8,%r8
  sar    $0x1f,%eax
  shr    $0x20,%r8
  add    %r9d,%r8d
  sar    $0x5,%r8d
  sub    %eax,%r8d
  mov    %r8d,%edx
  mov    %r8d,%eax
  shl    $0x4,%edx
  sub    %edx,%eax
  lea    (%r9,%rax,4),%r9d
  jmp    L53
  nopw   0x0(%rax,%rax,1)
L48:
  xor    %ecx,%ecx
L67:
  xor    %r8d,%r8d
L53:
  mov    %r12,%rdi
  mov    %r10d,%edx
  lea    D9(%rip),%rsi
  xor    %eax,%eax
  call   <sprintf@plt>
  mov    %r12,%rax
  pop    %r12
  ret
  nop
L56:
  movslq %r8d,%rcx
  mov    %r8d,%eax
  imul   $0xffffffff88888889,%rcx,%rcx
  sar    $0x1f,%eax
  shr    $0x20,%rcx
  add    %r8d,%ecx
  sar    $0x5,%ecx
  sub    %eax,%ecx
  mov    %ecx,%edx
  mov    %ecx,%eax
  shl    $0x4,%edx
  sub    %edx,%eax
  lea    (%r8,%rax,4),%r8d
  jmp    L90
```

tool_calls: name: read_data
arguments: data_tag: D1
data_type: string
name: read_data
arguments: data_tag: D16
data_type: string
name: read_data
arguments: data_tag: D8
data_type: string
name: read_data
arguments: data_tag: D9
data_type: string

tool: D1: %dh %dm %ds

tool: D16: %dm %ds

tool: D8: %ds

tool: D9: %dd %dh %dm %ds

assistant: ```c
char *time_pretty(int32_t time, char *buffer, int32_t size) {
  int32_t days = 0, hours = 0, minutes = 0, seconds = 0;
  buffer[0] = '\0';
  if (time > (24 * 60 * 60)) {
    days = time / (24 * 60 * 60);
    time -= (days * 24 * 60 * 60);
  }
  if (time > (60 * 60)) {
    hours = time / (60 * 60);
    time -= (hours * 60 * 60);
  }
  if (time > 60) {
    minutes = time / 60;
    time -= (minutes * 60);
  }
  seconds = time;
  if (days) {
    sprintf(buffer, "%dd %dh %dm %ds", days, hours, minutes, seconds);
  } else if (hours) {
    sprintf(buffer, "%dh %dm %ds", hours, minutes, seconds);
  } else if (minutes) {
    sprintf(buffer, "%dm %ds", minutes, seconds);
  } else {
    sprintf(buffer, "%ds", seconds);
  }
  return buffer;
}
```