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

```asm
<strverscmp>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  mov    %rdi,-0x38(%rbp)
  mov    %rsi,-0x40(%rbp)
  mov    -0x38(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x40(%rbp),%rax
  mov    %rax,-0x8(%rbp)
  movl   $0x1,-0x30(%rbp)
  movq   $0x0,-0x28(%rbp)
  mov    -0x28(%rbp),%rax
  mov    %rax,-0x20(%rbp)
  jmp    L67
L14:
  mov    -0x10(%rbp),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x2c(%rbp)
  cmpl   $0x0,-0x2c(%rbp)
  jne    L97
  mov    $0x0,%eax
  jmp    L58
L97:
  mov    -0x2c(%rbp),%eax
  movzbl %al,%eax
  mov    %eax,%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L161
  mov    -0x28(%rbp),%rax
  add    $0x1,%rax
  mov    %rax,-0x20(%rbp)
  movl   $0x1,-0x30(%rbp)
  jmp    L31
L161:
  cmpl   $0x30,-0x2c(%rbp)
  je     L31
  movl   $0x0,-0x30(%rbp)
L31:
  addq   $0x1,-0x28(%rbp)
L67:
  mov    -0x10(%rbp),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%edx
  mov    -0x8(%rbp),%rcx
  mov    -0x28(%rbp),%rax
  add    %rcx,%rax
  movzbl (%rax),%eax
  cmp    %al,%dl
  je     L14
  mov    -0x10(%rbp),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0x30,%al
  je     L129
  mov    -0x8(%rbp),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    $0x30,%al
  je     L129
  mov    -0x28(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  jmp    L133
L150:
  mov    -0x8(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L198
  mov    $0x1,%eax
  jmp    L58
L198:
  addq   $0x1,-0x18(%rbp)
L133:
  mov    -0x10(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L150
  mov    -0x8(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,%edi
  call   <isdigit@plt>
  test   %rax,%rax
  je     L20
  mov    $0xffffffff,%eax
  jmp    L58
L129:
  cmpl   $0x0,-0x30(%rbp)
  je     L20
  mov    -0x20(%rbp),%rax
  cmp    -0x28(%rbp),%rax
  jae    L20
  mov    -0x10(%rbp),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L120
  mov    -0x8(%rbp),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,%edi
  call   <isdigit@plt>
  test   %rax,%rax
  je     L20
L120:
  mov    -0x10(%rbp),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  sub    $0x30,%eax
  movzbl %al,%eax
  mov    -0x8(%rbp),%rcx
  mov    -0x28(%rbp),%rdx
  add    %rcx,%rdx
  movzbl (%rdx),%edx
  sub    $0x30,%edx
  movzbl %dl,%edx
  sub    %edx,%eax
  jmp    L58
L20:
  mov    -0x10(%rbp),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    -0x8(%rbp),%rcx
  mov    -0x28(%rbp),%rdx
  add    %rcx,%rdx
  movzbl (%rdx),%edx
  movzbl %dl,%edx
  sub    %edx,%eax
L58:
  leave
  ret
```

assistant: ```c
int strverscmp(const char *l0, const char *r0) {
  const unsigned char *l = (const void *)l0;
  const unsigned char *r = (const void *)r0;
  size_t i, dp, j;
  int z = 1;
  for (dp = i = 0; l[i] == r[i]; i++) {
    int c = l[i];
    if (!c)
      return 0;
    if (!isdigit(c))
      dp = i + 1, z = 1;
    else if (c != '0')
      z = 0;
  }
  if (l[dp] != '0' && r[dp] != '0') {
    for (j = i; isdigit(l[j]); j++)
      if (!isdigit(r[j]))
        return 1;
    if (isdigit(r[j]))
      return -1;
  } else if (z && dp < i && (isdigit(l[i]) || isdigit(r[i]))) {
    return (unsigned char)(l[i] - '0') - (unsigned char)(r[i] - '0');
  }
  return l[i] - r[i];
}
```