user: Converte this assembly snippet into its equivalent C code:

```asm
<round_f_inverse>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %rbx
  sub    $0x48,%rsp
  mov    %rdi,-0x38(%rbp)
  mov    %rsi,-0x40(%rbp)
  mov    %rdx,-0x48(%rbp)
  mov    -0x38(%rbp),%rax
  mov    %rax,-0x30(%rbp)
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x40(%rbp),%rax
  mov    %rax,-0x20(%rbp)
  mov    -0x40(%rbp),%rax
  add    $0x4,%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x40(%rbp),%rax
  mov    (%rax),%ebx
  mov    -0x40(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <rot32l8@plt>
  xor    %eax,%ebx
  mov    -0x40(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <rot32r8@plt>
  xor    %eax,%ebx
  mov    %ebx,%edx
  mov    -0x38(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x38(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x28(%rbp),%rdx
  mov    -0x30(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <speckey_inverse@plt>
  mov    -0x48(%rbp),%rax
  add    $0x2c,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x38(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x38(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x28(%rbp),%rdx
  mov    -0x30(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <speckey_inverse@plt>
  mov    -0x48(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x38(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x38(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x28(%rbp),%rdx
  mov    -0x30(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <speckey_inverse@plt>
  mov    -0x48(%rbp),%rax
  add    $0x24,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x38(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x38(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x18(%rbp),%rdx
  mov    -0x20(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <speckey_inverse@plt>
  mov    -0x48(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x40(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x40(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x18(%rbp),%rdx
  mov    -0x20(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <speckey_inverse@plt>
  mov    -0x48(%rbp),%rax
  add    $0x1c,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x40(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x40(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x18(%rbp),%rdx
  mov    -0x20(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <speckey_inverse@plt>
  mov    -0x48(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x40(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x40(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x38(%rbp),%rax
  mov    (%rax),%ebx
  mov    -0x38(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <rot32l8@plt>
  xor    %eax,%ebx
  mov    -0x38(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <rot32r8@plt>
  xor    %eax,%ebx
  mov    %ebx,%edx
  mov    -0x40(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x40(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x18(%rbp),%rdx
  mov    -0x20(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <speckey_inverse@plt>
  mov    -0x48(%rbp),%rax
  add    $0x14,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x40(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x40(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x18(%rbp),%rdx
  mov    -0x20(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <speckey_inverse@plt>
  mov    -0x48(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x40(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x40(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x18(%rbp),%rdx
  mov    -0x20(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <speckey_inverse@plt>
  mov    -0x48(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x40(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x40(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x28(%rbp),%rdx
  mov    -0x30(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <speckey_inverse@plt>
  mov    -0x48(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x38(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x38(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x28(%rbp),%rdx
  mov    -0x30(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <speckey_inverse@plt>
  mov    -0x48(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x38(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x38(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x28(%rbp),%rdx
  mov    -0x30(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <speckey_inverse@plt>
  mov    -0x48(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  mov    %eax,%edx
  mov    -0x38(%rbp),%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x38(%rbp),%rax
  mov    %edx,(%rax)
  nop
  mov    -0x8(%rbp),%rbx
  leave
  ret
```

assistant: ```c
void round_f_inverse(uint32_t *left, uint32_t *right, uint32_t *roundKeys) {
  uint16_t *b0_l = (uint16_t *)left;
  uint16_t *b0_r = (uint16_t *)left + 1;
  uint16_t *b1_l = (uint16_t *)right;
  uint16_t *b1_r = (uint16_t *)right + 1;
  *left ^= *right ^ rot32l8(*right) ^ rot32r8(*right);
  speckey_inverse(b0_l, b0_r);
  *left ^= READ_ROUND_KEY_DOUBLE_WORD(roundKeys[11]);
  speckey_inverse(b0_l, b0_r);
  *left ^= READ_ROUND_KEY_DOUBLE_WORD(roundKeys[10]);
  speckey_inverse(b0_l, b0_r);
  *left ^= READ_ROUND_KEY_DOUBLE_WORD(roundKeys[9]);
  speckey_inverse(b1_l, b1_r);
  *right ^= READ_ROUND_KEY_DOUBLE_WORD(roundKeys[8]);
  speckey_inverse(b1_l, b1_r);
  *right ^= READ_ROUND_KEY_DOUBLE_WORD(roundKeys[7]);
  speckey_inverse(b1_l, b1_r);
  *right ^= READ_ROUND_KEY_DOUBLE_WORD(roundKeys[6]);
  *right ^= *left ^ rot32l8(*left) ^ rot32r8(*left);
  speckey_inverse(b1_l, b1_r);
  *right ^= READ_ROUND_KEY_DOUBLE_WORD(roundKeys[5]);
  speckey_inverse(b1_l, b1_r);
  *right ^= READ_ROUND_KEY_DOUBLE_WORD(roundKeys[4]);
  speckey_inverse(b1_l, b1_r);
  *right ^= READ_ROUND_KEY_DOUBLE_WORD(roundKeys[3]);
  speckey_inverse(b0_l, b0_r);
  *left ^= READ_ROUND_KEY_DOUBLE_WORD(roundKeys[2]);
  speckey_inverse(b0_l, b0_r);
  *left ^= READ_ROUND_KEY_DOUBLE_WORD(roundKeys[1]);
  speckey_inverse(b0_l, b0_r);
  *left ^= READ_ROUND_KEY_DOUBLE_WORD(roundKeys[0]);
}
```