user: 请将以下的汇编代码转换成C语言代码:

```asm
<fiat_secp256k1_to_bytes>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %rdi,%rbx
  mov    $0xff,%edi
  sub    $0x78,%rsp
  mov    0x18(%rsi),%edx
  mov    0x14(%rsi),%ecx
  mov    0x10(%rsi),%r8d
  mov    0xc(%rsi),%r9d
  mov    0x8(%rsi),%r10d
  mov    0x4(%rsi),%r11d
  mov    %edx,0x6c(%rsp)
  mov    0x1c(%rsi),%ebp
  mov    (%rsi),%esi
  mov    %ecx,0x68(%rsp)
  mov    %r8d,0x64(%rsp)
  mov    %r9d,0x60(%rsp)
  mov    %r10d,0x5c(%rsp)
  mov    %r11d,0x58(%rsp)
  mov    %esi,0x54(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,%r13d
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,%r15d
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,0x8(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,0xc(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,0x10(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,0x14(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,0x18(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,0x1c(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,0x20(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,0x24(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,0x28(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,0x2c(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,0x30(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,0x34(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,0x38(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,0x3c(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,0x40(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,0x44(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,0x48(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,0x4c(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,0x50(%rsp)
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,%r12d
  call   <UINT8_C@plt>
  mov    $0xff,%edi
  mov    %eax,%r14d
  call   <UINT8_C@plt>
  mov    0x54(%rsp),%esi
  mov    0x58(%rsp),%r11d
  mov    0x5c(%rsp),%r10d
  mov    0x60(%rsp),%r9d
  mov    %esi,%edi
  and    %esi,%r13d
  mov    0x64(%rsp),%r8d
  sar    $0x8,%edi
  movslq %r13d,%r13
  and    %r15d,%edi
  mov    %r13,(%rbx)
  movslq %edi,%rdi
  mov    %rdi,0x8(%rbx)
  mov    %esi,%edi
  sar    $0x18,%esi
  movslq %esi,%rsi
  sar    $0x10,%edi
  and    0x8(%rsp),%edi
  mov    %rsi,0x18(%rbx)
  mov    0xc(%rsp),%esi
  movslq %edi,%rdi
  mov    %rdi,0x10(%rbx)
  and    %r11d,%esi
  movslq %esi,%rsi
  mov    %rsi,0x20(%rbx)
  mov    %r11d,%esi
  sar    $0x8,%esi
  and    0x10(%rsp),%esi
  movslq %esi,%rsi
  mov    %rsi,0x28(%rbx)
  mov    %r11d,%esi
  sar    $0x18,%r11d
  sar    $0x10,%esi
  and    0x14(%rsp),%esi
  movslq %r11d,%r11
  movslq %esi,%rsi
  mov    %r11,0x38(%rbx)
  mov    %rsi,0x30(%rbx)
  mov    0x18(%rsp),%esi
  and    %r10d,%esi
  movslq %esi,%rsi
  mov    %rsi,0x40(%rbx)
  mov    %r10d,%esi
  sar    $0x8,%esi
  and    0x1c(%rsp),%esi
  movslq %esi,%rsi
  mov    %rsi,0x48(%rbx)
  mov    %r10d,%esi
  sar    $0x18,%r10d
  sar    $0x10,%esi
  and    0x20(%rsp),%esi
  movslq %r10d,%r10
  movslq %esi,%rsi
  mov    %r10,0x58(%rbx)
  mov    %rsi,0x50(%rbx)
  mov    0x24(%rsp),%esi
  and    %r9d,%esi
  movslq %esi,%rsi
  mov    %rsi,0x60(%rbx)
  mov    %r9d,%esi
  sar    $0x8,%esi
  and    0x28(%rsp),%esi
  movslq %esi,%rsi
  mov    %rsi,0x68(%rbx)
  mov    %r9d,%esi
  sar    $0x18,%r9d
  sar    $0x10,%esi
  and    0x2c(%rsp),%esi
  movslq %r9d,%r9
  movslq %esi,%rsi
  mov    %r9,0x78(%rbx)
  mov    %rsi,0x70(%rbx)
  mov    0x30(%rsp),%esi
  and    %r8d,%esi
  movslq %esi,%rsi
  mov    %rsi,0x80(%rbx)
  mov    %r8d,%esi
  mov    0x68(%rsp),%ecx
  sar    $0x8,%esi
  and    0x34(%rsp),%esi
  mov    0x6c(%rsp),%edx
  movslq %esi,%rsi
  mov    %rsi,0x88(%rbx)
  mov    %r8d,%esi
  sar    $0x18,%r8d
  sar    $0x10,%esi
  and    0x38(%rsp),%esi
  movslq %r8d,%r8
  movslq %esi,%rsi
  mov    %r8,0x98(%rbx)
  mov    %rsi,0x90(%rbx)
  mov    0x3c(%rsp),%esi
  and    %ecx,%esi
  movslq %esi,%rsi
  mov    %rsi,0xa0(%rbx)
  mov    %ecx,%esi
  sar    $0x8,%esi
  and    0x40(%rsp),%esi
  movslq %esi,%rsi
  mov    %rsi,0xa8(%rbx)
  mov    %ecx,%esi
  sar    $0x18,%ecx
  movslq %ecx,%rcx
  sar    $0x10,%esi
  and    0x44(%rsp),%esi
  mov    %rcx,0xb8(%rbx)
  mov    0x48(%rsp),%ecx
  movslq %esi,%rsi
  mov    %rsi,0xb0(%rbx)
  and    %edx,%ecx
  movslq %ecx,%rcx
  mov    %rcx,0xc0(%rbx)
  mov    %edx,%ecx
  sar    $0x8,%ecx
  and    0x4c(%rsp),%ecx
  movslq %ecx,%rcx
  mov    %rcx,0xc8(%rbx)
  mov    %edx,%ecx
  sar    $0x10,%ecx
  sar    $0x18,%edx
  and    0x50(%rsp),%ecx
  and    %ebp,%r12d
  movslq %edx,%rdx
  movslq %r12d,%r12
  movslq %ecx,%rcx
  mov    %rdx,0xd8(%rbx)
  mov    %ebp,%edx
  sar    $0x8,%edx
  mov    %r12,0xe0(%rbx)
  and    %r14d,%edx
  mov    %rcx,0xd0(%rbx)
  movslq %edx,%rdx
  mov    %rdx,0xe8(%rbx)
  mov    %ebp,%edx
  sar    $0x18,%ebp
  sar    $0x10,%edx
  movslq %ebp,%rbp
  and    %eax,%edx
  mov    %rbp,0xf8(%rbx)
  movslq %edx,%rdx
  mov    %rdx,0xf0(%rbx)
  add    $0x78,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

assistant: ```c
void fiat_secp256k1_to_bytes(uint8_t out1[32], const uint32_t arg1[8]) {
  uint32_t x1;
  uint32_t x2;
  uint32_t x3;
  uint32_t x4;
  uint32_t x5;
  uint32_t x6;
  uint32_t x7;
  uint32_t x8;
  uint8_t x9;
  uint32_t x10;
  uint8_t x11;
  uint32_t x12;
  uint8_t x13;
  uint8_t x14;
  uint8_t x15;
  uint32_t x16;
  uint8_t x17;
  uint32_t x18;
  uint8_t x19;
  uint8_t x20;
  uint8_t x21;
  uint32_t x22;
  uint8_t x23;
  uint32_t x24;
  uint8_t x25;
  uint8_t x26;
  uint8_t x27;
  uint32_t x28;
  uint8_t x29;
  uint32_t x30;
  uint8_t x31;
  uint8_t x32;
  uint8_t x33;
  uint32_t x34;
  uint8_t x35;
  uint32_t x36;
  uint8_t x37;
  uint8_t x38;
  uint8_t x39;
  uint32_t x40;
  uint8_t x41;
  uint32_t x42;
  uint8_t x43;
  uint8_t x44;
  uint8_t x45;
  uint32_t x46;
  uint8_t x47;
  uint32_t x48;
  uint8_t x49;
  uint8_t x50;
  uint8_t x51;
  uint32_t x52;
  uint8_t x53;
  uint32_t x54;
  uint8_t x55;
  uint8_t x56;
  x1 = (arg1[7]);
  x2 = (arg1[6]);
  x3 = (arg1[5]);
  x4 = (arg1[4]);
  x5 = (arg1[3]);
  x6 = (arg1[2]);
  x7 = (arg1[1]);
  x8 = (arg1[0]);
  x9 = (uint8_t)(x8 & UINT8_C(0xff));
  x10 = (x8 >> 8);
  x11 = (uint8_t)(x10 & UINT8_C(0xff));
  x12 = (x10 >> 8);
  x13 = (uint8_t)(x12 & UINT8_C(0xff));
  x14 = (uint8_t)(x12 >> 8);
  x15 = (uint8_t)(x7 & UINT8_C(0xff));
  x16 = (x7 >> 8);
  x17 = (uint8_t)(x16 & UINT8_C(0xff));
  x18 = (x16 >> 8);
  x19 = (uint8_t)(x18 & UINT8_C(0xff));
  x20 = (uint8_t)(x18 >> 8);
  x21 = (uint8_t)(x6 & UINT8_C(0xff));
  x22 = (x6 >> 8);
  x23 = (uint8_t)(x22 & UINT8_C(0xff));
  x24 = (x22 >> 8);
  x25 = (uint8_t)(x24 & UINT8_C(0xff));
  x26 = (uint8_t)(x24 >> 8);
  x27 = (uint8_t)(x5 & UINT8_C(0xff));
  x28 = (x5 >> 8);
  x29 = (uint8_t)(x28 & UINT8_C(0xff));
  x30 = (x28 >> 8);
  x31 = (uint8_t)(x30 & UINT8_C(0xff));
  x32 = (uint8_t)(x30 >> 8);
  x33 = (uint8_t)(x4 & UINT8_C(0xff));
  x34 = (x4 >> 8);
  x35 = (uint8_t)(x34 & UINT8_C(0xff));
  x36 = (x34 >> 8);
  x37 = (uint8_t)(x36 & UINT8_C(0xff));
  x38 = (uint8_t)(x36 >> 8);
  x39 = (uint8_t)(x3 & UINT8_C(0xff));
  x40 = (x3 >> 8);
  x41 = (uint8_t)(x40 & UINT8_C(0xff));
  x42 = (x40 >> 8);
  x43 = (uint8_t)(x42 & UINT8_C(0xff));
  x44 = (uint8_t)(x42 >> 8);
  x45 = (uint8_t)(x2 & UINT8_C(0xff));
  x46 = (x2 >> 8);
  x47 = (uint8_t)(x46 & UINT8_C(0xff));
  x48 = (x46 >> 8);
  x49 = (uint8_t)(x48 & UINT8_C(0xff));
  x50 = (uint8_t)(x48 >> 8);
  x51 = (uint8_t)(x1 & UINT8_C(0xff));
  x52 = (x1 >> 8);
  x53 = (uint8_t)(x52 & UINT8_C(0xff));
  x54 = (x52 >> 8);
  x55 = (uint8_t)(x54 & UINT8_C(0xff));
  x56 = (uint8_t)(x54 >> 8);
  out1[0] = x9;
  out1[1] = x11;
  out1[2] = x13;
  out1[3] = x14;
  out1[4] = x15;
  out1[5] = x17;
  out1[6] = x19;
  out1[7] = x20;
  out1[8] = x21;
  out1[9] = x23;
  out1[10] = x25;
  out1[11] = x26;
  out1[12] = x27;
  out1[13] = x29;
  out1[14] = x31;
  out1[15] = x32;
  out1[16] = x33;
  out1[17] = x35;
  out1[18] = x37;
  out1[19] = x38;
  out1[20] = x39;
  out1[21] = x41;
  out1[22] = x43;
  out1[23] = x44;
  out1[24] = x45;
  out1[25] = x47;
  out1[26] = x49;
  out1[27] = x50;
  out1[28] = x51;
  out1[29] = x53;
  out1[30] = x55;
  out1[31] = x56;
}
```