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

```asm
<prettyprint_time>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x20,%rsp
  mov    %rdi,-0x18(%rbp)
  mov    %esi,-0x1c(%rbp)
  cmpl   $0xffffffff,-0x1c(%rbp)
  jne    L20
  mov    -0x18(%rbp),%rax
  lea    D19(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  jmp    L48
L20:
  movl   $0x0,-0x8(%rbp)
  mov    -0x1c(%rbp),%eax
  mov    %eax,%edx
  mov    $0xc22e4507,%eax
  imul   %rdx,%rax
  shr    $0x20,%rax
  shr    $0x10,%eax
  mov    %eax,-0x4(%rbp)
  cmpl   $0x0,-0x4(%rbp)
  je     L37
  mov    -0x8(%rbp),%edx
  mov    -0x18(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0x4(%rbp),%eax
  mov    %eax,%edx
  lea    D39(%rip),%rax
  mov    %rax,%rsi
  mov    %rcx,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  add    %eax,-0x8(%rbp)
L37:
  mov    -0x1c(%rbp),%eax
  mov    %eax,%edx
  mov    $0x91a2b3c5,%eax
  imul   %rdx,%rax
  shr    $0x20,%rax
  mov    %eax,%ecx
  shr    $0xb,%ecx
  mov    %ecx,%edx
  mov    $0xaaaaaaab,%eax
  imul   %rdx,%rax
  shr    $0x20,%rax
  shr    $0x4,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x4(%rbp),%edx
  mov    %edx,%eax
  add    %eax,%eax
  add    %edx,%eax
  shl    $0x3,%eax
  sub    %eax,%ecx
  mov    %ecx,%edx
  mov    %edx,-0x4(%rbp)
  cmpl   $0x0,-0x4(%rbp)
  je     L21
  mov    -0x8(%rbp),%edx
  mov    -0x18(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0x4(%rbp),%eax
  mov    %eax,%edx
  lea    D24(%rip),%rax
  mov    %rax,%rsi
  mov    %rcx,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  add    %eax,-0x8(%rbp)
L21:
  mov    -0x1c(%rbp),%eax
  mov    %eax,%edx
  mov    $0x88888889,%eax
  imul   %rdx,%rax
  shr    $0x20,%rax
  shr    $0x5,%eax
  mov    %eax,%ecx
  mov    $0x88888889,%edx
  imul   %rcx,%rdx
  shr    $0x20,%rdx
  shr    $0x5,%edx
  mov    %edx,-0x4(%rbp)
  mov    -0x4(%rbp),%edx
  imul   $0x3c,%edx,%edx
  sub    %edx,%eax
  mov    %eax,-0x4(%rbp)
  cmpl   $0x0,-0x4(%rbp)
  je     L5
  mov    -0x8(%rbp),%edx
  mov    -0x18(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0x4(%rbp),%eax
  mov    %eax,%edx
  lea    D18(%rip),%rax
  mov    %rax,%rsi
  mov    %rcx,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  add    %eax,-0x8(%rbp)
L5:
  mov    -0x1c(%rbp),%eax
  mov    %eax,%ecx
  mov    $0x88888889,%edx
  imul   %rcx,%rdx
  shr    $0x20,%rdx
  shr    $0x5,%edx
  imul   $0x3c,%edx,%edx
  sub    %edx,%eax
  mov    %eax,-0x4(%rbp)
  cmpl   $0x0,-0x4(%rbp)
  je     L48
  mov    -0x8(%rbp),%edx
  mov    -0x18(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0x4(%rbp),%eax
  mov    %eax,%edx
  lea    D20(%rip),%rax
  mov    %rax,%rsi
  mov    %rcx,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  add    %eax,-0x8(%rbp)
L48:
  nop
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D19
datatype: string
name: extract_symbolic_data
arguments: tag: D39
datatype: string
name: extract_symbolic_data
arguments: tag: D24
datatype: string
name: extract_symbolic_data
arguments: tag: D18
datatype: string
name: extract_symbolic_data
arguments: tag: D20
datatype: string

tool: D19: infinite

tool: D39: %dd

tool: D24: %dh

tool: D18: %dm

tool: D20: %ds

assistant: ```c
void prettyprint_time(char *buf, unsigned int t) {
  if (t == 0xffffffff)
    sprintf(buf, ("infinite"));
  else {
    unsigned int x, p = 0;
    if ((x = t / 86400))
      p += sprintf(&buf[p], "%dd", x);
    if ((x = (t / 3600) % 24))
      p += sprintf(&buf[p], "%dh", x);
    if ((x = (t / 60) % 60))
      p += sprintf(&buf[p], "%dm", x);
    if ((x = t % 60))
      p += sprintf(&buf[p], "%ds", x);
  }
}
```