user: Translate the below assembly code into C programming language:

```asm
<Encrypt>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %rbx
  sub    $0x38,%rsp
  mov    %rdi,-0x38(%rbp)
  mov    %rsi,-0x40(%rbp)
  mov    -0x38(%rbp),%rax
  mov    %rax,-0x20(%rbp)
  mov    -0x40(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x20(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x20(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%ecx
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%ecx
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%ecx
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  movl   $0x0,-0x24(%rbp)
  jmp    L16
L14:
  mov    -0x20(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  add    %eax,%edx
  mov    -0x20(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  mov    -0x20(%rbp),%rdx
  lea    0x4(%rdx),%rbx
  mov    $0x5,%esi
  mov    %eax,%edi
  call   <rol@plt>
  mov    %eax,(%rbx)
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%ecx
  mov    -0x20(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x20(%rbp),%rax
  mov    (%rax),%eax
  mov    $0x10,%esi
  mov    %eax,%edi
  call   <rol@plt>
  mov    -0x20(%rbp),%rdx
  mov    %eax,(%rdx)
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%ecx
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%edx
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  add    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%eax
  mov    -0x20(%rbp),%rdx
  lea    0xc(%rdx),%rbx
  mov    $0x8,%esi
  mov    %eax,%edi
  call   <rol@plt>
  mov    %eax,(%rbx)
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%ecx
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%edx
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x20(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%eax
  add    %eax,%edx
  mov    -0x20(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%eax
  mov    -0x20(%rbp),%rdx
  lea    0xc(%rdx),%rbx
  mov    $0xd,%esi
  mov    %eax,%edi
  call   <rol@plt>
  mov    %eax,(%rbx)
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%ecx
  mov    -0x20(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%ecx
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  add    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  mov    -0x20(%rbp),%rdx
  lea    0x4(%rdx),%rbx
  mov    $0x7,%esi
  mov    %eax,%edi
  call   <rol@plt>
  mov    %eax,(%rbx)
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%ecx
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%edx
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  mov    -0x20(%rbp),%rdx
  lea    0x8(%rdx),%rbx
  mov    $0x10,%esi
  mov    %eax,%edi
  call   <rol@plt>
  mov    %eax,(%rbx)
  addl   $0x1,-0x24(%rbp)
L16:
  cmpl   $0xf,-0x24(%rbp)
  jle    L14
  mov    -0x18(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x20(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x20(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%ecx
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%ecx
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%ecx
  mov    -0x20(%rbp),%rax
  add    $0xc,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  nop
  mov    -0x8(%rbp),%rbx
  leave
  ret
```

assistant: ```c
void Encrypt(uint8_t *block, uint8_t *keyBytes) {
  uint32_t *v = (uint32_t *)block;
  uint32_t *k = (uint32_t *)keyBytes;
  uint8_t i;
  v[0] ^= READ_ROUND_KEY_DOUBLE_WORD(k[0]);
  v[1] ^= READ_ROUND_KEY_DOUBLE_WORD(k[1]);
  v[2] ^= READ_ROUND_KEY_DOUBLE_WORD(k[2]);
  v[3] ^= READ_ROUND_KEY_DOUBLE_WORD(k[3]);
  for (i = 0; i < 16; ++i) {
    v[0] += v[1];
    v[1] = rol(v[1], 5);
    v[1] ^= v[0];
    v[0] = rol(v[0], 16);
    v[2] += v[3];
    v[3] = rol(v[3], 8);
    v[3] ^= v[2];
    v[0] += v[3];
    v[3] = rol(v[3], 13);
    v[3] ^= v[0];
    v[2] += v[1];
    v[1] = rol(v[1], 7);
    v[1] ^= v[2];
    v[2] = rol(v[2], 16);
  }
  v[0] ^= READ_ROUND_KEY_DOUBLE_WORD(k[0]);
  v[1] ^= READ_ROUND_KEY_DOUBLE_WORD(k[1]);
  v[2] ^= READ_ROUND_KEY_DOUBLE_WORD(k[2]);
  v[3] ^= READ_ROUND_KEY_DOUBLE_WORD(k[3]);
}
```