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

```asm
<adler32>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x18(%rbp)
  mov    %rsi,-0x20(%rbp)
  mov    %edx,-0x24(%rbp)
  mov    -0x18(%rbp),%rax
  shr    $0x10,%rax
  and    $0xffff,%eax
  mov    %rax,-0x8(%rbp)
  andq   $0xffff,-0x18(%rbp)
  cmpl   $0x1,-0x24(%rbp)
  jne    L108
  mov    -0x20(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  cmpq   $0xfff0,-0x18(%rbp)
  jbe    L81
  subq   $0xfff1,-0x18(%rbp)
L81:
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  cmpq   $0xfff0,-0x8(%rbp)
  jbe    L177
  subq   $0xfff1,-0x8(%rbp)
L177:
  mov    -0x8(%rbp),%rax
  shl    $0x10,%rax
  or     -0x18(%rbp),%rax
  jmp    L3
L108:
  cmpq   $0x0,-0x20(%rbp)
  jne    L74
  mov    $0x1,%eax
  jmp    L3
L74:
  cmpl   $0xf,-0x24(%rbp)
  ja     L144
  jmp    L170
L158:
  mov    -0x20(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x20(%rbp)
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
L170:
  mov    -0x24(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    %edx,-0x24(%rbp)
  test   %eax,%eax
  jne    L158
  cmpq   $0xfff0,-0x18(%rbp)
  jbe    L87
  subq   $0xfff1,-0x18(%rbp)
L87:
  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)
  mov    -0x8(%rbp),%rax
  shl    $0x10,%rax
  or     -0x18(%rbp),%rax
  jmp    L3
L161:
  subl   $0x15b0,-0x24(%rbp)
  movl   $0x15b,-0xc(%rbp)
L106:
  mov    -0x20(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x1,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x2,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x3,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x5,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x6,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x7,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x9,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0xa,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0xb,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0xd,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0xe,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0xf,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  addq   $0x10,-0x20(%rbp)
  subl   $0x1,-0xc(%rbp)
  cmpl   $0x0,-0xc(%rbp)
  jne    L106
  mov    -0x18(%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,-0x18(%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)
L144:
  cmpl   $0x15af,-0x24(%rbp)
  ja     L161
  cmpl   $0x0,-0x24(%rbp)
  je     L50
  jmp    L92
L88:
  subl   $0x10,-0x24(%rbp)
  mov    -0x20(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x1,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x2,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x3,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x5,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x6,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x7,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x9,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0xa,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0xb,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0xd,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0xe,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0xf,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
  addq   $0x10,-0x20(%rbp)
L92:
  cmpl   $0xf,-0x24(%rbp)
  ja     L88
  jmp    L75
L134:
  mov    -0x20(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x20(%rbp)
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    %rax,-0x8(%rbp)
L75:
  mov    -0x24(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    %edx,-0x24(%rbp)
  test   %eax,%eax
  jne    L134
  mov    -0x18(%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,-0x18(%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)
L50:
  mov    -0x8(%rbp),%rax
  shl    $0x10,%rax
  or     -0x18(%rbp),%rax
L3:
  pop    %rbp
  ret
```

assistant: ```c
unsigned long adler32(unsigned long adler, const unsigned char *buf, unsigned int len) {
  unsigned long sum2;
  unsigned n;
  sum2 = (adler >> 16) & 0xffff;
  adler &= 0xffff;
  if (len == 1) {
    adler += buf[0];
    if (adler >= 65521UL)
      adler -= 65521UL;
    sum2 += adler;
    if (sum2 >= 65521UL)
      sum2 -= 65521UL;
    return adler | (sum2 << 16);
  }
  if (buf == NULL)
    return 1L;
  if (len < 16) {
    while (len--) {
      adler += *buf++;
      sum2 += adler;
    }
    if (adler >= 65521UL)
      adler -= 65521UL;
    sum2 %= 65521UL;
    return adler | (sum2 << 16);
  }
  while (len >= 5552) {
    len -= 5552;
    n = 5552 / 16;
    do {
      {
        adler += (buf)[0];
        sum2 += adler;
      };
      {
        adler += (buf)[0 + 1];
        sum2 += adler;
      };
      ;
      {
        adler += (buf)[0 + 2];
        sum2 += adler;
      };
      {
        adler += (buf)[0 + 2 + 1];
        sum2 += adler;
      };
      ;
      ;
      {
        adler += (buf)[0 + 4];
        sum2 += adler;
      };
      {
        adler += (buf)[0 + 4 + 1];
        sum2 += adler;
      };
      ;
      {
        adler += (buf)[0 + 4 + 2];
        sum2 += adler;
      };
      {
        adler += (buf)[0 + 4 + 2 + 1];
        sum2 += adler;
      };
      ;
      ;
      ;
      {
        adler += (buf)[8];
        sum2 += adler;
      };
      {
        adler += (buf)[8 + 1];
        sum2 += adler;
      };
      ;
      {
        adler += (buf)[8 + 2];
        sum2 += adler;
      };
      {
        adler += (buf)[8 + 2 + 1];
        sum2 += adler;
      };
      ;
      ;
      {
        adler += (buf)[8 + 4];
        sum2 += adler;
      };
      {
        adler += (buf)[8 + 4 + 1];
        sum2 += adler;
      };
      ;
      {
        adler += (buf)[8 + 4 + 2];
        sum2 += adler;
      };
      {
        adler += (buf)[8 + 4 + 2 + 1];
        sum2 += adler;
      };
      ;
      ;
      ;
      ;
      buf += 16;
    } while (--n);
    adler %= 65521UL;
    sum2 %= 65521UL;
  }
  if (len) {
    while (len >= 16) {
      len -= 16;
      {
        adler += (buf)[0];
        sum2 += adler;
      };
      {
        adler += (buf)[0 + 1];
        sum2 += adler;
      };
      ;
      {
        adler += (buf)[0 + 2];
        sum2 += adler;
      };
      {
        adler += (buf)[0 + 2 + 1];
        sum2 += adler;
      };
      ;
      ;
      {
        adler += (buf)[0 + 4];
        sum2 += adler;
      };
      {
        adler += (buf)[0 + 4 + 1];
        sum2 += adler;
      };
      ;
      {
        adler += (buf)[0 + 4 + 2];
        sum2 += adler;
      };
      {
        adler += (buf)[0 + 4 + 2 + 1];
        sum2 += adler;
      };
      ;
      ;
      ;
      {
        adler += (buf)[8];
        sum2 += adler;
      };
      {
        adler += (buf)[8 + 1];
        sum2 += adler;
      };
      ;
      {
        adler += (buf)[8 + 2];
        sum2 += adler;
      };
      {
        adler += (buf)[8 + 2 + 1];
        sum2 += adler;
      };
      ;
      ;
      {
        adler += (buf)[8 + 4];
        sum2 += adler;
      };
      {
        adler += (buf)[8 + 4 + 1];
        sum2 += adler;
      };
      ;
      {
        adler += (buf)[8 + 4 + 2];
        sum2 += adler;
      };
      {
        adler += (buf)[8 + 4 + 2 + 1];
        sum2 += adler;
      };
      ;
      ;
      ;
      ;
      buf += 16;
    }
    while (len--) {
      adler += *buf++;
      sum2 += adler;
    }
    adler %= 65521UL;
    sum2 %= 65521UL;
  }
  return adler | (sum2 << 16);
}
```