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

```asm
<round_f_inverse>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x18,%rsp
  mov    %rdi,%rbx
  mov    %rsi,%rbp
  mov    %rdx,%r12
  lea    0x4(%rdi),%r14
  lea    0x4(%rsi),%r15
  mov    (%rsi),%r13d
  mov    %r13d,%edi
  call   <rot32l8@plt>
  mov    %eax,0xc(%rsp)
  mov    0x0(%rbp),%edi
  call   <rot32r8@plt>
  xor    (%rbx),%r13d
  xor    0xc(%rsp),%r13d
  xor    %eax,%r13d
  mov    %r13d,(%rbx)
  mov    %r14,%rsi
  mov    %rbx,%rdi
  call   <speckey_inverse@plt>
  mov    0x2c(%r12),%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  xor    %eax,(%rbx)
  mov    %r14,%rsi
  mov    %rbx,%rdi
  call   <speckey_inverse@plt>
  mov    0x28(%r12),%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  xor    %eax,(%rbx)
  mov    %r14,%rsi
  mov    %rbx,%rdi
  call   <speckey_inverse@plt>
  mov    0x24(%r12),%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  xor    %eax,(%rbx)
  mov    %r15,%rsi
  mov    %rbp,%rdi
  call   <speckey_inverse@plt>
  mov    0x20(%r12),%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  xor    %eax,0x0(%rbp)
  mov    %r15,%rsi
  mov    %rbp,%rdi
  call   <speckey_inverse@plt>
  mov    0x1c(%r12),%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  xor    %eax,0x0(%rbp)
  mov    %r15,%rsi
  mov    %rbp,%rdi
  call   <speckey_inverse@plt>
  mov    0x18(%r12),%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  xor    %eax,0x0(%rbp)
  mov    (%rbx),%r13d
  mov    %r13d,%edi
  call   <rot32l8@plt>
  mov    %eax,0xc(%rsp)
  mov    (%rbx),%edi
  call   <rot32r8@plt>
  xor    0x0(%rbp),%r13d
  xor    0xc(%rsp),%r13d
  xor    %eax,%r13d
  mov    %r13d,0x0(%rbp)
  mov    %r15,%rsi
  mov    %rbp,%rdi
  call   <speckey_inverse@plt>
  mov    0x14(%r12),%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  xor    %eax,0x0(%rbp)
  mov    %r15,%rsi
  mov    %rbp,%rdi
  call   <speckey_inverse@plt>
  mov    0x10(%r12),%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  xor    %eax,0x0(%rbp)
  mov    %r15,%rsi
  mov    %rbp,%rdi
  call   <speckey_inverse@plt>
  mov    0xc(%r12),%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  xor    %eax,0x0(%rbp)
  mov    %r14,%rsi
  mov    %rbx,%rdi
  call   <speckey_inverse@plt>
  mov    0x8(%r12),%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  xor    %eax,(%rbx)
  mov    %r14,%rsi
  mov    %rbx,%rdi
  call   <speckey_inverse@plt>
  mov    0x4(%r12),%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  xor    %eax,(%rbx)
  mov    %r14,%rsi
  mov    %rbx,%rdi
  call   <speckey_inverse@plt>
  mov    (%r12),%edi
  call   <READ_ROUND_KEY_DOUBLE_WORD@plt>
  xor    %eax,(%rbx)
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  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]);
}
```