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

```asm
<internal_fiat_p224_opp>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  mov    %rsi,%rbp
  mov    $0x8,%esi
  push   %rbx
  mov    %rdi,%rbx
  mov    %ebp,%edi
  sub    $0x18,%rsp
  call   <_br2_load@plt>
  lea    0x4(%rbp),%edi
  mov    $0x8,%esi
  mov    %rax,0x8(%rsp)
  call   <_br2_load@plt>
  lea    0x8(%rbp),%edi
  mov    $0x8,%esi
  mov    %rax,%r15
  call   <_br2_load@plt>
  lea    0xc(%rbp),%edi
  mov    $0x8,%esi
  neg    %r15
  mov    %rax,%r14
  call   <_br2_load@plt>
  lea    0x10(%rbp),%edi
  mov    $0x8,%esi
  mov    %rax,%r13
  call   <_br2_load@plt>
  lea    0x14(%rbp),%edi
  mov    $0x8,%esi
  mov    %rax,%r12
  call   <_br2_load@plt>
  lea    0x18(%rbp),%edi
  mov    $0x8,%esi
  mov    %rax,(%rsp)
  call   <_br2_load@plt>
  mov    0x8(%rsp),%rcx
  mov    %r15,%r11
  mov    %rax,%rdx
  xor    %eax,%eax
  mov    %rcx,%rbp
  neg    %rbp
  setne  %al
  sub    %rax,%r11
  setb   %al
  neg    %r14
  cmp    $0x1,%r15
  movzbl %al,%eax
  mov    %r14,%r10
  sbb    $0xffffffffffffffff,%rax
  xor    %esi,%esi
  sub    %rax,%r10
  setb   %sil
  neg    %r13
  cmp    $0x1,%r14
  sbb    $0xffffffffffffffff,%rsi
  mov    %r13,%rax
  sub    %rsi,%rax
  setb   %sil
  neg    %r12
  cmp    $0x1,%r13
  movzbl %sil,%esi
  mov    %r12,%r9
  sbb    $0xffffffffffffffff,%rsi
  xor    %edi,%edi
  sub    %rsi,%r9
  mov    (%rsp),%rsi
  setb   %dil
  neg    %rsi
  cmp    $0x1,%r12
  sbb    $0xffffffffffffffff,%rdi
  mov    %rsi,%r13
  sub    %rdi,%r13
  setb   %dil
  neg    %rdx
  cmp    $0x1,%rsi
  movzbl %dil,%edi
  mov    %rdx,%rsi
  sbb    $0xffffffffffffffff,%rdi
  sub    %rdi,%rsi
  setb   %dil
  cmp    $0x1,%rdx
  movzbl %dil,%edi
  mov    %edi,%edx
  sbb    $0xffffffff,%edx
  test   %edx,%edx
  setne  %dl
  xor    %r12d,%r12d
  movzbl %dl,%edx
  mov    %rdx,%r8
  mov    %rdx,%rdi
  sub    %rcx,%r8
  neg    %rdi
  cmp    %r8,%rbp
  seta   %r12b
  xor    %ebp,%ebp
  add    %r11,%r12
  setb   %bpl
  xor    %r14d,%r14d
  add    %r10,%rbp
  setb   %r14b
  add    %rax,%r14
  setb   %al
  sub    %rdx,%r14
  cmp    %rdi,%r14
  movzbl %al,%eax
  adc    $0x0,%rax
  xor    %ecx,%ecx
  add    %r9,%rax
  setb   %cl
  sub    %rdx,%rax
  mov    %rax,%r15
  xor    %eax,%eax
  cmp    %r15,%rdi
  seta   %al
  add    %rcx,%rax
  xor    %ecx,%ecx
  add    %r13,%rax
  setb   %cl
  sub    %rdx,%rax
  mov    %rax,%r13
  xor    %eax,%eax
  cmp    %r13,%rdi
  mov    %ebx,%edi
  seta   %al
  sub    %rdx,%rsi
  mov    $0x8,%edx
  lea    (%rax,%rcx,1),%r9
  add    %rsi,%r9
  mov    %r8,%rsi
  mov    %r9,(%rsp)
  call   <_br2_store@plt>
  lea    0x4(%rbx),%edi
  mov    %r12,%rsi
  mov    $0x8,%edx
  call   <_br2_store@plt>
  lea    0x8(%rbx),%edi
  mov    %rbp,%rsi
  mov    $0x8,%edx
  call   <_br2_store@plt>
  lea    0xc(%rbx),%edi
  mov    %r14,%rsi
  mov    $0x8,%edx
  call   <_br2_store@plt>
  lea    0x10(%rbx),%edi
  mov    %r15,%rsi
  mov    $0x8,%edx
  call   <_br2_store@plt>
  lea    0x14(%rbx),%edi
  mov    %r13,%rsi
  mov    $0x8,%edx
  call   <_br2_store@plt>
  mov    (%rsp),%rsi
  add    $0x18,%rsp
  lea    0x18(%rbx),%edi
  mov    $0x8,%edx
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    1060 <_br2_store@plt>
```

