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

```asm
<Encrypt>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %rbx
  sub    $0x48,%rsp
  mov    %rdi,-0x48(%rbp)
  mov    %rsi,-0x50(%rbp)
  mov    -0x48(%rbp),%rax
  mov    %rax,-0x38(%rbp)
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  mov    %rax,-0x30(%rbp)
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  mov    %rax,-0x20(%rbp)
  mov    -0x50(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0xcc,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_WORD@plt>
  mov    %eax,%edx
  mov    -0x30(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x30(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xc8,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_WORD@plt>
  mov    %eax,%edx
  mov    -0x20(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x20(%rbp),%rax
  mov    %edx,(%rax)
  movl   $0x0,-0x3c(%rbp)
  jmp    L18
L5:
  mov    -0x28(%rbp),%rax
  mov    (%rax),%ebx
  mov    -0x20(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <F@plt>
  xor    %eax,%ebx
  mov    -0x3c(%rbp),%eax
  add    %eax,%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_WORD@plt>
  xor    %eax,%ebx
  mov    %ebx,%edx
  mov    -0x28(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x38(%rbp),%rax
  mov    (%rax),%ebx
  mov    -0x30(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <F@plt>
  xor    %eax,%ebx
  mov    -0x3c(%rbp),%eax
  add    %eax,%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_WORD@plt>
  xor    %eax,%ebx
  mov    %ebx,%edx
  mov    -0x38(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x38(%rbp),%rcx
  mov    -0x30(%rbp),%rdx
  mov    -0x28(%rbp),%rsi
  mov    -0x20(%rbp),%rax
  mov    %rax,%rdi
  call   <RP@plt>
  addl   $0x1,-0x3c(%rbp)
L18:
  cmpl   $0x17,-0x3c(%rbp)
  jle    L5
  mov    -0x28(%rbp),%rax
  mov    (%rax),%ebx
  mov    -0x20(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <F@plt>
  xor    %eax,%ebx
  mov    -0x18(%rbp),%rax
  add    $0xc0,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_WORD@plt>
  xor    %eax,%ebx
  mov    %ebx,%edx
  mov    -0x28(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x38(%rbp),%rax
  mov    (%rax),%ebx
  mov    -0x30(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <F@plt>
  xor    %eax,%ebx
  mov    -0x18(%rbp),%rax
  add    $0xc4,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_WORD@plt>
  xor    %eax,%ebx
  mov    %ebx,%edx
  mov    -0x38(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x18(%rbp),%rax
  add    $0xd0,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_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    $0xd4,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_WORD@plt>
  mov    %eax,%edx
  mov    -0x30(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x30(%rbp),%rax
  mov    %edx,(%rax)
  nop
  mov    -0x8(%rbp),%rbx
  leave
  ret
```

assistant: ```c
void Encrypt(uint8_t *block, uint8_t *roundKeys) {
  uint8_t i;
  uint16_t *x3 = (uint16_t *)block;
  uint16_t *x2 = x3 + 1;
  uint16_t *x1 = x3 + 2;
  uint16_t *x0 = x3 + 3;
  uint16_t *rk = (uint16_t *)roundKeys;
  *x2 ^= READ_ROUND_KEY_WORD(rk[51]);
  *x0 ^= READ_ROUND_KEY_WORD(rk[50]);
  for (i = 0; i < 25 - 1; ++i) {
    *x1 = *x1 ^ F(*x0) ^ READ_ROUND_KEY_WORD(rk[2 * i]);
    *x3 = *x3 ^ F(*x2) ^ READ_ROUND_KEY_WORD(rk[2 * i + 1]);
    RP(x0, x1, x2, x3);
  }
  *x1 = *x1 ^ F(*x0) ^ READ_ROUND_KEY_WORD(rk[2 * 25 - 2]);
  *x3 = *x3 ^ F(*x2) ^ READ_ROUND_KEY_WORD(rk[2 * 25 - 1]);
  *x0 ^= READ_ROUND_KEY_WORD(rk[52]);
  *x2 ^= READ_ROUND_KEY_WORD(rk[53]);
}
```