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

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

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