user: Please show me the C implementation that matches the assembly code listed below:

```asm
<internal_fiat_poly1305_to_bytes>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  mov    %rdi,%rbx
  mov    %rsi,%rbp
  mov    $0x8,%esi
  mov    %ebp,%edi
  call   <_br2_load@plt>
  mov    %rax,%r13
  lea    0x8(%rbp),%edi
  mov    $0x8,%esi
  call   <_br2_load@plt>
  mov    %rax,%r12
  lea    0x10(%rbp),%edi
  mov    $0x8,%esi
  call   <_br2_load@plt>
  mov    %rax,%r8
  movabs $0xfffff00000000005,%rax
  add    %r13,%rax
  movabs $0xfffffffffff,%rcx
  and    %rax,%rcx
  movabs $0xfffff80000000001,%r10
  add    %r12,%r10
  mov    %rax,%rdx
  shr    $0x2c,%rdx
  add    %r10,%rdx
  cmp    %rax,%r13
  setb   %al
  movzbl %al,%eax
  shl    $0x14,%rax
  sub    %rax,%rdx
  movabs $0x7ffffffffff,%rdi
  mov    %rdx,%r9
  and    %rdi,%r9
  mov    %r8,%r11
  sub    %rdi,%r11
  mov    %rdx,%rax
  shr    $0x2b,%rax
  add    %r11,%rax
  cmp    %r10,%r12
  setb   %sil
  movzbl %sil,%esi
  cmp    %rdx,%r10
  mov    %rsi,%rdx
  adc    $0x0,%rdx
  shl    $0x15,%rdx
  sub    %rdx,%rax
  cmp    %r11,%r8
  setb   %dl
  movzbl %dl,%edx
  cmp    %rax,%r11
  adc    $0x0,%rdx
  shl    $0x15,%rdx
  mov    %rax,%rsi
  shr    $0x2b,%rsi
  cmp    %rsi,%rdx
  setne  %r8b
  movzbl %r8b,%r8d
  mov    %r8,%r11
  neg    %r11
  movabs $0xffffffffffb,%rsi
  and    %r11,%rsi
  add    %rcx,%rsi
  mov    %rsi,%r13
  setb   %r10b
  movzbl %r10b,%r10d
  shl    $0x14,%r10
  mov    %rsi,%rdx
  shr    $0x2c,%rdx
  add    %r9,%rdx
  add    %rdx,%r10
  and    %rdi,%r11
  lea    (%r11,%r10,1),%rcx
  mov    %rcx,%rdx
  shl    $0x4,%rdx
  movabs $0x7ffffffffff0,%rsi
  and    %rsi,%rdx
  mov    %r13,%r12
  shr    $0x28,%r12
  and    $0xf,%r12d
  or     %rdx,%r12
  cmp    %r10,%r9
  seta   %bpl
  movzbl %bpl,%ebp
  cmp    %rcx,%r11
  seta   %sil
  movzbl %sil,%esi
  add    %rsi,%rbp
  shl    $0x15,%rbp
  and    %rdi,%rax
  sub    %r8,%rax
  shr    $0x2b,%rcx
  add    %rcx,%rax
  add    %rax,%rbp
  shl    $0x7,%rbp
  movabs $0x3ffffffffff80,%rax
  and    %rax,%rbp
  shr    $0x28,%rdx
  add    %rdx,%rbp
  movzbl %r13b,%esi
  mov    $0x1,%edx
  mov    %ebx,%edi
  call   <_br2_store@plt>
  mov    %r13,%rax
  movzbl %ah,%esi
  lea    0x1(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  mov    %r13,%rsi
  shr    $0x10,%rsi
  movzbl %sil,%esi
  lea    0x2(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  mov    %r13,%rsi
  shr    $0x18,%rsi
  movzbl %sil,%esi
  lea    0x3(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  mov    %r13,%rsi
  shr    $0x20,%rsi
  movzbl %sil,%esi
  lea    0x4(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  movzbl %r12b,%esi
  lea    0x5(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  mov    %r12,%rax
  movzbl %ah,%esi
  lea    0x6(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  mov    %r12,%rsi
  shr    $0x10,%rsi
  movzbl %sil,%esi
  lea    0x7(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  mov    %r12,%rsi
  shr    $0x18,%rsi
  movzbl %sil,%esi
  lea    0x8(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  shr    $0x20,%r12
  movzbl %r12b,%esi
  lea    0x9(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  movzbl %bpl,%esi
  lea    0xa(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  mov    %rbp,%rax
  movzbl %ah,%esi
  lea    0xb(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  mov    %rbp,%rsi
  shr    $0x10,%rsi
  movzbl %sil,%esi
  lea    0xc(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  mov    %rbp,%rsi
  shr    $0x18,%rsi
  movzbl %sil,%esi
  lea    0xd(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  mov    %rbp,%rsi
  shr    $0x20,%rsi
  movzbl %sil,%esi
  lea    0xe(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  mov    %rbp,%rsi
  shr    $0x28,%rsi
  movzbl %sil,%esi
  lea    0xf(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  mov    %rbp,%rsi
  shr    $0x30,%rsi
  lea    0x10(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
```

