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

```asm
<version_cmp>:
  endbr64
  push   %r15
  push   %r14
  mov    %rdi,%r14
  push   %r13
  mov    %rsi,%r13
  mov    $0x3a,%esi
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x18,%rsp
  call   <strchr@plt>
  mov    $0x3a,%esi
  mov    %r13,%rdi
  mov    %rax,%rbx
  call   <strchr@plt>
  mov    %rax,%rbp
  test   %rbx,%rbx
  je     L143
  test   %rax,%rax
  jne    L100
  test   %rbx,%rbx
  je     L143
  movzbl (%rbx),%ebp
  movb   $0x0,(%rbx)
  mov    %r14,%rdi
  lea    D14(%rip),%rsi
  xor    %eax,%eax
  lea    0x1(%rbx),%r14
  call   <version_subcmp@plt>
  mov    %bpl,(%rbx)
L103:
  test   %eax,%eax
  jne    L28
L16:
  lea    D14(%rip),%r12
  jmp    L62
  nop
L92:
  test   %dl,%dl
  je     L108
  movzbl (%rbx),%r15d
  movb   $0x0,(%rbx)
  mov    %r14,%rdi
  mov    %r13,%rsi
  movzbl 0x0(%rbp),%edx
  movb   $0x0,0x0(%rbp)
  xor    %eax,%eax
  lea    0x1(%rbx),%r14
  mov    %dl,0xf(%rsp)
  call   <version_subcmp@plt>
  movzbl 0xf(%rsp),%edx
  mov    %dl,0x0(%rbp)
  mov    %r15b,(%rbx)
L26:
  lea    0x1(%rbp),%r13
  test   %eax,%eax
  jne    L28
L62:
  mov    $0x2e,%esi
  mov    %r14,%rdi
  call   <strchr@plt>
  mov    $0x2e,%esi
  mov    %r13,%rdi
  mov    %rax,%rbx
  call   <strchr@plt>
  test   %rbx,%rbx
  mov    %rbx,%rcx
  mov    %rax,%rbp
  setne  %al
  test   %rbp,%rbp
  setne  %dl
  or     %rbp,%rcx
  je     L55
  test   %al,%al
  jne    L92
L108:
  test   %rbx,%rbx
  je     L82
  movzbl (%rbx),%ebp
  movb   $0x0,(%rbx)
  mov    %r14,%rdi
  mov    %r12,%rsi
  xor    %eax,%eax
  lea    0x1(%rbx),%r14
  call   <version_subcmp@plt>
  mov    %bpl,(%rbx)
  test   %eax,%eax
  je     L62
L28:
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax)
L100:
  movzbl (%rbx),%r12d
  movb   $0x0,(%rbx)
  mov    %r14,%rdi
  mov    %r13,%rsi
  movzbl (%rax),%r15d
  movb   $0x0,(%rax)
  xor    %eax,%eax
  lea    0x1(%rbx),%r14
  call   <version_subcmp@plt>
  mov    %r15b,0x0(%rbp)
  mov    %r12b,(%rbx)
L116:
  lea    0x1(%rbp),%r13
  jmp    L103
  nop
L82:
  movzbl 0x0(%rbp),%ebx
  movb   $0x0,0x0(%rbp)
  mov    %r13,%rsi
  mov    %r12,%rdi
  xor    %eax,%eax
  call   <version_subcmp@plt>
  mov    %bl,0x0(%rbp)
  jmp    L26
  nopl   (%rax)
L55:
  mov    %r14,%rdi
  call   <strlen@plt>
  mov    %r13,%rdi
  lea    (%r14,%rax,1),%rbx
  call   <strlen@plt>
  movb   $0x0,(%rbx)
  mov    %r13,%rsi
  mov    %r14,%rdi
  lea    0x0(%r13,%rax,1),%rbp
  xor    %eax,%eax
  movb   $0x0,0x0(%rbp)
  call   <version_subcmp@plt>
  movb   $0x0,0x0(%rbp)
  movb   $0x0,(%rbx)
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax,%rax,1)
L143:
  test   %rbp,%rbp
  je     L16
  movzbl 0x0(%rbp),%ebx
  movb   $0x0,0x0(%rbp)
  mov    %r13,%rsi
  xor    %eax,%eax
  lea    D14(%rip),%rdi
  call   <version_subcmp@plt>
  mov    %bl,0x0(%rbp)
  jmp    L116
```

assistant: ```c
int version_cmp(char *a, char *b) {
  char *ap;
  char *bp;
  int r = 0;
  static char nil[1] = {'\0'};
  ap = strchr(a, (':')), bp = strchr(b, (':'));
  if (ap && bp) {
    do {
      char ap__c = *(ap);
      *(ap) = '\0';
      do {
        char bp__c = *(bp);
        *(bp) = '\0';
        r = version_subcmp(a, b);
        *(bp) = bp__c;
      } while (0);
      *(ap) = ap__c;
    } while (0);
  } else if (ap) {
    do {
      char ap__c = *(ap);
      *(ap) = '\0';
      r = version_subcmp(a, nil);
      *(ap) = ap__c;
    } while (0);
  } else if (bp) {
    do {
      char bp__c = *(bp);
      *(bp) = '\0';
      r = version_subcmp(nil, b);
      *(bp) = bp__c;
    } while (0);
  }
  a = ap ? (ap + 1) : a;
  b = bp ? (bp + 1) : b;
  if (r)
    return r;
  while (ap = strchr(a, ('.')), bp = strchr(b, ('.')), (ap || bp)) {
    if (ap && bp) {
      do {
        char ap__c = *(ap);
        *(ap) = '\0';
        do {
          char bp__c = *(bp);
          *(bp) = '\0';
          r = version_subcmp(a, b);
          *(bp) = bp__c;
        } while (0);
        *(ap) = ap__c;
      } while (0);
    } else if (ap) {
      do {
        char ap__c = *(ap);
        *(ap) = '\0';
        r = version_subcmp(a, nil);
        *(ap) = ap__c;
      } while (0);
    } else if (bp) {
      do {
        char bp__c = *(bp);
        *(bp) = '\0';
        r = version_subcmp(nil, b);
        *(bp) = bp__c;
      } while (0);
    }
    a = ap ? (ap + 1) : a;
    b = bp ? (bp + 1) : b;
    if (r)
      return r;
  }
  ap = strchr(a, ('\0')), bp = strchr(b, ('\0'));
  if (ap && bp) {
    do {
      char ap__c = *(ap);
      *(ap) = '\0';
      do {
        char bp__c = *(bp);
        *(bp) = '\0';
        r = version_subcmp(a, b);
        *(bp) = bp__c;
      } while (0);
      *(ap) = ap__c;
    } while (0);
  } else if (ap) {
    do {
      char ap__c = *(ap);
      *(ap) = '\0';
      r = version_subcmp(a, nil);
      *(ap) = ap__c;
    } while (0);
  } else if (bp) {
    do {
      char bp__c = *(bp);
      *(bp) = '\0';
      r = version_subcmp(nil, b);
      *(bp) = bp__c;
    } while (0);
  }
  a = ap ? (ap + 1) : a;
  b = bp ? (bp + 1) : b;
  if (r)
    return r;
  return 0;
}
```