assistant: ```c
void internal_fiat_p224_opp(uintptr_t out0, uintptr_t in0) {
  uintptr_t x0, x1, x2, x8, x3, x10, x4, x12, x5, x14, x6, x16, x18, x7, x9, x11, x24, x13, x26, x15, x28, x17, x19, x20, x21, x22, x23, x25, x27, x29, x30, x31, x32, x33, x34, x35, x36, x37;
  x0 = _br2_load((in0) + ((uintptr_t)0ULL), sizeof(uintptr_t));
  x1 = _br2_load((in0) + ((uintptr_t)4ULL), sizeof(uintptr_t));
  x2 = _br2_load((in0) + ((uintptr_t)8ULL), sizeof(uintptr_t));
  x3 = _br2_load((in0) + ((uintptr_t)12ULL), sizeof(uintptr_t));
  x4 = _br2_load((in0) + ((uintptr_t)16ULL), sizeof(uintptr_t));
  x5 = _br2_load((in0) + ((uintptr_t)20ULL), sizeof(uintptr_t));
  x6 = _br2_load((in0) + ((uintptr_t)24ULL), sizeof(uintptr_t));
  x7 = ((uintptr_t)0ULL) - (x0);
  x8 = ((uintptr_t)0ULL) - (x1);
  x9 = (x8) - (((uintptr_t)0ULL) < (x7));
  x10 = ((uintptr_t)0ULL) - (x2);
  x11 = (x10) - ((((uintptr_t)0ULL) < (x8)) + ((x8) < (x9)));
  x12 = ((uintptr_t)0ULL) - (x3);
  x13 = (x12) - ((((uintptr_t)0ULL) < (x10)) + ((x10) < (x11)));
  x14 = ((uintptr_t)0ULL) - (x4);
  x15 = (x14) - ((((uintptr_t)0ULL) < (x12)) + ((x12) < (x13)));
  x16 = ((uintptr_t)0ULL) - (x5);
  x17 = (x16) - ((((uintptr_t)0ULL) < (x14)) + ((x14) < (x15)));
  x18 = ((uintptr_t)0ULL) - (x6);
  x19 = (x18) - ((((uintptr_t)0ULL) < (x16)) + ((x16) < (x17)));
  x20 = ((uintptr_t)-1ULL) + (((((uintptr_t)0ULL) < (x18)) + ((x18) < (x19))) == ((uintptr_t)0ULL));
  x21 = (x7) + ((x20) & ((uintptr_t)1ULL));
  x22 = ((x21) < (x7)) + (x9);
  x23 = ((x22) < (x9)) + (x11);
  x24 = ((x23) < (x11)) + (x13);
  x25 = (x24) + (x20);
  x26 = (((x24) < (x13)) + ((x25) < (x20))) + (x15);
  x27 = (x26) + (x20);
  x28 = (((x26) < (x15)) + ((x27) < (x20))) + (x17);
  x29 = (x28) + (x20);
  x30 = ((((x28) < (x17)) + ((x29) < (x20))) + (x19)) + (x20);
  x31 = x21;
  x32 = x22;
  x33 = x23;
  x34 = x25;
  x35 = x27;
  x36 = x29;
  x37 = x30;
  _br2_store((out0) + ((uintptr_t)0ULL), x31, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)4ULL), x32, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)8ULL), x33, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)12ULL), x34, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)16ULL), x35, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)20ULL), x36, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)24ULL), x37, sizeof(uintptr_t));
  return;
}
```