assistant: ```c
void internal_fiat_poly1305_to_bytes(uintptr_t out0, uintptr_t in0) {
  uintptr_t x0, x4, x3, x1, x6, x7, x8, x10, x11, x9, x2, x13, x14, x15, x17, x18, x16, x20, x5, x22, x23, x25, x12, x26, x27, x29, x28, x30, x32, x19, x33, x21, x34, x35, x31, x24, x39, x41, x43, x45, x37, x47, x48, x50, x52, x54, x56, x36, x58, x59, x61, x63, x65, x67, x69, x38, x40, x42, x44, x46, x49, x51, x53, x55, x57, x60, x62, x64, x66, x68, x70, x71, x72, x73, x74, x75, x76, x77, x78, x79, x80, x81, x82, x83, x84, x85, x86, x87, x88;
  x0 = _br2_load((in0) + ((uintptr_t)0ULL), sizeof(uintptr_t));
  x1 = _br2_load((in0) + ((uintptr_t)8ULL), sizeof(uintptr_t));
  x2 = _br2_load((in0) + ((uintptr_t)16ULL), sizeof(uintptr_t));
  x3 = (x0) - ((uintptr_t)17592186044411ULL);
  x4 = (x0) < (x3);
  x5 = (x3) & ((uintptr_t)17592186044415ULL);
  x6 = ((x4) << ((uintptr_t)20ULL)) - ((x3) >> ((uintptr_t)44ULL));
  x7 = (x1) - ((uintptr_t)8796093022207ULL);
  x8 = (x1) < (x7);
  x9 = (x7) - (x6);
  x10 = (x7) < (x9);
  x11 = (x8) + (x10);
  x12 = (x9) & ((uintptr_t)8796093022207ULL);
  x13 = ((x11) << ((uintptr_t)21ULL)) - ((x9) >> ((uintptr_t)43ULL));
  x14 = (x2) - ((uintptr_t)8796093022207ULL);
  x15 = (x2) < (x14);
  x16 = (x14) - (x13);
  x17 = (x14) < (x16);
  x18 = (x15) + (x17);
  x19 = (x16) & ((uintptr_t)8796093022207ULL);
  x20 = ((x18) << ((uintptr_t)21ULL)) - ((x16) >> ((uintptr_t)43ULL));
  x21 = ((uintptr_t)-1ULL) + ((x20) == ((uintptr_t)0ULL));
  x22 = (x5) + ((x21) & ((uintptr_t)17592186044411ULL));
  x23 = (x22) < (x5);
  x24 = (x22) & ((uintptr_t)17592186044415ULL);
  x25 = ((x22) >> ((uintptr_t)44ULL)) + ((x23) << ((uintptr_t)20ULL));
  x26 = (x25) + (x12);
  x27 = (x26) < (x12);
  x28 = (x26) + ((x21) & ((uintptr_t)8796093022207ULL));
  x29 = (x28) < ((x21) & ((uintptr_t)8796093022207ULL));
  x30 = (x27) + (x29);
  x31 = (x28) & ((uintptr_t)8796093022207ULL);
  x32 = ((x28) >> ((uintptr_t)43ULL)) + ((x30) << ((uintptr_t)21ULL));
  x33 = (x32) + (x19);
  x34 = (x33) + ((x21) & ((uintptr_t)8796093022207ULL));
  x35 = (x34) & ((uintptr_t)8796093022207ULL);
  x36 = (x35) << ((uintptr_t)7ULL);
  x37 = (x31) << ((uintptr_t)4ULL);
  x38 = (x24) & ((uintptr_t)255ULL);
  x39 = (x24) >> ((uintptr_t)8ULL);
  x40 = (x39) & ((uintptr_t)255ULL);
  x41 = (x39) >> ((uintptr_t)8ULL);
  x42 = (x41) & ((uintptr_t)255ULL);
  x43 = (x41) >> ((uintptr_t)8ULL);
  x44 = (x43) & ((uintptr_t)255ULL);
  x45 = (x43) >> ((uintptr_t)8ULL);
  x46 = (x45) & ((uintptr_t)255ULL);
  x47 = (x45) >> ((uintptr_t)8ULL);
  x48 = (x37) + (x47);
  x49 = (x48) & ((uintptr_t)255ULL);
  x50 = (x48) >> ((uintptr_t)8ULL);
  x51 = (x50) & ((uintptr_t)255ULL);
  x52 = (x50) >> ((uintptr_t)8ULL);
  x53 = (x52) & ((uintptr_t)255ULL);
  x54 = (x52) >> ((uintptr_t)8ULL);
  x55 = (x54) & ((uintptr_t)255ULL);
  x56 = (x54) >> ((uintptr_t)8ULL);
  x57 = (x56) & ((uintptr_t)255ULL);
  x58 = (x56) >> ((uintptr_t)8ULL);
  x59 = (x36) + (x58);
  x60 = (x59) & ((uintptr_t)255ULL);
  x61 = (x59) >> ((uintptr_t)8ULL);
  x62 = (x61) & ((uintptr_t)255ULL);
  x63 = (x61) >> ((uintptr_t)8ULL);
  x64 = (x63) & ((uintptr_t)255ULL);
  x65 = (x63) >> ((uintptr_t)8ULL);
  x66 = (x65) & ((uintptr_t)255ULL);
  x67 = (x65) >> ((uintptr_t)8ULL);
  x68 = (x67) & ((uintptr_t)255ULL);
  x69 = (x67) >> ((uintptr_t)8ULL);
  x70 = (x69) & ((uintptr_t)255ULL);
  x71 = (x69) >> ((uintptr_t)8ULL);
  x72 = x38;
  x73 = x40;
  x74 = x42;
  x75 = x44;
  x76 = x46;
  x77 = x49;
  x78 = x51;
  x79 = x53;
  x80 = x55;
  x81 = x57;
  x82 = x60;
  x83 = x62;
  x84 = x64;
  x85 = x66;
  x86 = x68;
  x87 = x70;
  x88 = x71;
  _br2_store((out0) + ((uintptr_t)0ULL), x72, 1);
  _br2_store((out0) + ((uintptr_t)1ULL), x73, 1);
  _br2_store((out0) + ((uintptr_t)2ULL), x74, 1);
  _br2_store((out0) + ((uintptr_t)3ULL), x75, 1);
  _br2_store((out0) + ((uintptr_t)4ULL), x76, 1);
  _br2_store((out0) + ((uintptr_t)5ULL), x77, 1);
  _br2_store((out0) + ((uintptr_t)6ULL), x78, 1);
  _br2_store((out0) + ((uintptr_t)7ULL), x79, 1);
  _br2_store((out0) + ((uintptr_t)8ULL), x80, 1);
  _br2_store((out0) + ((uintptr_t)9ULL), x81, 1);
  _br2_store((out0) + ((uintptr_t)10ULL), x82, 1);
  _br2_store((out0) + ((uintptr_t)11ULL), x83, 1);
  _br2_store((out0) + ((uintptr_t)12ULL), x84, 1);
  _br2_store((out0) + ((uintptr_t)13ULL), x85, 1);
  _br2_store((out0) + ((uintptr_t)14ULL), x86, 1);
  _br2_store((out0) + ((uintptr_t)15ULL), x87, 1);
  _br2_store((out0) + ((uintptr_t)16ULL), x88, 1);
  return;
}
```