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

```asm
<Encrypt>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  lea    0x4(%rsi),%r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x28,%rsp
  mov    (%rdi),%r14d
  mov    0x4(%rdi),%r12d
  mov    0x8(%rdi),%ebp
  mov    0xc(%rdi),%ebx
  mov    %rdi,0x18(%rsp)
  mov    (%rsi),%edi
  mov    %rsi,0x10(%rsp)
  call   <READ_ROUND_KEY_WORD@plt>
  mov    0x10(%rsp),%rsi
  mov    %eax,%r15d
  lea    0x130(%rsi),%rax
  mov    %rax,0x8(%rsp)
  nopl   0x0(%rax,%rax,1)
L2:
  mov    0x0(%r13),%edi
  add    $0xc,%r13
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    -0x4(%r13),%edi
  mov    %r15d,(%rsp)
  mov    %eax,0x4(%rsp)
  call   <READ_ROUND_KEY_WORD@plt>
  mov    0x4(%rsp),%r11d
  mov    (%rsp),%edx
  mov    %eax,%r15d
  mov    %eax,%r9d
  mov    %edx,%esi
  mov    %r11d,%edi
  and    $0xff00,%r9d
  movzbl %r11b,%eax
  sar    $0x8,%edi
  shl    $0x8,%esi
  mov    %r15d,%r10d
  or     %r9d,%eax
  or     %edi,%esi
  mov    %r11d,%edi
  shl    $0x8,%r10d
  xor    %r14d,%eax
  sar    $0x10,%edi
  xor    %r12d,%esi
  sar    $0x18,%r11d
  and    $0xff00,%edx
  movzbl %dil,%edi
  or     %r11d,%edx
  mov    %esi,%r11d
  not    %esi
  or     %r10d,%edi
  xor    %ebx,%edx
  mov    %esi,%ebx
  xor    %ebp,%edi
  mov    %eax,%ebp
  or     %edx,%ebx
  and    %esi,%ebp
  xor    %edi,%r11d
  xor    %edi,%edx
  xor    %eax,%ebx
  mov    %ebp,%r14d
  mov    %r11d,%eax
  xor    %ebx,%edi
  xor    %edx,%r14d
  and    %ebx,%edx
  lea    (%rdi,%rdi,1),%r12d
  sar    $0xf,%edi
  or     %r14d,%eax
  xor    %r11d,%edx
  or     %edi,%r12d
  xor    %ebx,%eax
  mov    %edx,%ebx
  mov    %eax,%ebp
  shl    $0xc,%ebp
  sar    $0x4,%eax
  shl    $0xd,%ebx
  sar    $0x3,%edx
  or     %eax,%ebp
  or     %edx,%ebx
  cmp    %r13,0x8(%rsp)
  jne    L2
  mov    0x10(%rsp),%r15
  mov    %r10d,0x4(%rsp)
  mov    %r9d,(%rsp)
  mov    0x130(%r15),%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    0x138(%r15),%edi
  mov    %eax,%r13d
  call   <READ_ROUND_KEY_WORD@plt>
  movzbl %r13b,%ecx
  mov    0x4(%rsp),%r10d
  mov    (%rsp),%r9d
  mov    %eax,%edx
  and    $0xff00,%eax
  or     %ecx,%eax
  shl    $0x8,%edx
  xor    %r14d,%eax
  movd   %eax,%xmm0
  mov    %r13d,%eax
  sar    $0x8,%eax
  or     %r10d,%eax
  xor    %r12d,%eax
  mov    %eax,%ecx
  mov    %r13d,%eax
  sar    $0x18,%r13d
  sar    $0x10,%eax
  or     %r9d,%r13d
  movd   %ecx,%xmm3
  movzbl %al,%eax
  xor    %ebx,%r13d
  punpckldq %xmm3,%xmm0
  or     %edx,%eax
  movd   %r13d,%xmm2
  xor    %ebp,%eax
  movd   %eax,%xmm1
  mov    0x18(%rsp),%rax
  punpckldq %xmm2,%xmm1
  punpcklqdq %xmm1,%xmm0
  movups %xmm0,(%rax)
  add    $0x28,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

assistant: ```c
void Encrypt(uint8_t *block, uint8_t *roundKeys) {
  uint16_t *block16 = (uint16_t *)block;
  uint16_t *roundKeys16 = (uint16_t *)roundKeys;
  uint16_t w0 = *block16;
  uint16_t w1 = *(block16 + 1);
  uint16_t w2 = *(block16 + 2);
  uint16_t w3 = *(block16 + 3);
  uint16_t k0, k3;
  uint32_t k12;
  k0 = READ_ROUND_KEY_WORD(*(roundKeys16++));
  uint16_t sbox0, sbox1;
  uint8_t i;
  for (i = 0; i < 25; i++) {
    k12 = READ_ROUND_KEY_DOUBLE_WORD(*(uint32_t *)roundKeys16);
    k3 = READ_ROUND_KEY_WORD(*(roundKeys16 + 2));
    w0 ^= ((k3 & 0xff00) | (((uint16_t)k12) & 0x00ff));
    w1 ^= ((k0 << 8) | (((uint16_t)k12) >> 8));
    w2 ^= ((k3 << 8) | (((uint16_t)(k12 >> 16)) & 0x00ff));
    w3 ^= ((k0 & 0xff00) | ((uint16_t)(k12 >> 24)));
    roundKeys16 += 3;
    k0 = k3;
    sbox0 = w2;
    w2 ^= w1;
    w1 = ~w1;
    sbox1 = w0;
    w0 &= w1;
    w1 |= w3;
    w1 ^= sbox1;
    w3 ^= sbox0;
    w0 ^= w3;
    w3 &= w1;
    w3 ^= w2;
    w2 |= w0;
    w2 ^= w1;
    w1 ^= sbox0;
    w1 = (w1 << 1 | w1 >> 15);
    w2 = (w2 << 12 | w2 >> 4);
    w3 = (w3 << 13 | w3 >> 3);
  }
  k12 = READ_ROUND_KEY_DOUBLE_WORD(*(uint32_t *)roundKeys16);
  k3 = READ_ROUND_KEY_WORD(*(roundKeys16 + 2));
  w0 ^= ((k3 & 0xff00) | (((uint16_t)k12) & 0x00ff));
  w1 ^= ((k0 << 8) | (((uint16_t)k12) >> 8));
  w2 ^= ((k3 << 8) | (((uint16_t)(k12 >> 16)) & 0x00ff));
  w3 ^= ((k0 & 0xff00) | ((uint16_t)(k12 >> 24)));
  *block16 = w0;
  *(block16 + 1) = w1;
  *(block16 + 2) = w2;
  *(block16 + 3) = w3;
}
```