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

```asm
<MD5Transform>:
  endbr64
  push   %r15
  mov    %rdi,%r8
  mov    %rsi,%rax
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    0x4(%rdi),%r15d
  mov    (%rsi),%r14d
  mov    (%rdi),%ebx
  mov    0x8(%rdi),%edi
  xor    0xc(%r8),%edi
  lea    -0x28955b88(%r14,%rbx,1),%edx
  and    %r15d,%edi
  xor    0xc(%r8),%edi
  mov    0x4(%rsi),%ebx
  add    %edx,%edi
  mov    0x8(%r8),%edx
  mov    0xc(%r8),%esi
  rol    $0x7,%edi
  mov    0xc(%rax),%r11d
  mov    0x1c(%rax),%r13d
  mov    %ebx,-0x2c(%rsp)
  add    %r15d,%edi
  xor    %r15d,%edx
  lea    -0x173848aa(%rbx,%rsi,1),%ecx
  mov    0x8(%rax),%esi
  and    %edi,%edx
  xor    0x8(%r8),%edx
  mov    %edi,%r10d
  mov    0x24(%rax),%ebx
  add    %ecx,%edx
  mov    0x8(%r8),%ecx
  mov    %esi,-0x28(%rsp)
  lea    -0x3e423112(%r11,%r15,1),%r9d
  rol    $0xc,%edx
  mov    %ebx,-0x14(%rsp)
  lea    0x242070db(%rsi,%rcx,1),%esi
  mov    %r15d,%ecx
  add    %edi,%edx
  mov    %r11d,-0x24(%rsp)
  xor    %edi,%ecx
  xor    %edx,%r10d
  mov    %edx,%ebp
  and    %edx,%ecx
  xor    %r15d,%ecx
  add    %esi,%ecx
  mov    %r10d,%esi
  mov    0x10(%rax),%r10d
  ror    $0xf,%ecx
  add    %edx,%ecx
  mov    %r10d,-0x20(%rsp)
  and    %ecx,%esi
  xor    %ecx,%ebp
  xor    %edi,%esi
  add    %r9d,%esi
  lea    -0xa83f051(%r10,%rdi,1),%r9d
  mov    %ebp,%edi
  mov    0x14(%rax),%ebp
  ror    $0xa,%esi
  add    %ecx,%esi
  and    %esi,%edi
  xor    %edx,%edi
  add    %r9d,%edi
  lea    0x4787c62a(%rbp,%rdx,1),%r9d
  mov    %ecx,%edx
  rol    $0x7,%edi
  xor    %esi,%edx
  add    %esi,%edi
  and    %edi,%edx
  mov    %edi,%r12d
  xor    %ecx,%edx
  add    %r9d,%edx
  mov    0x18(%rax),%r9d
  rol    $0xc,%edx
  mov    %r9d,-0x1c(%rsp)
  lea    -0x57cfb9ed(%r9,%rcx,1),%r9d
  mov    %esi,%ecx
  add    %edi,%edx
  xor    %edi,%ecx
  xor    %edx,%r12d
  and    %edx,%ecx
  xor    %esi,%ecx
  add    %r9d,%ecx
  lea    -0x2b96aff(%r13,%rsi,1),%r9d
  mov    %r12d,%esi
  mov    0x20(%rax),%r12d
  ror    $0xf,%ecx
  add    %edx,%ecx
  mov    %r12d,-0x18(%rsp)
  mov    0x28(%rax),%r11d
  and    %ecx,%esi
  xor    %edi,%esi
  add    %r9d,%esi
  lea    0x698098d8(%r12,%rdi,1),%r9d
  mov    %edx,%edi
  mov    0x38(%rax),%r12d
  ror    $0xa,%esi
  xor    %ecx,%edi
  add    %ecx,%esi
  and    %esi,%edi
  xor    %edx,%edi
  add    %r9d,%edi
  lea    -0x74bb0851(%rbx,%rdx,1),%r9d
  mov    %ecx,%edx
  mov    0x30(%rax),%ebx
  rol    $0x7,%edi
  xor    %esi,%edx
  add    %esi,%edi
  and    %edi,%edx
  xor    %ecx,%edx
  add    %r9d,%edx
  lea    -0xa44f(%r11,%rcx,1),%r9d
  mov    %esi,%ecx
  rol    $0xc,%edx
  xor    %edi,%ecx
  add    %edi,%edx
  and    %edx,%ecx
  xor    %esi,%ecx
  add    %r9d,%ecx
  mov    0x2c(%rax),%r9d
  ror    $0xf,%ecx
  mov    %r9d,-0x10(%rsp)
  lea    -0x76a32842(%r9,%rsi,1),%r9d
  mov    %edi,%esi
  add    %edx,%ecx
  xor    %edx,%esi
  and    %ecx,%esi
  xor    %edi,%esi
  add    %r9d,%esi
  lea    0x6b901122(%rbx,%rdi,1),%r9d
  mov    %edx,%edi
  ror    $0xa,%esi
  xor    %ecx,%edi
  add    %ecx,%esi
  and    %esi,%edi
  xor    %edx,%edi
  add    %r9d,%edi
  mov    0x34(%rax),%r9d
  rol    $0x7,%edi
  lea    -0x2678e6d(%r9,%rdx,1),%r10d
  mov    %ecx,%edx
  add    %esi,%edi
  xor    %esi,%edx
  and    %edi,%edx
  xor    %ecx,%edx
  add    %r10d,%edx
  lea    -0x5986bc72(%r12,%rcx,1),%r10d
  mov    %esi,%ecx
  rol    $0xc,%edx
  xor    %edi,%ecx
  add    %edi,%edx
  and    %edx,%ecx
  xor    %esi,%ecx
  add    %r10d,%ecx
  mov    0x3c(%rax),%r10d
  ror    $0xf,%ecx
  lea    0x49b40821(%r10,%rsi,1),%eax
  mov    %edi,%esi
  add    %edx,%ecx
  xor    %edx,%esi
  and    %ecx,%esi
  xor    %edi,%esi
  add    %eax,%esi
  mov    -0x2c(%rsp),%eax
  ror    $0xa,%esi
  add    %ecx,%esi
  lea    -0x9e1da9e(%rax,%rdi,1),%edi
  mov    %ecx,%eax
  xor    %esi,%eax
  and    %edx,%eax
  xor    %ecx,%eax
  add    %edi,%eax
  mov    -0x1c(%rsp),%edi
  rol    $0x5,%eax
  add    %esi,%eax
  lea    -0x3fbf4cc0(%rdi,%rdx,1),%edi
  mov    %esi,%edx
  xor    %eax,%edx
  and    %ecx,%edx
  xor    %esi,%edx
  add    %edi,%edx
  mov    -0x10(%rsp),%edi
  rol    $0x9,%edx
  add    %eax,%edx
  lea    0x265e5a51(%rdi,%rcx,1),%edi
  mov    %eax,%ecx
  xor    %edx,%ecx
  and    %esi,%ecx
  xor    %eax,%ecx
  add    %edi,%ecx
  lea    -0x16493856(%r14,%rsi,1),%edi
  mov    %edx,%esi
  rol    $0xe,%ecx
  add    %edx,%ecx
  xor    %ecx,%esi
  and    %eax,%esi
  xor    %edx,%esi
  add    %edi,%esi
  lea    -0x29d0efa3(%rbp,%rax,1),%edi
  mov    %ecx,%eax
  ror    $0xc,%esi
  add    %ecx,%esi
  xor    %esi,%eax
  and    %edx,%eax
  xor    %ecx,%eax
  add    %edi,%eax
  lea    0x2441453(%r11,%rdx,1),%edi
  mov    %esi,%edx
  rol    $0x5,%eax
  add    %esi,%eax
  xor    %eax,%edx
  and    %ecx,%edx
  xor    %esi,%edx
  add    %edi,%edx
  lea    -0x275e197f(%r10,%rcx,1),%edi
  mov    %eax,%ecx
  rol    $0x9,%edx
  add    %eax,%edx
  xor    %edx,%ecx
  and    %esi,%ecx
  xor    %eax,%ecx
  add    %edi,%ecx
  mov    -0x20(%rsp),%edi
  rol    $0xe,%ecx
  add    %edx,%ecx
  lea    -0x182c0438(%rdi,%rsi,1),%edi
  mov    %edx,%esi
  xor    %ecx,%esi
  and    %eax,%esi
  xor    %edx,%esi
  add    %edi,%esi
  mov    -0x14(%rsp),%edi
  ror    $0xc,%esi
  add    %ecx,%esi
  lea    0x21e1cde6(%rdi,%rax,1),%edi
  mov    %ecx,%eax
  xor    %esi,%eax
  and    %edx,%eax
  xor    %ecx,%eax
  add    %edi,%eax
  lea    -0x3cc8f82a(%r12,%rdx,1),%edi
  mov    %esi,%edx
  rol    $0x5,%eax
  add    %esi,%eax
  xor    %eax,%edx
  and    %ecx,%edx
  xor    %esi,%edx
  add    %edi,%edx
  mov    -0x24(%rsp),%edi
  rol    $0x9,%edx
  add    %eax,%edx
  lea    -0xb2af279(%rdi,%rcx,1),%edi
  mov    %eax,%ecx
  xor    %edx,%ecx
  and    %esi,%ecx
  xor    %eax,%ecx
  add    %edi,%ecx
  mov    -0x18(%rsp),%edi
  rol    $0xe,%ecx
  add    %edx,%ecx
  lea    0x455a14ed(%rdi,%rsi,1),%esi
  mov    %edx,%edi
  xor    %ecx,%edi
  and    %eax,%edi
  xor    %edx,%edi
  add    %esi,%edi
  lea    -0x561c16fb(%r9,%rax,1),%esi
  mov    %ecx,%eax
  ror    $0xc,%edi
  add    %ecx,%edi
  xor    %edi,%eax
  and    %edx,%eax
  xor    %ecx,%eax
  add    %esi,%eax
  mov    -0x28(%rsp),%esi
  rol    $0x5,%eax
  add    %edi,%eax
  lea    -0x3105c08(%rsi,%rdx,1),%esi
  mov    %edi,%edx
  xor    %eax,%edx
  and    %ecx,%edx
  lea    0x676f02d9(%r13,%rcx,1),%ecx
  xor    %edi,%edx
  add    %esi,%edx
  mov    %eax,%esi
  rol    $0x9,%edx
  add    %eax,%edx
  xor    %edx,%esi
  and    %edi,%esi
  lea    -0x72d5b376(%rbx,%rdi,1),%edi
  xor    %eax,%esi
  mov    %edi,-0xc(%rsp)
  add    %ecx,%esi
  mov    %edx,%ecx
  rol    $0xe,%esi
  add    %edx,%esi
  xor    %esi,%ecx
  mov    %ecx,%edi
  and    %eax,%edi
  lea    -0x5c6be(%rbp,%rax,1),%eax
  xor    %edx,%edi
  add    -0xc(%rsp),%edi
  ror    $0xc,%edi
  add    %esi,%edi
  xor    %edi,%ecx
  add    %eax,%ecx
  mov    -0x18(%rsp),%eax
  rol    $0x4,%ecx
  lea    -0x788e097f(%rax,%rdx,1),%eax
  mov    %esi,%edx
  add    %edi,%ecx
  xor    %edi,%edx
  xor    %ecx,%edx
  add    %eax,%edx
  mov    -0x10(%rsp),%eax
  rol    $0xb,%edx
  lea    0x6d9d6122(%rax,%rsi,1),%eax
  mov    %edi,%esi
  add    %ecx,%edx
  xor    %ecx,%esi
  lea    -0x21ac7f4(%r12,%rdi,1),%edi
  xor    %edx,%esi
  add    %eax,%esi
  mov    %ecx,%eax
  rol    $0x10,%esi
  xor    %edx,%eax
  add    %edx,%esi
  xor    %esi,%eax
  add    %edi,%eax
  mov    -0x2c(%rsp),%edi
  ror    $0x9,%eax
  lea    -0x5b4115bc(%rdi,%rcx,1),%edi
  mov    %edx,%ecx
  add    %esi,%eax
  xor    %esi,%ecx
  xor    %eax,%ecx
  add    %edi,%ecx
  mov    -0x20(%rsp),%edi
  rol    $0x4,%ecx
  lea    0x4bdecfa9(%rdi,%rdx,1),%edx
  mov    %esi,%edi
  add    %eax,%ecx
  xor    %eax,%edi
  lea    -0x944b4a0(%r13,%rsi,1),%esi
  xor    %ecx,%edi
  add    %edx,%edi
  mov    %eax,%edx
  lea    -0x41404390(%r11,%rax,1),%eax
  rol    $0xb,%edi
  xor    %ecx,%edx
  add    %ecx,%edi
  xor    %edi,%edx
  add    %esi,%edx
  mov    %ecx,%esi
  rol    $0x10,%edx
  xor    %edi,%esi
  add    %edi,%edx
  xor    %edx,%esi
  add    %eax,%esi
  lea    0x289b7ec6(%r9,%rcx,1),%eax
  mov    %edi,%ecx
  ror    $0x9,%esi
  xor    %edx,%ecx
  lea    -0x155ed806(%r14,%rdi,1),%edi
  add    %edx,%esi
  xor    %esi,%ecx
  add    %eax,%ecx
  mov    %edx,%eax
  rol    $0x4,%ecx
  xor    %esi,%eax
  add    %esi,%ecx
  xor    %ecx,%eax
  add    %edi,%eax
  mov    -0x24(%rsp),%edi
  rol    $0xb,%eax
  lea    -0x2b10cf7b(%rdi,%rdx,1),%edx
  mov    %esi,%edi
  add    %ecx,%eax
  xor    %ecx,%edi
  xor    %eax,%edi
  add    %edx,%edi
  mov    -0x1c(%rsp),%edx
  rol    $0x10,%edi
  lea    0x4881d05(%rdx,%rsi,1),%edx
  mov    %ecx,%esi
  add    %eax,%edi
  xor    %eax,%esi
  xor    %edi,%esi
  add    %edx,%esi
  mov    -0x14(%rsp),%edx
  ror    $0x9,%esi
  lea    -0x262b2fc7(%rdx,%rcx,1),%ecx
  mov    %eax,%edx
  add    %edi,%esi
  xor    %edi,%edx
  lea    -0x1924661b(%rbx,%rax,1),%eax
  xor    %esi,%edx
  add    %ecx,%edx
  mov    %edi,%ecx
  rol    $0x4,%edx
  add    %esi,%edx
  xor    %esi,%ecx
  xor    %edx,%ecx
  add    %eax,%ecx
  lea    0x1fa27cf8(%r10,%rdi,1),%eax
  mov    %esi,%edi
  rol    $0xb,%ecx
  xor    %edx,%edi
  add    %edx,%ecx
  xor    %ecx,%edi
  add    %eax,%edi
  mov    -0x28(%rsp),%eax
  rol    $0x10,%edi
  lea    -0x3b53a99b(%rax,%rsi,1),%esi
  mov    %edx,%eax
  add    %ecx,%edi
  xor    %ecx,%eax
  xor    %edi,%eax
  add    %esi,%eax
  lea    -0xbd6ddbc(%r14,%rdx,1),%esi
  mov    %ecx,%edx
  mov    -0x24(%rsp),%r14d
  ror    $0x9,%eax
  not    %edx
  add    %edi,%eax
  or     %eax,%edx
  xor    %edi,%edx
  add    %esi,%edx
  lea    0x432aff97(%r13,%rcx,1),%esi
  mov    %edi,%ecx
  rol    $0x6,%edx
  not    %ecx
  lea    -0x546bdc59(%r12,%rdi,1),%edi
  add    %eax,%edx
  or     %edx,%ecx
  xor    %eax,%ecx
  add    %esi,%ecx
  mov    %eax,%esi
  rol    $0xa,%ecx
  not    %esi
  add    %edx,%ecx
  or     %ecx,%esi
  xor    %edx,%esi
  add    %edi,%esi
  lea    -0x36c5fc7(%rbp,%rax,1),%edi
  mov    %edx,%ebp
  rol    $0xf,%esi
  not    %ebp
  add    %ecx,%esi
  mov    %ebp,%eax
  mov    %ecx,%ebp
  or     %esi,%eax
  not    %ebp
  xor    %ecx,%eax
  add    %edi,%eax
  lea    0x655b59c3(%rbx,%rdx,1),%edi
  mov    %ebp,%edx
  mov    -0x28(%rsp),%ebx
  ror    $0xb,%eax
  add    %esi,%eax
  or     %eax,%edx
  xor    %esi,%edx
  add    %edi,%edx
  lea    -0x70f3336e(%r14,%rcx,1),%edi
  mov    %esi,%ecx
  mov    -0x1c(%rsp),%r14d
  rol    $0x6,%edx
  not    %ecx
  add    %eax,%edx
  or     %edx,%ecx
  mov    %edx,%ebp
  xor    %eax,%ecx
  not    %ebp
  add    %edi,%ecx
  lea    -0x100b83(%r11,%rsi,1),%edi
  mov    %eax,%esi
  mov    -0x18(%rsp),%r11d
  rol    $0xa,%ecx
  not    %esi
  add    %edx,%ecx
  or     %ecx,%esi
  xor    %edx,%esi
  add    %edi,%esi
  mov    -0x2c(%rsp),%edi
  rol    $0xf,%esi
  add    %ecx,%esi
  lea    -0x7a7ba22f(%rdi,%rax,1),%edi
  mov    %ebp,%eax
  or     %esi,%eax
  xor    %ecx,%eax
  add    %edi,%eax
  lea    0x6fa87e4f(%r11,%rdx,1),%edi
  mov    %ecx,%r11d
  ror    $0xb,%eax
  not    %r11d
  add    %esi,%eax
  mov    %r11d,%edx
  or     %eax,%edx
  xor    %esi,%edx
  add    %edi,%edx
  lea    -0x1d31920(%r10,%rcx,1),%edi
  mov    %esi,%ecx
  mov    -0x20(%rsp),%r10d
  rol    $0x6,%edx
  not    %ecx
  add    %eax,%edx
  or     %edx,%ecx
  mov    %edx,%r11d
  xor    %eax,%ecx
  not    %r11d
  add    %edi,%ecx
  lea    -0x5cfebcec(%r14,%rsi,1),%edi
  mov    %eax,%esi
  mov    -0x10(%rsp),%r14d
  rol    $0xa,%ecx
  not    %esi
  lea    0x4e0811a1(%r9,%rax,1),%eax
  add    %edx,%ecx
  or     %ecx,%esi
  xor    %edx,%esi
  lea    -0x8ac817e(%r10,%rdx,1),%edx
  add    %edi,%esi
  mov    %r11d,%edi
  mov    %ecx,%r11d
  rol    $0xf,%esi
  not    %r11d
  add    %ecx,%esi
  or     %esi,%edi
  xor    %ecx,%edi
  lea    -0x42c50dcb(%r14,%rcx,1),%ecx
  add    %eax,%edi
  mov    %r11d,%eax
  ror    $0xb,%edi
  add    %esi,%edi
  or     %edi,%eax
  xor    %esi,%eax
  add    %edx,%eax
  mov    %esi,%edx
  lea    0x2ad7d2bb(%rbx,%rsi,1),%esi
  mov    -0x14(%rsp),%ebx
  rol    $0x6,%eax
  not    %edx
  add    %edi,%eax
  or     %eax,%edx
  xor    %edi,%edx
  add    %ecx,%edx
  mov    %edi,%ecx
  lea    -0x14792c6f(%rbx,%rdi,1),%edi
  pop    %rbx
  rol    $0xa,%edx
  not    %ecx
  pop    %rbp
  pop    %r12
  add    %eax,%edx
  pop    %r13
  pop    %r14
  or     %edx,%ecx
  xor    %eax,%ecx
  add    %esi,%ecx
  mov    %eax,%esi
  add    (%r8),%eax
  rol    $0xf,%ecx
  not    %esi
  movd   %eax,%xmm1
  add    %edx,%ecx
  or     %ecx,%esi
  xor    %edx,%esi
  add    %edi,%esi
  mov    %esi,%eax
  lea    (%r15,%rcx,1),%esi
  pop    %r15
  ror    $0xb,%eax
  add    %esi,%eax
  add    0x8(%r8),%ecx
  add    0xc(%r8),%edx
  movd   %ecx,%xmm0
  movd   %edx,%xmm2
  movd   %eax,%xmm3
  punpckldq %xmm2,%xmm0
  punpckldq %xmm3,%xmm1
  punpcklqdq %xmm0,%xmm1
  movups %xmm1,(%r8)
  ret
```

