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

```asm
<time_pretty>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x20,%rsp
  mov    %edi,-0x14(%rbp)
  mov    %rsi,-0x20(%rbp)
  mov    %edx,-0x18(%rbp)
  movl   $0x0,-0x10(%rbp)
  movl   $0x0,-0xc(%rbp)
  movl   $0x0,-0x8(%rbp)
  movl   $0x0,-0x4(%rbp)
  mov    -0x20(%rbp),%rax
  movb   $0x0,(%rax)
  cmpl   $0x15180,-0x14(%rbp)
  jle    L9
  mov    -0x14(%rbp),%eax
  movslq %eax,%rdx
  imul   $0xffffffffc22e4507,%rdx,%rdx
  shr    $0x20,%rdx
  add    %eax,%edx
  sar    $0x10,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,-0x10(%rbp)
  mov    -0x10(%rbp),%eax
  imul   $0xfffeae80,%eax,%eax
  add    %eax,-0x14(%rbp)
L9:
  cmpl   $0xe10,-0x14(%rbp)
  jle    L6
  mov    -0x14(%rbp),%eax
  movslq %eax,%rdx
  imul   $0xffffffff91a2b3c5,%rdx,%rdx
  shr    $0x20,%rdx
  add    %eax,%edx
  sar    $0xb,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,-0xc(%rbp)
  mov    -0xc(%rbp),%eax
  imul   $0xfffff1f0,%eax,%eax
  add    %eax,-0x14(%rbp)
L6:
  cmpl   $0x3c,-0x14(%rbp)
  jle    L74
  mov    -0x14(%rbp),%eax
  movslq %eax,%rdx
  imul   $0xffffffff88888889,%rdx,%rdx
  shr    $0x20,%rdx
  add    %eax,%edx
  sar    $0x5,%edx
  sar    $0x1f,%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,-0x8(%rbp)
  mov    -0x8(%rbp),%edx
  mov    %edx,%eax
  shl    $0x4,%edx
  sub    %edx,%eax
  shl    $0x2,%eax
  add    %eax,-0x14(%rbp)
L74:
  mov    -0x14(%rbp),%eax
  mov    %eax,-0x4(%rbp)
  cmpl   $0x0,-0x10(%rbp)
  je     L49
  mov    -0x4(%rbp),%edi
  mov    -0x8(%rbp),%esi
  mov    -0xc(%rbp),%ecx
  mov    -0x10(%rbp),%edx
  mov    -0x20(%rbp),%rax
  mov    %edi,%r9d
  mov    %esi,%r8d
  lea    D11(%rip),%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  jmp    L58
L49:
  cmpl   $0x0,-0xc(%rbp)
  je     L77
  mov    -0x4(%rbp),%esi
  mov    -0x8(%rbp),%ecx
  mov    -0xc(%rbp),%edx
  mov    -0x20(%rbp),%rax
  mov    %esi,%r8d
  lea    D15(%rip),%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  jmp    L58
L77:
  cmpl   $0x0,-0x8(%rbp)
  je     L71
  mov    -0x4(%rbp),%ecx
  mov    -0x8(%rbp),%edx
  mov    -0x20(%rbp),%rax
  lea    D4(%rip),%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  jmp    L58
L71:
  mov    -0x4(%rbp),%edx
  mov    -0x20(%rbp),%rax
  lea    D1(%rip),%rcx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
L58:
  mov    -0x20(%rbp),%rax
  leave
  ret
```

tool_calls: name: unpack_data
arguments: data_label: D11
data_type: string
name: unpack_data
arguments: data_label: D15
data_type: string
name: unpack_data
arguments: data_label: D4
data_type: string
name: unpack_data
arguments: data_label: D1
data_type: string

tool: D11: %dd %dh %dm %ds

tool: D15: %dh %dm %ds

tool: D4: %dm %ds

tool: D1: %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;
}
```