user: What would the C source look like for the assembly code provided here?

```asm
<Encrypt>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x50,%rsp
  mov    %rdi,-0x48(%rbp)
  mov    %rsi,-0x50(%rbp)
  mov    -0x48(%rbp),%rax
  mov    %rax,-0x8(%rbp)
  mov    -0x50(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x8(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x8(%rbp),%rax
  mov    0x4(%rax),%eax
  mov    %eax,-0x34(%rbp)
  mov    -0x8(%rbp),%rax
  mov    0x8(%rax),%eax
  mov    %eax,-0x30(%rbp)
  mov    -0x8(%rbp),%rax
  mov    0xc(%rax),%eax
  mov    %eax,-0x2c(%rbp)
  mov    -0x10(%rbp),%rax
  lea    0x4(%rax),%rdx
  mov    %rdx,-0x10(%rbp)
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_WORD@plt>
  mov    %eax,-0x28(%rbp)
  movl   $0x0,-0x24(%rbp)
  jmp    L4
L2:
  mov    -0x10(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,-0x20(%rbp)
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_WORD@plt>
  mov    %eax,-0x1c(%rbp)
  mov    -0x20(%rbp),%eax
  xor    %eax,-0x38(%rbp)
  mov    -0x28(%rbp),%eax
  shl    $0x8,%eax
  mov    %eax,%edx
  mov    -0x20(%rbp),%eax
  sar    $0x10,%eax
  movzbl %al,%eax
  or     %edx,%eax
  xor    %eax,-0x34(%rbp)
  mov    -0x28(%rbp),%eax
  and    $0xff00,%eax
  mov    %eax,%edx
  mov    -0x20(%rbp),%eax
  sar    $0x18,%eax
  or     %edx,%eax
  xor    %eax,-0x30(%rbp)
  mov    -0x1c(%rbp),%eax
  xor    %eax,-0x2c(%rbp)
  addq   $0xc,-0x10(%rbp)
  mov    -0x1c(%rbp),%eax
  and    $0xff00,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%eax
  sar    $0x8,%eax
  or     %edx,%eax
  mov    %eax,-0x28(%rbp)
  mov    -0x30(%rbp),%eax
  mov    %eax,-0x18(%rbp)
  mov    -0x34(%rbp),%eax
  xor    %eax,-0x30(%rbp)
  notl   -0x34(%rbp)
  mov    -0x38(%rbp),%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x34(%rbp),%eax
  and    %eax,-0x38(%rbp)
  mov    -0x2c(%rbp),%eax
  or     %eax,-0x34(%rbp)
  mov    -0x14(%rbp),%eax
  xor    %eax,-0x34(%rbp)
  mov    -0x18(%rbp),%eax
  xor    %eax,-0x2c(%rbp)
  mov    -0x2c(%rbp),%eax
  xor    %eax,-0x38(%rbp)
  mov    -0x34(%rbp),%eax
  and    %eax,-0x2c(%rbp)
  mov    -0x30(%rbp),%eax
  xor    %eax,-0x2c(%rbp)
  mov    -0x38(%rbp),%eax
  or     %eax,-0x30(%rbp)
  mov    -0x34(%rbp),%eax
  xor    %eax,-0x30(%rbp)
  mov    -0x18(%rbp),%eax
  xor    %eax,-0x34(%rbp)
  mov    -0x34(%rbp),%eax
  lea    (%rax,%rax,1),%edx
  mov    -0x34(%rbp),%eax
  sar    $0xf,%eax
  or     %edx,%eax
  mov    %eax,-0x34(%rbp)
  mov    -0x30(%rbp),%eax
  shl    $0xc,%eax
  mov    %eax,%edx
  mov    -0x30(%rbp),%eax
  sar    $0x4,%eax
  or     %edx,%eax
  mov    %eax,-0x30(%rbp)
  mov    -0x2c(%rbp),%eax
  shl    $0xd,%eax
  mov    %eax,%edx
  mov    -0x2c(%rbp),%eax
  sar    $0x3,%eax
  or     %edx,%eax
  mov    %eax,-0x2c(%rbp)
  addl   $0x1,-0x24(%rbp)
L4:
  cmpl   $0x18,-0x24(%rbp)
  jle    L2
  mov    -0x10(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,-0x20(%rbp)
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_WORD@plt>
  mov    %eax,-0x1c(%rbp)
  mov    -0x20(%rbp),%eax
  xor    %eax,-0x38(%rbp)
  mov    -0x28(%rbp),%eax
  shl    $0x8,%eax
  mov    %eax,%edx
  mov    -0x20(%rbp),%eax
  sar    $0x10,%eax
  movzbl %al,%eax
  or     %edx,%eax
  xor    %eax,-0x34(%rbp)
  mov    -0x28(%rbp),%eax
  and    $0xff00,%eax
  mov    %eax,%edx
  mov    -0x20(%rbp),%eax
  sar    $0x18,%eax
  or     %edx,%eax
  xor    %eax,-0x30(%rbp)
  mov    -0x1c(%rbp),%eax
  xor    %eax,-0x2c(%rbp)
  mov    -0x8(%rbp),%rax
  mov    -0x38(%rbp),%edx
  mov    %edx,(%rax)
  mov    -0x8(%rbp),%rax
  lea    0x4(%rax),%rdx
  mov    -0x34(%rbp),%eax
  mov    %eax,(%rdx)
  mov    -0x8(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    -0x30(%rbp),%eax
  mov    %eax,(%rdx)
  mov    -0x8(%rbp),%rax
  lea    0xc(%rax),%rdx
  mov    -0x2c(%rbp),%eax
  mov    %eax,(%rdx)
  nop
  leave
  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 ^= ((uint16_t)k12);
    w1 ^= ((k0 << 8) | (((uint16_t)(k12 >> 16)) & 0x00ff));
    w2 ^= ((k0 & 0xff00) | ((uint16_t)(k12 >> 24)));
    w3 ^= k3;
    roundKeys16 += 3;
    k0 = ((k3 & 0xff00) | (k0 >> 8));
    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 ^= ((uint16_t)k12);
  w1 ^= ((k0 << 8) | (((uint16_t)(k12 >> 16)) & 0x00ff));
  w2 ^= ((k0 & 0xff00) | ((uint16_t)(k12 >> 24)));
  w3 ^= k3;
  *block16 = w0;
  *(block16 + 1) = w1;
  *(block16 + 2) = w2;
  *(block16 + 3) = w3;
}
```