user: Please show me the C implementation that matches the assembly code listed below:

```asm
<MD5Transform>:
  endbr64
  push   %r15
  mov    $0x40,%edx
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %rdi,%rbx
  sub    $0x128,%rsp
  mov    0x8(%rdi),%r12d
  mov    0x4(%rdi),%ebp
  mov    %fs:0x28,%rax
  mov    %rax,0x118(%rsp)
  xor    %eax,%eax
  mov    0xc(%rdi),%r13d
  mov    (%rdi),%r15d
  lea    0x10(%rsp),%rdi
  call   <MD5Decode@plt>
  mov    %r12d,%eax
  mov    0x10(%rsp),%r14d
  mov    0x14(%rsp),%edi
  xor    %r13d,%eax
  mov    0x3c(%rsp),%r8d
  mov    0x40(%rsp),%r11d
  and    %ebp,%eax
  mov    0x44(%rsp),%r9d
  mov    0x4c(%rsp),%r10d
  lea    -0x28955b88(%r14,%r15,1),%edx
  xor    %r13d,%eax
  lea    -0x173848aa(%rdi,%r13,1),%ecx
  mov    0x18(%rsp),%edi
  mov    0x2c(%rsp),%r13d
  add    %edx,%eax
  mov    %ebp,%edx
  mov    0x34(%rsp),%r15d
  rol    $0x7,%eax
  xor    %r12d,%edx
  lea    0x242070db(%rdi,%r12,1),%esi
  mov    0x1c(%rsp),%edi
  add    %ebp,%eax
  and    %eax,%edx
  lea    -0x3e423112(%rdi,%rbp,1),%edi
  xor    %r12d,%edx
  mov    0x48(%rsp),%r12d
  add    %ecx,%edx
  mov    %ebp,%ecx
  rol    $0xc,%edx
  xor    %eax,%ecx
  add    %eax,%edx
  and    %edx,%ecx
  xor    %ebp,%ecx
  mov    0x24(%rsp),%ebp
  add    %esi,%ecx
  mov    %eax,%esi
  ror    $0xf,%ecx
  xor    %edx,%esi
  add    %edx,%ecx
  and    %ecx,%esi
  xor    %eax,%esi
  add    %edi,%esi
  mov    0x20(%rsp),%edi
  ror    $0xa,%esi
  lea    -0xa83f051(%rdi,%rax,1),%edi
  mov    %edx,%eax
  add    %ecx,%esi
  xor    %ecx,%eax
  and    %esi,%eax
  xor    %edx,%eax
  add    %edi,%eax
  lea    0x4787c62a(%rbp,%rdx,1),%edi
  mov    %ecx,%edx
  rol    $0x7,%eax
  add    %esi,%eax
  xor    %esi,%edx
  and    %eax,%edx
  xor    %ecx,%edx
  add    %edi,%edx
  mov    0x28(%rsp),%edi
  rol    $0xc,%edx
  lea    -0x57cfb9ed(%rdi,%rcx,1),%edi
  mov    %esi,%ecx
  add    %eax,%edx
  xor    %eax,%ecx
  and    %edx,%ecx
  xor    %esi,%ecx
  add    %edi,%ecx
  lea    -0x2b96aff(%r13,%rsi,1),%edi
  mov    %eax,%esi
  ror    $0xf,%ecx
  xor    %edx,%esi
  add    %edx,%ecx
  and    %ecx,%esi
  xor    %eax,%esi
  add    %edi,%esi
  mov    0x30(%rsp),%edi
  ror    $0xa,%esi
  lea    0x698098d8(%rdi,%rax,1),%edi
  mov    %edx,%eax
  add    %ecx,%esi
  xor    %ecx,%eax
  and    %esi,%eax
  xor    %edx,%eax
  add    %edi,%eax
  lea    -0x74bb0851(%r15,%rdx,1),%edi
  mov    %ecx,%edx
  rol    $0x7,%eax
  xor    %esi,%edx
  add    %esi,%eax
  and    %eax,%edx
  xor    %ecx,%edx
  add    %edi,%edx
  mov    0x38(%rsp),%edi
  rol    $0xc,%edx
  lea    -0xa44f(%rdi,%rcx,1),%edi
  mov    %esi,%ecx
  add    %eax,%edx
  xor    %eax,%ecx
  and    %edx,%ecx
  xor    %esi,%ecx
  add    %edi,%ecx
  lea    -0x76a32842(%r8,%rsi,1),%edi
  mov    %eax,%esi
  ror    $0xf,%ecx
  xor    %edx,%esi
  add    %edx,%ecx
  and    %ecx,%esi
  xor    %eax,%esi
  add    %edi,%esi
  lea    0x6b901122(%r11,%rax,1),%edi
  mov    %edx,%eax
  ror    $0xa,%esi
  xor    %ecx,%eax
  add    %ecx,%esi
  and    %esi,%eax
  xor    %edx,%eax
  add    %edi,%eax
  lea    -0x2678e6d(%r9,%rdx,1),%edi
  mov    %ecx,%edx
  rol    $0x7,%eax
  xor    %esi,%edx
  add    %esi,%eax
  and    %eax,%edx
  xor    %ecx,%edx
  add    %edi,%edx
  lea    -0x5986bc72(%r12,%rcx,1),%edi
  mov    %esi,%ecx
  rol    $0xc,%edx
  xor    %eax,%ecx
  add    %eax,%edx
  and    %edx,%ecx
  xor    %esi,%ecx
  add    %edi,%ecx
  lea    0x49b40821(%r10,%rsi,1),%edi
  mov    %eax,%esi
  ror    $0xf,%ecx
  xor    %edx,%esi
  add    %edx,%ecx
  and    %ecx,%esi
  xor    %eax,%esi
  add    %edi,%esi
  mov    0x14(%rsp),%edi
  ror    $0xa,%esi
  add    %ecx,%esi
  lea    -0x9e1da9e(%rdi,%rax,1),%edi
  mov    %ecx,%eax
  xor    %esi,%eax
  and    %edx,%eax
  xor    %ecx,%eax
  add    %edi,%eax
  mov    0x28(%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
  lea    0x265e5a51(%r8,%rcx,1),%edi
  mov    %eax,%ecx
  rol    $0x9,%edx
  add    %eax,%edx
  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
  mov    0x38(%rsp),%edi
  rol    $0x5,%eax
  add    %esi,%eax
  lea    0x2441453(%rdi,%rdx,1),%edi
  mov    %esi,%edx
  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
  lea    0x21e1cde6(%r15,%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    -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    0x1c(%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    0x30(%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    0x18(%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(%r11,%rdi,1),%edi
  xor    %eax,%esi
  mov    %edi,0xc(%rsp)
  mov    %eax,%edi
  lea    -0x5c6be(%rbp,%rax,1),%eax
  add    %ecx,%esi
  mov    %edx,%ecx
  rol    $0xe,%esi
  add    %edx,%esi
  xor    %esi,%ecx
  and    %ecx,%edi
  xor    %edx,%edi
  add    0xc(%rsp),%edi
  ror    $0xc,%edi
  add    %esi,%edi
  xor    %edi,%ecx
  add    %eax,%ecx
  mov    0x30(%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
  lea    0x6d9d6122(%r8,%rsi,1),%eax
  mov    %edi,%esi
  rol    $0xb,%edx
  xor    %ecx,%esi
  lea    -0x21ac7f4(%r12,%rdi,1),%edi
  add    %ecx,%edx
  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    0x14(%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
  rol    $0xb,%edi
  add    %ecx,%edi
  xor    %ecx,%edx
  xor    %edi,%edx
  add    %esi,%edx
  mov    0x38(%rsp),%esi
  rol    $0x10,%edx
  lea    -0x41404390(%rsi,%rax,1),%eax
  mov    %ecx,%esi
  add    %edi,%edx
  xor    %edi,%esi
  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    0x1c(%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    0x28(%rsp),%edx
  rol    $0x10,%edi
  lea    0x4881d05(%rdx,%rsi,1),%edx
  mov    %ecx,%esi
  add    %eax,%edi
  xor    %eax,%esi
  lea    -0x262b2fc7(%r15,%rcx,1),%ecx
  xor    %edi,%esi
  add    %edx,%esi
  mov    %eax,%edx
  lea    -0x1924661b(%r11,%rax,1),%eax
  ror    $0x9,%esi
  xor    %edi,%edx
  add    %edi,%esi
  xor    %esi,%edx
  add    %ecx,%edx
  mov    %edi,%ecx
  rol    $0x4,%edx
  xor    %esi,%ecx
  add    %esi,%edx
  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    0x18(%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
  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,%eax
  rol    $0xf,%esi
  not    %eax
  add    %ecx,%esi
  or     %esi,%eax
  xor    %ecx,%eax
  add    %edi,%eax
  lea    0x655b59c3(%r11,%rdx,1),%edi
  mov    %ecx,%edx
  ror    $0xb,%eax
  not    %edx
  add    %esi,%eax
  or     %eax,%edx
  xor    %esi,%edx
  add    %edi,%edx
  mov    0x1c(%rsp),%edi
  rol    $0x6,%edx
  lea    -0x70f3336e(%rdi,%rcx,1),%edi
  mov    %esi,%ecx
  add    %eax,%edx
  not    %ecx
  or     %edx,%ecx
  xor    %eax,%ecx
  add    %edi,%ecx
  mov    0x38(%rsp),%edi
  rol    $0xa,%ecx
  lea    -0x100b83(%rdi,%rsi,1),%esi
  mov    %eax,%edi
  add    %edx,%ecx
  not    %edi
  mov    %ecx,%r11d
  or     %ecx,%edi
  not    %r11d
  xor    %edx,%edi
  add    %esi,%edi
  mov    0x14(%rsp),%esi
  rol    $0xf,%edi
  lea    -0x7a7ba22f(%rsi,%rax,1),%esi
  mov    %edx,%eax
  add    %ecx,%edi
  not    %eax
  or     %edi,%eax
  xor    %ecx,%eax
  add    %esi,%eax
  mov    0x30(%rsp),%esi
  ror    $0xb,%eax
  add    %edi,%eax
  lea    0x6fa87e4f(%rsi,%rdx,1),%edx
  mov    %edi,%esi
  or     %eax,%r11d
  not    %esi
  xor    %edi,%r11d
  add    %edx,%r11d
  lea    -0x1d31920(%r10,%rcx,1),%edx
  mov    0x28(%rsp),%ecx
  rol    $0x6,%r11d
  add    %eax,%r11d
  lea    -0x5cfebcec(%rcx,%rdi,1),%ecx
  or     %r11d,%esi
  xor    %eax,%esi
  add    %edx,%esi
  mov    %eax,%edx
  lea    0x4e0811a1(%r9,%rax,1),%eax
  rol    $0xa,%esi
  not    %edx
  add    %r11d,%esi
  or     %esi,%edx
  xor    %r11d,%edx
  add    %ecx,%edx
  mov    %r11d,%ecx
  rol    $0xf,%edx
  not    %ecx
  add    %esi,%edx
  or     %edx,%ecx
  xor    %esi,%ecx
  add    %eax,%ecx
  mov    0x20(%rsp),%eax
  ror    $0xb,%ecx
  lea    -0x8ac817e(%rax,%r11,1),%edi
  mov    %esi,%eax
  add    %edx,%ecx
  not    %eax
  or     %ecx,%eax
  xor    %edx,%eax
  add    %edi,%eax
  lea    -0x42c50dcb(%r8,%rsi,1),%edi
  mov    %edx,%esi
  rol    $0x6,%eax
  not    %esi
  add    %ecx,%eax
  or     %eax,%esi
  xor    %ecx,%esi
  add    %edi,%esi
  mov    0x18(%rsp),%edi
  rol    $0xa,%esi
  lea    0x2ad7d2bb(%rdi,%rdx,1),%edi
  mov    %ecx,%edx
  add    %eax,%esi
  not    %edx
  or     %esi,%edx
  xor    %eax,%edx
  add    %edi,%edx
  lea    -0x14792c6f(%r15,%rcx,1),%edi
  mov    %eax,%ecx
  rol    $0xf,%edx
  not    %ecx
  add    %esi,%edx
  or     %edx,%ecx
  xor    %esi,%ecx
  add    %edi,%ecx
  add    (%rbx),%eax
  mov    0x4(%rbx),%edi
  movd   %eax,%xmm1
  mov    %ecx,%eax
  add    0xc(%rbx),%esi
  add    %edx,%edi
  ror    $0xb,%eax
  add    0x8(%rbx),%edx
  movd   %esi,%xmm2
  add    %eax,%edi
  movd   %edx,%xmm0
  movd   %edi,%xmm3
  punpckldq %xmm2,%xmm0
  punpckldq %xmm3,%xmm1
  punpcklqdq %xmm0,%xmm1
  movups %xmm1,(%rbx)
  mov    0x118(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L4
  add    $0x128,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L4:
  call   <__stack_chk_fail@plt>
```

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