user: What would the C source look like for the assembly code provided here?

```asm
<ns_format_ttl>:
  endbr64
  movslq %edi,%rax
  push   %r15
  imul   $0xffffffff88888889,%rax,%rax
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  shr    $0x20,%rax
  push   %rbx
  add    %edi,%eax
  mov    %rsi,%rbx
  sar    $0x5,%eax
  mov    %eax,%ebp
  sub    $0x28,%rsp
  mov    %rdx,0x10(%rsp)
  mov    %edi,%edx
  sar    $0x1f,%edx
  mov    %rsi,0x18(%rsp)
  sub    %edx,%eax
  sub    %edx,%ebp
  movslq %eax,%rdx
  imul   $0x3c,%ebp,%ecx
  imul   $0xffffffff88888889,%rdx,%rdx
  sub    %ecx,%edi
  mov    %eax,%ecx
  shr    $0x20,%rdx
  sar    $0x1f,%ecx
  mov    %edi,%ebp
  add    %eax,%edx
  sar    $0x5,%edx
  mov    %edx,%r12d
  sub    %ecx,%r12d
  imul   $0x3c,%r12d,%esi
  sub    %esi,%eax
  mov    %eax,%r12d
  mov    %edx,%eax
  sub    %ecx,%eax
  movslq %eax,%r13
  cltd
  imul   $0x2aaaaaab,%r13,%r13
  sar    $0x22,%r13
  sub    %edx,%r13d
  lea    0x0(%r13,%r13,2),%ecx
  mov    %r13d,%edx
  shl    $0x3,%ecx
  sub    %ecx,%eax
  mov    %edx,%ecx
  mov    %eax,%r13d
  movslq %edx,%rax
  sar    $0x1f,%ecx
  imul   $0xffffffff92492493,%rax,%rax
  shr    $0x20,%rax
  add    %edx,%eax
  sar    $0x2,%eax
  mov    %eax,%r15d
  sub    %ecx,%r15d
  lea    0x0(,%r15,8),%esi
  sub    %r15d,%esi
  sub    %esi,%edx
  sub    %ecx,%eax
  mov    %eax,(%rsp)
  mov    %edx,%r15d
  jne    L129
  xor    %r14d,%r14d
  test   %r15d,%r15d
  jne    L177
L78:
  test   %r13d,%r13d
  jne    L56
L187:
  test   %r12d,%r12d
  jne    L6
L76:
  test   %ebp,%ebp
  jne    L186
  or     (%rsp),%r15d
  or     %r13d,%r15d
  jne    L91
L186:
  lea    0x10(%rsp),%rcx
  lea    0x18(%rsp),%rdx
L235:
  mov    $0x53,%esi
  mov    %ebp,%edi
  call   <fmt1@plt>
  test   %rax,%rax
  js     L161
  add    $0x1,%r14d
L91:
  cmp    $0x1,%r14d
  jle    L144
  movsbl (%rbx),%ebp
  test   %ebp,%ebp
  je     L144
  mov    %rbx,%r12
  jmp    L22
  nopw   0x0(%rax,%rax,1)
L62:
  movsbl 0x1(%r12),%ebp
  add    $0x1,%r12
  test   %ebp,%ebp
  je     L144
L22:
  mov    %ebp,%edi
  call   <isascii@plt>
  test   %rax,%rax
  je     L62
  mov    %ebp,%edi
  call   <isupper@plt>
  test   %rax,%rax
  je     L62
  mov    %ebp,%edi
  add    $0x1,%r12
  call   <tolower@plt>
  mov    %al,-0x1(%r12)
  movsbl (%r12),%ebp
  test   %ebp,%ebp
  jne    L22
  nop
L144:
  mov    0x18(%rsp),%eax
  sub    %ebx,%eax
L149:
  add    $0x28,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   (%rax)
L129:
  lea    0x10(%rsp),%rcx
  lea    0x18(%rsp),%rdx
  mov    $0x57,%esi
  mov    %eax,%edi
  call   <fmt1@plt>
  test   %rax,%rax
  js     L161
  mov    $0x1,%r14d
  test   %r15d,%r15d
  je     L78
L177:
  lea    0x10(%rsp),%rcx
  lea    0x18(%rsp),%rdx
  mov    $0x44,%esi
  mov    %r15d,%edi
  call   <fmt1@plt>
  test   %rax,%rax
  js     L161
  add    $0x1,%r14d
  test   %r13d,%r13d
  je     L187
L56:
  lea    0x10(%rsp),%rcx
  lea    0x18(%rsp),%rdx
  mov    $0x48,%esi
  mov    %r13d,%edi
  call   <fmt1@plt>
  test   %rax,%rax
  js     L161
  add    $0x1,%r14d
  test   %r12d,%r12d
  je     L76
L6:
  lea    0x10(%rsp),%rcx
  lea    0x18(%rsp),%rdx
  mov    $0x4d,%esi
  mov    %r12d,%edi
  mov    %rcx,0x8(%rsp)
  mov    %rdx,(%rsp)
  call   <fmt1@plt>
  test   %rax,%rax
  js     L161
  add    $0x1,%r14d
  test   %ebp,%ebp
  mov    (%rsp),%rdx
  mov    0x8(%rsp),%rcx
  je     L91
  jmp    L235
L161:
  mov    $0xffffffff,%eax
  jmp    L149
```

assistant: ```c
int ns_format_ttl(u_long src, char *dst, size_t dstlen) {
  char *odst = dst;
  int secs, mins, hours, days, weeks, x;
  char *p;
  secs = (int)(src % 60);
  src /= 60;
  mins = (int)(src % 60);
  src /= 60;
  hours = (int)(src % 24);
  src /= 24;
  days = (int)(src % 7);
  src /= 7;
  weeks = (int)src;
  src = 0;
  x = 0;
  if (weeks) {
    if ((fmt1(weeks, 'W', &dst, &dstlen)) < 0)
      return (-1);
    else
      (void)NULL;
    x++;
  }
  if (days) {
    if ((fmt1(days, 'D', &dst, &dstlen)) < 0)
      return (-1);
    else
      (void)NULL;
    x++;
  }
  if (hours) {
    if ((fmt1(hours, 'H', &dst, &dstlen)) < 0)
      return (-1);
    else
      (void)NULL;
    x++;
  }
  if (mins) {
    if ((fmt1(mins, 'M', &dst, &dstlen)) < 0)
      return (-1);
    else
      (void)NULL;
    x++;
  }
  if (secs || !(weeks || days || hours || mins)) {
    if ((fmt1(secs, 'S', &dst, &dstlen)) < 0)
      return (-1);
    else
      (void)NULL;
    x++;
  }
  if (x > 1) {
    int ch;
    for (p = odst; (ch = *p) != '\0'; p++)
      if (isascii(ch) && isupper(ch))
        *p = (char)(tolower(ch));
  }
  return ((int)(dst - odst));
}
```