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

```asm
<strtoul>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %edx,%ebx
  sub    $0x28,%rsp
  cmp    $0x1,%edx
  sete   %dl
  cmp    $0x24,%ebx
  mov    %rdi,0x8(%rsp)
  seta   %al
  mov    %rsi,0x10(%rsp)
  or     %al,%dl
  mov    %dl,0x1f(%rsp)
  je     L306
  test   %rsi,%rsi
  je     L272
  mov    %rdi,(%rsi)
L272:
  mov    D57(%rip),%rax
  xor    %r12d,%r12d
  mov    (%rax),%edx
  mov    D11(%rip),%rax
  mov    %edx,(%rax)
L134:
  add    $0x28,%rsp
  mov    %r12,%rax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax)
L306:
  mov    %rdi,%r14
  nopl   0x0(%rax,%rax,1)
L209:
  mov    %r14,%rbp
  movzbl (%r14),%r15d
  add    $0x1,%r14
  mov    %r15d,%edi
  call   <isspace@plt>
  test   %rax,%rax
  jne    L209
  cmp    $0x2d,%r15d
  je     L292
  cmp    $0x2b,%r15d
  je     L60
L177:
  test   $0xffffffef,%ebx
  jne    L123
  cmp    $0x30,%r15d
  je     L76
  test   %ebx,%ebx
  jne    L123
  movq   $0xa,(%rsp)
  mov    $0xa,%ebx
  jmp    L124
  nopl   0x0(%rax)
L123:
  movslq %ebx,%rax
  mov    %rax,(%rsp)
L124:
  mov    D47(%rip),%rax
  xor    %edx,%edx
  xor    %ebp,%ebp
  xor    %r12d,%r12d
  mov    (%rax),%rax
  divq   (%rsp)
  mov    %edx,0x18(%rsp)
  mov    %rax,%r13
  jmp    L145
  nopl   (%rax)
L20:
  cmp    %ecx,%ebx
  jle    L301
L167:
  cmp    $0xffffffff,%ebp
  je     L253
  cmp    %r13,%r12
  ja     L227
  jne    L115
  cmp    0x18(%rsp),%ecx
  jle    L115
L227:
  mov    D47(%rip),%rax
  mov    $0xffffffff,%ebp
  mov    (%rax),%r12
  mov    D51(%rip),%rax
  mov    (%rax),%edx
  mov    D11(%rip),%rax
  mov    %edx,(%rax)
L253:
  movzbl (%r14),%r15d
  add    $0x1,%r14
L145:
  mov    %r15d,%edi
  call   <isdigit@plt>
  lea    -0x30(%r15),%ecx
  test   %rax,%rax
  jne    L20
  mov    %r15d,%edi
  call   <isalpha@plt>
  test   %rax,%rax
  je     L301
  mov    %r15d,%edi
  call   <isupper@plt>
  mov    %r15d,%ecx
  cmp    $0x1,%rax
  sbb    %eax,%eax
  and    $0x20,%eax
  add    $0x37,%eax
  sub    %eax,%ecx
  cmp    %ecx,%ebx
  jg     L167
L301:
  test   %ebp,%ebp
  jle    L186
  cmpb   $0x0,0x1f(%rsp)
  je     L186
  neg    %r12
  cmpq   $0x0,0x10(%rsp)
  je     L134
L195:
  lea    -0x1(%r14),%rax
  mov    %rax,0x8(%rsp)
  jmp    L140
  nopw   0x0(%rax,%rax,1)
L115:
  imul   (%rsp),%r12
  movslq %ecx,%rcx
  mov    $0x1,%ebp
  add    %rcx,%r12
  jmp    L253
  nopl   (%rax)
L186:
  cmpq   $0x0,0x10(%rsp)
  je     L134
  test   %ebp,%ebp
  jne    L195
L140:
  mov    0x10(%rsp),%rax
  mov    0x8(%rsp),%rsi
  mov    %rsi,(%rax)
  jmp    L134
  nopw   0x0(%rax,%rax,1)
L60:
  movsbl (%r14),%r15d
  lea    0x2(%rbp),%r14
  jmp    L177
  nopl   (%rax)
L76:
  movzbl (%r14),%eax
  and    $0xffffffdf,%eax
  cmp    $0x58,%al
  je     L74
  test   %ebx,%ebx
  jne    L123
  movq   $0x8,(%rsp)
  mov    $0x8,%ebx
  jmp    L124
  nopl   (%rax)
L292:
  movsbl (%r14),%r15d
  movb   $0x1,0x1f(%rsp)
  lea    0x2(%rbp),%r14
  jmp    L177
L74:
  movsbl 0x1(%r14),%r15d
  mov    $0x10,%ebx
  add    $0x2,%r14
  movq   $0x10,(%rsp)
  jmp    L124
```

assistant: ```c
unsigned long strtoul(const char *nptr, char **endptr, int base) {
  const char *s;
  unsigned long acc, cutoff;
  int c;
  int neg, any, cutlim;
  if (base < 0 || base == 1 || base > 36) {
    if (endptr != 0)
      *endptr = (char *)nptr;
    errno = EINVAL;
    return 0;
  }
  s = nptr;
  do {
    c = (unsigned char)*s++;
  } while (isspace(c));
  if (c == '-') {
    neg = 1;
    c = *s++;
  } else {
    neg = 0;
    if (c == '+')
      c = *s++;
  }
  if ((base == 0 || base == 16) && c == '0' && (*s == 'x' || *s == 'X')) {
    c = s[1];
    s += 2;
    base = 16;
  }
  if (base == 0)
    base = c == '0' ? 8 : 10;
  cutoff = ULONG_MAX / (unsigned long)base;
  cutlim = ULONG_MAX % (unsigned long)base;
  for (acc = 0, any = 0;; c = (unsigned char)*s++) {
    if (isdigit(c))
      c -= '0';
    else if (isalpha(c))
      c -= isupper(c) ? 'A' - 10 : 'a' - 10;
    else
      break;
    if (c >= base)
      break;
    if (any < 0)
      continue;
    if (acc > cutoff || (acc == cutoff && c > cutlim)) {
      any = -1;
      acc = ULONG_MAX;
      errno = ERANGE;
    } else {
      any = 1;
      acc *= (unsigned long)base;
      acc += c;
    }
  }
  if (neg && any > 0)
    acc = -acc;
  if (endptr != 0)
    *endptr = (char *)(any ? s - 1 : nptr);
  return (acc);
}
```