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

```asm
<internal_fiat_p224_sub>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  mov    %rsi,%r12
  mov    $0x8,%esi
  push   %rbp
  mov    %rdx,%rbp
  push   %rbx
  mov    %rdi,%rbx
  mov    %r12d,%edi
  sub    $0x58,%rsp
  call   <_br2_load@plt>
  lea    0x4(%r12),%edi
  mov    $0x8,%esi
  mov    %rax,%r15
  call   <_br2_load@plt>
  lea    0x8(%r12),%edi
  mov    $0x8,%esi
  mov    %rax,%r14
  call   <_br2_load@plt>
  lea    0xc(%r12),%edi
  mov    $0x8,%esi
  mov    %rax,%r13
  call   <_br2_load@plt>
  lea    0x10(%r12),%edi
  mov    $0x8,%esi
  mov    %rax,0x8(%rsp)
  call   <_br2_load@plt>
  lea    0x14(%r12),%edi
  mov    $0x8,%esi
  mov    %rax,0x10(%rsp)
  call   <_br2_load@plt>
  lea    0x18(%r12),%edi
  mov    $0x8,%esi
  mov    %rax,0x18(%rsp)
  call   <_br2_load@plt>
  mov    %ebp,%edi
  mov    $0x8,%esi
  mov    %rax,%r12
  call   <_br2_load@plt>
  lea    0x4(%rbp),%edi
  mov    $0x8,%esi
  mov    %rax,0x48(%rsp)
  call   <_br2_load@plt>
  lea    0x8(%rbp),%edi
  mov    $0x8,%esi
  mov    %rax,0x40(%rsp)
  call   <_br2_load@plt>
  lea    0xc(%rbp),%edi
  mov    $0x8,%esi
  mov    %rax,0x38(%rsp)
  call   <_br2_load@plt>
  lea    0x10(%rbp),%edi
  mov    $0x8,%esi
  mov    %rax,0x30(%rsp)
  call   <_br2_load@plt>
  lea    0x14(%rbp),%edi
  mov    $0x8,%esi
  mov    %rax,0x28(%rsp)
  call   <_br2_load@plt>
  lea    0x18(%rbp),%edi
  mov    $0x8,%esi
  mov    %rax,0x20(%rsp)
  call   <_br2_load@plt>
  mov    0x48(%rsp),%r11
  mov    0x40(%rsp),%r10
  xor    %esi,%esi
  mov    0x38(%rsp),%r9
  mov    0x30(%rsp),%r8
  sub    %r11,%r15
  mov    0x28(%rsp),%rcx
  mov    0x20(%rsp),%rdx
  setb   %sil
  xor    %edi,%edi
  sub    %r10,%r14
  setb   %dil
  sub    %rsi,%r14
  setb   %sil
  sub    %r9,%r13
  movzbl %sil,%esi
  setb   %r9b
  add    %rdi,%rsi
  mov    0x8(%rsp),%rdi
  movzbl %r9b,%r9d
  sub    %rsi,%r13
  setb   %sil
  sub    %r8,%rdi
  movzbl %sil,%esi
  setb   %r8b
  xor    %r10d,%r10d
  add    %r9,%rsi
  movzbl %r8b,%r8d
  sub    %rsi,%rdi
  mov    0x10(%rsp),%rsi
  setb   %r10b
  xor    %r9d,%r9d
  sub    %rcx,%rsi
  lea    (%r10,%r8,1),%rcx
  setb   %r9b
  xor    %r10d,%r10d
  sub    %rcx,%rsi
  mov    0x18(%rsp),%rcx
  setb   %r10b
  xor    %r8d,%r8d
  sub    %rdx,%rcx
  lea    (%r10,%r9,1),%rdx
  setb   %r8b
  sub    %rdx,%rcx
  setb   %dl
  sub    %rax,%r12
  movzbl %dl,%edx
  setb   %al
  add    %r8,%rdx
  movzbl %al,%eax
  sub    %rdx,%r12
  adc    $0x0,%eax
  xor    %edx,%edx
  test   %eax,%eax
  setne  %dl
  xor    %eax,%eax
  mov    %rdx,%r8
  neg    %r8
  add    %rdx,%r15
  setb   %al
  add    %rax,%r14
  setb   %al
  xor    %ebp,%ebp
  movzbl %al,%eax
  add    %rax,%r13
  setb   %bpl
  xor    %eax,%eax
  add    %rdi,%rbp
  mov    %ebx,%edi
  setb   %al
  sub    %rdx,%rbp
  cmp    %r8,%rbp
  adc    $0x0,%rax
  add    %rsi,%rax
  setb   %sil
  sub    %rdx,%rax
  cmp    %rax,%r8
  mov    %rax,0x10(%rsp)
  movzbl %sil,%esi
  seta   %al
  movzbl %al,%eax
  add    %rsi,%rax
  mov    %r15,%rsi
  add    %rcx,%rax
  setb   %cl
  sub    %rdx,%rax
  cmp    %rax,%r8
  mov    %rax,0x8(%rsp)
  movzbl %cl,%ecx
  seta   %al
  sub    %rdx,%r12
  mov    $0x8,%edx
  movzbl %al,%eax
  add    %rcx,%rax
  add    %rax,%r12
  call   <_br2_store@plt>
  lea    0x4(%rbx),%edi
  mov    %r14,%rsi
  mov    $0x8,%edx
  call   <_br2_store@plt>
  lea    0x8(%rbx),%edi
  mov    %r13,%rsi
  mov    $0x8,%edx
  call   <_br2_store@plt>
  lea    0xc(%rbx),%edi
  mov    %rbp,%rsi
  mov    $0x8,%edx
  call   <_br2_store@plt>
  mov    0x10(%rsp),%rsi
  lea    0x10(%rbx),%edi
  mov    $0x8,%edx
  call   <_br2_store@plt>
  mov    0x8(%rsp),%rsi
  lea    0x14(%rbx),%edi
  mov    $0x8,%edx
  call   <_br2_store@plt>
  add    $0x58,%rsp
  lea    0x18(%rbx),%edi
  mov    %r12,%rsi
  pop    %rbx
  mov    $0x8,%edx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    1060 <_br2_store@plt>
```

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