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

```asm
<xdl_adler32>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x28(%rbp)
  mov    %rsi,-0x30(%rbp)
  mov    %edx,-0x34(%rbp)
  mov    -0x28(%rbp),%rax
  movzwl %ax,%eax
  mov    %rax,-0x10(%rbp)
  mov    -0x28(%rbp),%rax
  shr    $0x10,%rax
  and    $0xffff,%eax
  mov    %rax,-0x8(%rbp)
  cmpq   $0x0,-0x30(%rbp)
  jne    L52
  mov    $0x1,%eax
  jmp    L65
L31:
  mov    -0x34(%rbp),%eax
  mov    $0x15b0,%edx
  cmp    %edx,%eax
  cmova  %edx,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x14(%rbp),%eax
  sub    %eax,-0x34(%rbp)
  jmp    L53
L12:
  mov    -0x30(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x30(%rbp),%rax
  add    $0x1,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x30(%rbp),%rax
  add    $0x2,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x30(%rbp),%rax
  add    $0x3,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x30(%rbp),%rax
  add    $0x4,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x30(%rbp),%rax
  add    $0x5,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x30(%rbp),%rax
  add    $0x6,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x30(%rbp),%rax
  add    $0x7,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x30(%rbp),%rax
  add    $0x8,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x30(%rbp),%rax
  add    $0x9,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x30(%rbp),%rax
  add    $0xa,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x30(%rbp),%rax
  add    $0xb,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x30(%rbp),%rax
  add    $0xc,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x30(%rbp),%rax
  add    $0xd,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x30(%rbp),%rax
  add    $0xe,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x30(%rbp),%rax
  add    $0xf,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    %rax,-0x8(%rbp)
  addq   $0x10,-0x30(%rbp)
  subl   $0x10,-0x14(%rbp)
L53:
  cmpl   $0xf,-0x14(%rbp)
  jg     L12
  cmpl   $0x0,-0x14(%rbp)
  je     L25
L0:
  mov    -0x30(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x30(%rbp)
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    %rax,-0x8(%rbp)
  subl   $0x1,-0x14(%rbp)
  cmpl   $0x0,-0x14(%rbp)
  jne    L0
L25:
  mov    -0x10(%rbp),%rcx
  movabs $0xf00e10d2fc5cd,%rdx
  mov    %rcx,%rax
  mul    %rdx
  mov    %rcx,%rax
  sub    %rdx,%rax
  shr    %rax
  add    %rdx,%rax
  shr    $0xf,%rax
  imul   $0xfff1,%rax,%rdx
  mov    %rcx,%rax
  sub    %rdx,%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x8(%rbp),%rcx
  movabs $0xf00e10d2fc5cd,%rdx
  mov    %rcx,%rax
  mul    %rdx
  mov    %rcx,%rax
  sub    %rdx,%rax
  shr    %rax
  add    %rdx,%rax
  shr    $0xf,%rax
  imul   $0xfff1,%rax,%rdx
  mov    %rcx,%rax
  sub    %rdx,%rax
  mov    %rax,-0x8(%rbp)
L52:
  cmpl   $0x0,-0x34(%rbp)
  jne    L31
  mov    -0x8(%rbp),%rax
  shl    $0x10,%rax
  or     -0x10(%rbp),%rax
L65:
  pop    %rbp
  ret
```

assistant: ```c
unsigned long xdl_adler32(unsigned long adler, unsigned char const *buf, unsigned int len) {
  int k;
  unsigned long s1 = adler & 0xffff;
  unsigned long s2 = (adler >> 16) & 0xffff;
  if (!buf)
    return 1;
  while (len > 0) {
    k = len < 5552 ? len : 5552;
    len -= k;
    while (k >= 16) {
      {
        s1 += buf[0];
        s2 += s1;
      };
      {
        s1 += buf[0 + 1];
        s2 += s1;
      };
      ;
      {
        s1 += buf[0 + 2];
        s2 += s1;
      };
      {
        s1 += buf[0 + 2 + 1];
        s2 += s1;
      };
      ;
      ;
      {
        s1 += buf[0 + 4];
        s2 += s1;
      };
      {
        s1 += buf[0 + 4 + 1];
        s2 += s1;
      };
      ;
      {
        s1 += buf[0 + 4 + 2];
        s2 += s1;
      };
      {
        s1 += buf[0 + 4 + 2 + 1];
        s2 += s1;
      };
      ;
      ;
      ;
      {
        s1 += buf[8];
        s2 += s1;
      };
      {
        s1 += buf[8 + 1];
        s2 += s1;
      };
      ;
      {
        s1 += buf[8 + 2];
        s2 += s1;
      };
      {
        s1 += buf[8 + 2 + 1];
        s2 += s1;
      };
      ;
      ;
      {
        s1 += buf[8 + 4];
        s2 += s1;
      };
      {
        s1 += buf[8 + 4 + 1];
        s2 += s1;
      };
      ;
      {
        s1 += buf[8 + 4 + 2];
        s2 += s1;
      };
      {
        s1 += buf[8 + 4 + 2 + 1];
        s2 += s1;
      };
      ;
      ;
      ;
      ;
      buf += 16;
      k -= 16;
    }
    if (k != 0)
      do {
        s1 += *buf++;
        s2 += s1;
      } while (--k);
    s1 %= 65521L;
    s2 %= 65521L;
  }
  return (s2 << 16) | s1;
}
```