assistant: ```c
void MD5Transform(unsigned int buf[4], unsigned int const in[16]) {
  register unsigned int a, b, c, d;
  a = buf[0];
  b = buf[1];
  c = buf[2];
  d = buf[3];
  do {
    a += (d ^ (b & (c ^ d))) + in[0] + 0xd76aa478;
    a = (a << 7) | (a >> (32 - 7));
    a += b;
  } while (0);
  do {
    d += (c ^ (a & (b ^ c))) + in[1] + 0xe8c7b756;
    d = (d << 12) | (d >> (32 - 12));
    d += a;
  } while (0);
  do {
    c += (b ^ (d & (a ^ b))) + in[2] + 0x242070db;
    c = (c << 17) | (c >> (32 - 17));
    c += d;
  } while (0);
  do {
    b += (a ^ (c & (d ^ a))) + in[3] + 0xc1bdceee;
    b = (b << 22) | (b >> (32 - 22));
    b += c;
  } while (0);
  do {
    a += (d ^ (b & (c ^ d))) + in[4] + 0xf57c0faf;
    a = (a << 7) | (a >> (32 - 7));
    a += b;
  } while (0);
  do {
    d += (c ^ (a & (b ^ c))) + in[5] + 0x4787c62a;
    d = (d << 12) | (d >> (32 - 12));
    d += a;
  } while (0);
  do {
    c += (b ^ (d & (a ^ b))) + in[6] + 0xa8304613;
    c = (c << 17) | (c >> (32 - 17));
    c += d;
  } while (0);
  do {
    b += (a ^ (c & (d ^ a))) + in[7] + 0xfd469501;
    b = (b << 22) | (b >> (32 - 22));
    b += c;
  } while (0);
  do {
    a += (d ^ (b & (c ^ d))) + in[8] + 0x698098d8;
    a = (a << 7) | (a >> (32 - 7));
    a += b;
  } while (0);
  do {
    d += (c ^ (a & (b ^ c))) + in[9] + 0x8b44f7af;
    d = (d << 12) | (d >> (32 - 12));
    d += a;
  } while (0);
  do {
    c += (b ^ (d & (a ^ b))) + in[10] + 0xffff5bb1;
    c = (c << 17) | (c >> (32 - 17));
    c += d;
  } while (0);
  do {
    b += (a ^ (c & (d ^ a))) + in[11] + 0x895cd7be;
    b = (b << 22) | (b >> (32 - 22));
    b += c;
  } while (0);
  do {
    a += (d ^ (b & (c ^ d))) + in[12] + 0x6b901122;
    a = (a << 7) | (a >> (32 - 7));
    a += b;
  } while (0);
  do {
    d += (c ^ (a & (b ^ c))) + in[13] + 0xfd987193;
    d = (d << 12) | (d >> (32 - 12));
    d += a;
  } while (0);
  do {
    c += (b ^ (d & (a ^ b))) + in[14] + 0xa679438e;
    c = (c << 17) | (c >> (32 - 17));
    c += d;
  } while (0);
  do {
    b += (a ^ (c & (d ^ a))) + in[15] + 0x49b40821;
    b = (b << 22) | (b >> (32 - 22));
    b += c;
  } while (0);
  do {
    a += (c ^ (d & (b ^ c))) + in[1] + 0xf61e2562;
    a = (a << 5) | (a >> (32 - 5));
    a += b;
  } while (0);
  do {
    d += (b ^ (c & (a ^ b))) + in[6] + 0xc040b340;
    d = (d << 9) | (d >> (32 - 9));
    d += a;
  } while (0);
  do {
    c += (a ^ (b & (d ^ a))) + in[11] + 0x265e5a51;
    c = (c << 14) | (c >> (32 - 14));
    c += d;
  } while (0);
  do {
    b += (d ^ (a & (c ^ d))) + in[0] + 0xe9b6c7aa;
    b = (b << 20) | (b >> (32 - 20));
    b += c;
  } while (0);
  do {
    a += (c ^ (d & (b ^ c))) + in[5] + 0xd62f105d;
    a = (a << 5) | (a >> (32 - 5));
    a += b;
  } while (0);
  do {
    d += (b ^ (c & (a ^ b))) + in[10] + 0x02441453;
    d = (d << 9) | (d >> (32 - 9));
    d += a;
  } while (0);
  do {
    c += (a ^ (b & (d ^ a))) + in[15] + 0xd8a1e681;
    c = (c << 14) | (c >> (32 - 14));
    c += d;
  } while (0);
  do {
    b += (d ^ (a & (c ^ d))) + in[4] + 0xe7d3fbc8;
    b = (b << 20) | (b >> (32 - 20));
    b += c;
  } while (0);
  do {
    a += (c ^ (d & (b ^ c))) + in[9] + 0x21e1cde6;
    a = (a << 5) | (a >> (32 - 5));
    a += b;
  } while (0);
  do {
    d += (b ^ (c & (a ^ b))) + in[14] + 0xc33707d6;
    d = (d << 9) | (d >> (32 - 9));
    d += a;
  } while (0);
  do {
    c += (a ^ (b & (d ^ a))) + in[3] + 0xf4d50d87;
    c = (c << 14) | (c >> (32 - 14));
    c += d;
  } while (0);
  do {
    b += (d ^ (a & (c ^ d))) + in[8] + 0x455a14ed;
    b = (b << 20) | (b >> (32 - 20));
    b += c;
  } while (0);
  do {
    a += (c ^ (d & (b ^ c))) + in[13] + 0xa9e3e905;
    a = (a << 5) | (a >> (32 - 5));
    a += b;
  } while (0);
  do {
    d += (b ^ (c & (a ^ b))) + in[2] + 0xfcefa3f8;
    d = (d << 9) | (d >> (32 - 9));
    d += a;
  } while (0);
  do {
    c += (a ^ (b & (d ^ a))) + in[7] + 0x676f02d9;
    c = (c << 14) | (c >> (32 - 14));
    c += d;
  } while (0);
  do {
    b += (d ^ (a & (c ^ d))) + in[12] + 0x8d2a4c8a;
    b = (b << 20) | (b >> (32 - 20));
    b += c;
  } while (0);
  do {
    a += (b ^ c ^ d) + in[5] + 0xfffa3942;
    a = (a << 4) | (a >> (32 - 4));
    a += b;
  } while (0);
  do {
    d += (a ^ b ^ c) + in[8] + 0x8771f681;
    d = (d << 11) | (d >> (32 - 11));
    d += a;
  } while (0);
  do {
    c += (d ^ a ^ b) + in[11] + 0x6d9d6122;
    c = (c << 16) | (c >> (32 - 16));
    c += d;
  } while (0);
  do {
    b += (c ^ d ^ a) + in[14] + 0xfde5380c;
    b = (b << 23) | (b >> (32 - 23));
    b += c;
  } while (0);
  do {
    a += (b ^ c ^ d) + in[1] + 0xa4beea44;
    a = (a << 4) | (a >> (32 - 4));
    a += b;
  } while (0);
  do {
    d += (a ^ b ^ c) + in[4] + 0x4bdecfa9;
    d = (d << 11) | (d >> (32 - 11));
    d += a;
  } while (0);
  do {
    c += (d ^ a ^ b) + in[7] + 0xf6bb4b60;
    c = (c << 16) | (c >> (32 - 16));
    c += d;
  } while (0);
  do {
    b += (c ^ d ^ a) + in[10] + 0xbebfbc70;
    b = (b << 23) | (b >> (32 - 23));
    b += c;
  } while (0);
  do {
    a += (b ^ c ^ d) + in[13] + 0x289b7ec6;
    a = (a << 4) | (a >> (32 - 4));
    a += b;
  } while (0);
  do {
    d += (a ^ b ^ c) + in[0] + 0xeaa127fa;
    d = (d << 11) | (d >> (32 - 11));
    d += a;
  } while (0);
  do {
    c += (d ^ a ^ b) + in[3] + 0xd4ef3085;
    c = (c << 16) | (c >> (32 - 16));
    c += d;
  } while (0);
  do {
    b += (c ^ d ^ a) + in[6] + 0x04881d05;
    b = (b << 23) | (b >> (32 - 23));
    b += c;
  } while (0);
  do {
    a += (b ^ c ^ d) + in[9] + 0xd9d4d039;
    a = (a << 4) | (a >> (32 - 4));
    a += b;
  } while (0);
  do {
    d += (a ^ b ^ c) + in[12] + 0xe6db99e5;
    d = (d << 11) | (d >> (32 - 11));
    d += a;
  } while (0);
  do {
    c += (d ^ a ^ b) + in[15] + 0x1fa27cf8;
    c = (c << 16) | (c >> (32 - 16));
    c += d;
  } while (0);
  do {
    b += (c ^ d ^ a) + in[2] + 0xc4ac5665;
    b = (b << 23) | (b >> (32 - 23));
    b += c;
  } while (0);
  do {
    a += (c ^ (b | ~d)) + in[0] + 0xf4292244;
    a = (a << 6) | (a >> (32 - 6));
    a += b;
  } while (0);
  do {
    d += (b ^ (a | ~c)) + in[7] + 0x432aff97;
    d = (d << 10) | (d >> (32 - 10));
    d += a;
  } while (0);
  do {
    c += (a ^ (d | ~b)) + in[14] + 0xab9423a7;
    c = (c << 15) | (c >> (32 - 15));
    c += d;
  } while (0);
  do {
    b += (d ^ (c | ~a)) + in[5] + 0xfc93a039;
    b = (b << 21) | (b >> (32 - 21));
    b += c;
  } while (0);
  do {
    a += (c ^ (b | ~d)) + in[12] + 0x655b59c3;
    a = (a << 6) | (a >> (32 - 6));
    a += b;
  } while (0);
  do {
    d += (b ^ (a | ~c)) + in[3] + 0x8f0ccc92;
    d = (d << 10) | (d >> (32 - 10));
    d += a;
  } while (0);
  do {
    c += (a ^ (d | ~b)) + in[10] + 0xffeff47d;
    c = (c << 15) | (c >> (32 - 15));
    c += d;
  } while (0);
  do {
    b += (d ^ (c | ~a)) + in[1] + 0x85845dd1;
    b = (b << 21) | (b >> (32 - 21));
    b += c;
  } while (0);
  do {
    a += (c ^ (b | ~d)) + in[8] + 0x6fa87e4f;
    a = (a << 6) | (a >> (32 - 6));
    a += b;
  } while (0);
  do {
    d += (b ^ (a | ~c)) + in[15] + 0xfe2ce6e0;
    d = (d << 10) | (d >> (32 - 10));
    d += a;
  } while (0);
  do {
    c += (a ^ (d | ~b)) + in[6] + 0xa3014314;
    c = (c << 15) | (c >> (32 - 15));
    c += d;
  } while (0);
  do {
    b += (d ^ (c | ~a)) + in[13] + 0x4e0811a1;
    b = (b << 21) | (b >> (32 - 21));
    b += c;
  } while (0);
  do {
    a += (c ^ (b | ~d)) + in[4] + 0xf7537e82;
    a = (a << 6) | (a >> (32 - 6));
    a += b;
  } while (0);
  do {
    d += (b ^ (a | ~c)) + in[11] + 0xbd3af235;
    d = (d << 10) | (d >> (32 - 10));
    d += a;
  } while (0);
  do {
    c += (a ^ (d | ~b)) + in[2] + 0x2ad7d2bb;
    c = (c << 15) | (c >> (32 - 15));
    c += d;
  } while (0);
  do {
    b += (d ^ (c | ~a)) + in[9] + 0xeb86d391;
    b = (b << 21) | (b >> (32 - 21));
    b += c;
  } while (0);
  buf[0] += a;
  buf[1] += b;
  buf[2] += c;
  buf[3] += d;
}
```