#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef scalar_t__ uint8_t;
typedef int uint32_t;

/* Variables and functions */
int UINT8_C(int);
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;
}


x86 assembly (clang, -O0):
<fiat_secp256k1_to_bytes>:
push   %rbp
mov    %rsp,%rbp
sub    $0x210,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    0x1c(%rax),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    0x18(%rax),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    0x14(%rax),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    0xc(%rax),%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x210(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x210(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    %eax,-0x20c(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x20c(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0x48(%rbp)
mov    -0x3c(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    %eax,-0x208(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x208(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0x58(%rbp)
mov    -0x4c(%rbp),%eax
sar    $0x8,%eax
cltq
mov    %rax,-0x60(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x204(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x204(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0x68(%rbp)
mov    -0x2c(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x6c(%rbp)
mov    -0x6c(%rbp),%eax
mov    %eax,-0x200(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x200(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0x78(%rbp)
mov    -0x6c(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x7c(%rbp)
mov    -0x7c(%rbp),%eax
mov    %eax,-0x1fc(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x1fc(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0x88(%rbp)
mov    -0x7c(%rbp),%eax
sar    $0x8,%eax
cltq
mov    %rax,-0x90(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x1f8(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x1f8(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0x98(%rbp)
mov    -0x28(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x9c(%rbp)
mov    -0x9c(%rbp),%eax
mov    %eax,-0x1f4(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x1f4(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0xa8(%rbp)
mov    -0x9c(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0xac(%rbp)
mov    -0xac(%rbp),%eax
mov    %eax,-0x1f0(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x1f0(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0xb8(%rbp)
mov    -0xac(%rbp),%eax
sar    $0x8,%eax
cltq
mov    %rax,-0xc0(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x1ec(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x1ec(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0xc8(%rbp)
mov    -0x24(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0xcc(%rbp)
mov    -0xcc(%rbp),%eax
mov    %eax,-0x1e8(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x1e8(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0xd8(%rbp)
mov    -0xcc(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0xdc(%rbp)
mov    -0xdc(%rbp),%eax
mov    %eax,-0x1e4(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x1e4(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0xe8(%rbp)
mov    -0xdc(%rbp),%eax
sar    $0x8,%eax
cltq
mov    %rax,-0xf0(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x1e0(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x1e0(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0xf8(%rbp)
mov    -0x20(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0xfc(%rbp)
mov    -0xfc(%rbp),%eax
mov    %eax,-0x1dc(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x1dc(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0x108(%rbp)
mov    -0xfc(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x10c(%rbp)
mov    -0x10c(%rbp),%eax
mov    %eax,-0x1d8(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x1d8(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0x118(%rbp)
mov    -0x10c(%rbp),%eax
sar    $0x8,%eax
cltq
mov    %rax,-0x120(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x1d4(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x1d4(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0x128(%rbp)
mov    -0x1c(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x12c(%rbp)
mov    -0x12c(%rbp),%eax
mov    %eax,-0x1d0(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x1d0(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0x138(%rbp)
mov    -0x12c(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x13c(%rbp)
mov    -0x13c(%rbp),%eax
mov    %eax,-0x1cc(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x1cc(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0x148(%rbp)
mov    -0x13c(%rbp),%eax
sar    $0x8,%eax
cltq
mov    %rax,-0x150(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x1c8(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x1c8(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0x158(%rbp)
mov    -0x18(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x15c(%rbp)
mov    -0x15c(%rbp),%eax
mov    %eax,-0x1c4(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x1c4(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0x168(%rbp)
mov    -0x15c(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x16c(%rbp)
mov    -0x16c(%rbp),%eax
mov    %eax,-0x1c0(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x1c0(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0x178(%rbp)
mov    -0x16c(%rbp),%eax
sar    $0x8,%eax
cltq
mov    %rax,-0x180(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x1bc(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x1bc(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0x188(%rbp)
mov    -0x14(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x18c(%rbp)
mov    -0x18c(%rbp),%eax
mov    %eax,-0x1b8(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x1b8(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0x198(%rbp)
mov    -0x18c(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x19c(%rbp)
mov    -0x19c(%rbp),%eax
mov    %eax,-0x1b4(%rbp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    %eax,%ecx
mov    -0x1b4(%rbp),%eax
and    %ecx,%eax
cltq
mov    %rax,-0x1a8(%rbp)
mov    -0x19c(%rbp),%eax
sar    $0x8,%eax
cltq
mov    %rax,-0x1b0(%rbp)
mov    -0x38(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x48(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x8(%rax)
mov    -0x58(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x10(%rax)
mov    -0x60(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x18(%rax)
mov    -0x68(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x20(%rax)
mov    -0x78(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x28(%rax)
mov    -0x88(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x30(%rax)
mov    -0x90(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x38(%rax)
mov    -0x98(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x40(%rax)
mov    -0xa8(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x48(%rax)
mov    -0xb8(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x50(%rax)
mov    -0xc0(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x58(%rax)
mov    -0xc8(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x60(%rax)
mov    -0xd8(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x68(%rax)
mov    -0xe8(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x70(%rax)
mov    -0xf0(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x78(%rax)
mov    -0xf8(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x80(%rax)
mov    -0x108(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x88(%rax)
mov    -0x118(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x90(%rax)
mov    -0x120(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x98(%rax)
mov    -0x128(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0xa0(%rax)
mov    -0x138(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0xa8(%rax)
mov    -0x148(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0xb0(%rax)
mov    -0x150(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0xb8(%rax)
mov    -0x158(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0xc0(%rax)
mov    -0x168(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0xc8(%rax)
mov    -0x178(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0xd0(%rax)
mov    -0x180(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0xd8(%rax)
mov    -0x188(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0xe0(%rax)
mov    -0x198(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0xe8(%rax)
mov    -0x1a8(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0xf0(%rax)
mov    -0x1b0(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0xf8(%rax)
add    $0x210,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<fiat_secp256k1_to_bytes>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xe8,%rsp
mov    %rdi,%r12
mov    0x1c(%rsi),%eax
mov    %eax,0x24(%rsp)
mov    0x18(%rsi),%eax
mov    %eax,0x20(%rsp)
mov    0x14(%rsi),%eax
mov    %eax,0x18(%rsp)
mov    0x10(%rsi),%eax
mov    %eax,0x8(%rsp)
mov    0xc(%rsi),%eax
mov    %eax,0x10(%rsp)
mov    0x8(%rsi),%ebx
mov    (%rsi),%r15d
mov    0x4(%rsi),%r14d
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
and    %r15d,%eax
cltq
mov    %rax,0xe0(%rsp)
mov    %r15d,%r13d
sar    $0x8,%r13d
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
and    %r13d,%eax
cltq
mov    %rax,0xd8(%rsp)
mov    %r15d,%ebp
sar    $0x10,%ebp
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
and    %ebp,%eax
cltq
mov    %rax,0xd0(%rsp)
sar    $0x18,%r15d
movslq %r15d,%rax
mov    %rax,0xc8(%rsp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
and    %r14d,%eax
cltq
mov    %rax,0xc0(%rsp)
mov    %r14d,%ebp
sar    $0x8,%ebp
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
and    %ebp,%eax
cltq
mov    %rax,0xb8(%rsp)
mov    %r14d,%ebp
sar    $0x10,%ebp
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
and    %ebp,%eax
cltq
mov    %rax,0xb0(%rsp)
sar    $0x18,%r14d
movslq %r14d,%rax
mov    %rax,0xa8(%rsp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
and    %ebx,%eax
cltq
mov    %rax,0xa0(%rsp)
mov    %ebx,%ebp
sar    $0x8,%ebp
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
and    %ebp,%eax
cltq
mov    %rax,0x98(%rsp)
mov    %ebx,%ebp
sar    $0x10,%ebp
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
and    %ebp,%eax
cltq
mov    %rax,0x90(%rsp)
sar    $0x18,%ebx
movslq %ebx,%rax
mov    %rax,0x88(%rsp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    0x10(%rsp),%ecx
and    %ecx,%eax
cltq
mov    %rax,0x80(%rsp)
mov    %ecx,%ebp
mov    %ecx,%ebx
sar    $0x8,%ebp
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
and    %ebp,%eax
cltq
mov    %rax,0x78(%rsp)
mov    %ebx,%ebp
sar    $0x10,%ebp
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
and    %ebp,%eax
cltq
mov    %rax,0x70(%rsp)
sar    $0x18,%ebx
movslq %ebx,%rax
mov    %rax,0x10(%rsp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    0x8(%rsp),%ecx
and    %ecx,%eax
cltq
mov    %rax,0x68(%rsp)
mov    %ecx,%ebp
mov    %ecx,%ebx
sar    $0x8,%ebp
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
and    %ebp,%eax
cltq
mov    %rax,0x60(%rsp)
mov    %ebx,%ebp
sar    $0x10,%ebp
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
and    %ebp,%eax
cltq
mov    %rax,0x58(%rsp)
sar    $0x18,%ebx
movslq %ebx,%rax
mov    %rax,0x8(%rsp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    0x18(%rsp),%ecx
and    %ecx,%eax
cltq
mov    %rax,0x50(%rsp)
mov    %ecx,%ebp
mov    %ecx,%ebx
sar    $0x8,%ebp
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
and    %ebp,%eax
cltq
mov    %rax,0x48(%rsp)
mov    %ebx,%ebp
sar    $0x10,%ebp
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
and    %ebp,%eax
cltq
mov    %rax,0x40(%rsp)
sar    $0x18,%ebx
movslq %ebx,%rax
mov    %rax,0x18(%rsp)
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    0x20(%rsp),%ecx
and    %ecx,%eax
cltq
mov    %rax,0x38(%rsp)
mov    %ecx,%ebp
mov    %ecx,%ebx
sar    $0x8,%ebp
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
and    %ebp,%eax
cltq
mov    %rax,0x30(%rsp)
mov    %ebx,%ebp
sar    $0x10,%ebp
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
and    %ebp,%eax
cltq
mov    %rax,0x28(%rsp)
sar    $0x18,%ebx
movslq %ebx,%rbx
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
mov    0x24(%rsp),%r15d
and    %r15d,%eax
movslq %eax,%r13
mov    %r15d,%ebp
sar    $0x8,%ebp
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
and    %ebp,%eax
movslq %eax,%r14
mov    %r15d,%ebp
sar    $0x10,%ebp
mov    $0xff,%edi
call   1030 <UINT8_C@plt>
and    %ebp,%eax
mov    0xe0(%rsp),%rcx
mov    %rcx,(%r12)
mov    0xd8(%rsp),%rcx
mov    %rcx,0x8(%r12)
mov    0xd0(%rsp),%rcx
mov    %rcx,0x10(%r12)
mov    0xc8(%rsp),%rcx
mov    %rcx,0x18(%r12)
mov    0xc0(%rsp),%rcx
mov    %rcx,0x20(%r12)
mov    0xb8(%rsp),%rcx
mov    %rcx,0x28(%r12)
mov    0xb0(%rsp),%rcx
mov    %rcx,0x30(%r12)
mov    0xa8(%rsp),%rcx
mov    %rcx,0x38(%r12)
mov    0xa0(%rsp),%rcx
mov    %rcx,0x40(%r12)
mov    0x98(%rsp),%rcx
mov    %rcx,0x48(%r12)
mov    0x90(%rsp),%rcx
mov    %rcx,0x50(%r12)
mov    0x88(%rsp),%rcx
mov    %rcx,0x58(%r12)
mov    0x80(%rsp),%rcx
mov    %rcx,0x60(%r12)
mov    0x78(%rsp),%rcx
mov    %rcx,0x68(%r12)
mov    0x70(%rsp),%rcx
mov    %rcx,0x70(%r12)
mov    0x10(%rsp),%rcx
mov    %rcx,0x78(%r12)
mov    0x68(%rsp),%rcx
mov    %rcx,0x80(%r12)
mov    0x60(%rsp),%rcx
mov    %rcx,0x88(%r12)
mov    0x58(%rsp),%rcx
mov    %rcx,0x90(%r12)
mov    0x8(%rsp),%rcx
mov    %rcx,0x98(%r12)
mov    0x50(%rsp),%rcx
mov    %rcx,0xa0(%r12)
mov    0x48(%rsp),%rcx
mov    %rcx,0xa8(%r12)
mov    0x40(%rsp),%rcx
mov    %rcx,0xb0(%r12)
mov    0x18(%rsp),%rcx
mov    %rcx,0xb8(%r12)
mov    0x38(%rsp),%rcx
mov    %rcx,0xc0(%r12)
mov    0x30(%rsp),%rcx
mov    %rcx,0xc8(%r12)
mov    0x28(%rsp),%rcx
mov    %rcx,0xd0(%r12)
mov    %rbx,0xd8(%r12)
mov    %r13,0xe0(%r12)
mov    %r14,0xe8(%r12)
cltq
mov    %rax,0xf0(%r12)
sar    $0x18,%r15d
movslq %r15d,%rax
mov    %rax,0xf8(%r12)
add    $0xe8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @fiat_secp256k1_to_bytes(i64* %0, i32* %1) {
%3 = alloca i64*
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i64
%14 = alloca i32
%15 = alloca i64
%16 = alloca i32
%17 = alloca i64
%18 = alloca i64
%19 = alloca i64
%20 = alloca i32
%21 = alloca i64
%22 = alloca i32
%23 = alloca i64
%24 = alloca i64
%25 = alloca i64
%26 = alloca i32
%27 = alloca i64
%28 = alloca i32
%29 = alloca i64
%30 = alloca i64
%31 = alloca i64
%32 = alloca i32
%33 = alloca i64
%34 = alloca i32
%35 = alloca i64
%36 = alloca i64
%37 = alloca i64
%38 = alloca i32
%39 = alloca i64
%40 = alloca i32
%41 = alloca i64
%42 = alloca i64
%43 = alloca i64
%44 = alloca i32
%45 = alloca i64
%46 = alloca i32
%47 = alloca i64
%48 = alloca i64
%49 = alloca i64
%50 = alloca i32
%51 = alloca i64
%52 = alloca i32
%53 = alloca i64
%54 = alloca i64
%55 = alloca i64
%56 = alloca i32
%57 = alloca i64
%58 = alloca i32
%59 = alloca i64
%60 = alloca i64
store i64* %0, i64** %3
store i32* %1, i32** %4
%61 = load i32*, i32** %4
%62 = getelementptr inbounds i32, i32* %61, i64 7
%63 = load i32, i32* %62
store i32 %63, i32* %5
%64 = load i32*, i32** %4
%65 = getelementptr inbounds i32, i32* %64, i64 6
%66 = load i32, i32* %65
store i32 %66, i32* %6
%67 = load i32*, i32** %4
%68 = getelementptr inbounds i32, i32* %67, i64 5
%69 = load i32, i32* %68
store i32 %69, i32* %7
%70 = load i32*, i32** %4
%71 = getelementptr inbounds i32, i32* %70, i64 4
%72 = load i32, i32* %71
store i32 %72, i32* %8
%73 = load i32*, i32** %4
%74 = getelementptr inbounds i32, i32* %73, i64 3
%75 = load i32, i32* %74
store i32 %75, i32* %9
%76 = load i32*, i32** %4
%77 = getelementptr inbounds i32, i32* %76, i64 2
%78 = load i32, i32* %77
store i32 %78, i32* %10
%79 = load i32*, i32** %4
%80 = getelementptr inbounds i32, i32* %79, i64 1
%81 = load i32, i32* %80
store i32 %81, i32* %11
%82 = load i32*, i32** %4
%83 = getelementptr inbounds i32, i32* %82, i64 0
%84 = load i32, i32* %83
store i32 %84, i32* %12
%85 = load i32, i32* %12
%86 = call i32 @UINT8_C(i32 255)
%87 = and i32 %85, %86
%88 = sext i32 %87 to i64
store i64 %88, i64* %13
%89 = load i32, i32* %12
%90 = ashr i32 %89, 8
store i32 %90, i32* %14
%91 = load i32, i32* %14
%92 = call i32 @UINT8_C(i32 255)
%93 = and i32 %91, %92
%94 = sext i32 %93 to i64
store i64 %94, i64* %15
%95 = load i32, i32* %14
%96 = ashr i32 %95, 8
store i32 %96, i32* %16
%97 = load i32, i32* %16
%98 = call i32 @UINT8_C(i32 255)
%99 = and i32 %97, %98
%100 = sext i32 %99 to i64
store i64 %100, i64* %17
%101 = load i32, i32* %16
%102 = ashr i32 %101, 8
%103 = sext i32 %102 to i64
store i64 %103, i64* %18
%104 = load i32, i32* %11
%105 = call i32 @UINT8_C(i32 255)
%106 = and i32 %104, %105
%107 = sext i32 %106 to i64
store i64 %107, i64* %19
%108 = load i32, i32* %11
%109 = ashr i32 %108, 8
store i32 %109, i32* %20
%110 = load i32, i32* %20
%111 = call i32 @UINT8_C(i32 255)
%112 = and i32 %110, %111
%113 = sext i32 %112 to i64
store i64 %113, i64* %21
%114 = load i32, i32* %20
%115 = ashr i32 %114, 8
store i32 %115, i32* %22
%116 = load i32, i32* %22
%117 = call i32 @UINT8_C(i32 255)
%118 = and i32 %116, %117
%119 = sext i32 %118 to i64
store i64 %119, i64* %23
%120 = load i32, i32* %22
%121 = ashr i32 %120, 8
%122 = sext i32 %121 to i64
store i64 %122, i64* %24
%123 = load i32, i32* %10
%124 = call i32 @UINT8_C(i32 255)
%125 = and i32 %123, %124
%126 = sext i32 %125 to i64
store i64 %126, i64* %25
%127 = load i32, i32* %10
%128 = ashr i32 %127, 8
store i32 %128, i32* %26
%129 = load i32, i32* %26
%130 = call i32 @UINT8_C(i32 255)
%131 = and i32 %129, %130
%132 = sext i32 %131 to i64
store i64 %132, i64* %27
%133 = load i32, i32* %26
%134 = ashr i32 %133, 8
store i32 %134, i32* %28
%135 = load i32, i32* %28
%136 = call i32 @UINT8_C(i32 255)
%137 = and i32 %135, %136
%138 = sext i32 %137 to i64
store i64 %138, i64* %29
%139 = load i32, i32* %28
%140 = ashr i32 %139, 8
%141 = sext i32 %140 to i64
store i64 %141, i64* %30
%142 = load i32, i32* %9
%143 = call i32 @UINT8_C(i32 255)
%144 = and i32 %142, %143
%145 = sext i32 %144 to i64
store i64 %145, i64* %31
%146 = load i32, i32* %9
%147 = ashr i32 %146, 8
store i32 %147, i32* %32
%148 = load i32, i32* %32
%149 = call i32 @UINT8_C(i32 255)
%150 = and i32 %148, %149
%151 = sext i32 %150 to i64
store i64 %151, i64* %33
%152 = load i32, i32* %32
%153 = ashr i32 %152, 8
store i32 %153, i32* %34
%154 = load i32, i32* %34
%155 = call i32 @UINT8_C(i32 255)
%156 = and i32 %154, %155
%157 = sext i32 %156 to i64
store i64 %157, i64* %35
%158 = load i32, i32* %34
%159 = ashr i32 %158, 8
%160 = sext i32 %159 to i64
store i64 %160, i64* %36
%161 = load i32, i32* %8
%162 = call i32 @UINT8_C(i32 255)
%163 = and i32 %161, %162
%164 = sext i32 %163 to i64
store i64 %164, i64* %37
%165 = load i32, i32* %8
%166 = ashr i32 %165, 8
store i32 %166, i32* %38
%167 = load i32, i32* %38
%168 = call i32 @UINT8_C(i32 255)
%169 = and i32 %167, %168
%170 = sext i32 %169 to i64
store i64 %170, i64* %39
%171 = load i32, i32* %38
%172 = ashr i32 %171, 8
store i32 %172, i32* %40
%173 = load i32, i32* %40
%174 = call i32 @UINT8_C(i32 255)
%175 = and i32 %173, %174
%176 = sext i32 %175 to i64
store i64 %176, i64* %41
%177 = load i32, i32* %40
%178 = ashr i32 %177, 8
%179 = sext i32 %178 to i64
store i64 %179, i64* %42
%180 = load i32, i32* %7
%181 = call i32 @UINT8_C(i32 255)
%182 = and i32 %180, %181
%183 = sext i32 %182 to i64
store i64 %183, i64* %43
%184 = load i32, i32* %7
%185 = ashr i32 %184, 8
store i32 %185, i32* %44
%186 = load i32, i32* %44
%187 = call i32 @UINT8_C(i32 255)
%188 = and i32 %186, %187
%189 = sext i32 %188 to i64
store i64 %189, i64* %45
%190 = load i32, i32* %44
%191 = ashr i32 %190, 8
store i32 %191, i32* %46
%192 = load i32, i32* %46
%193 = call i32 @UINT8_C(i32 255)
%194 = and i32 %192, %193
%195 = sext i32 %194 to i64
store i64 %195, i64* %47
%196 = load i32, i32* %46
%197 = ashr i32 %196, 8
%198 = sext i32 %197 to i64
store i64 %198, i64* %48
%199 = load i32, i32* %6
%200 = call i32 @UINT8_C(i32 255)
%201 = and i32 %199, %200
%202 = sext i32 %201 to i64
store i64 %202, i64* %49
%203 = load i32, i32* %6
%204 = ashr i32 %203, 8
store i32 %204, i32* %50
%205 = load i32, i32* %50
%206 = call i32 @UINT8_C(i32 255)
%207 = and i32 %205, %206
%208 = sext i32 %207 to i64
store i64 %208, i64* %51
%209 = load i32, i32* %50
%210 = ashr i32 %209, 8
store i32 %210, i32* %52
%211 = load i32, i32* %52
%212 = call i32 @UINT8_C(i32 255)
%213 = and i32 %211, %212
%214 = sext i32 %213 to i64
store i64 %214, i64* %53
%215 = load i32, i32* %52
%216 = ashr i32 %215, 8
%217 = sext i32 %216 to i64
store i64 %217, i64* %54
%218 = load i32, i32* %5
%219 = call i32 @UINT8_C(i32 255)
%220 = and i32 %218, %219
%221 = sext i32 %220 to i64
store i64 %221, i64* %55
%222 = load i32, i32* %5
%223 = ashr i32 %222, 8
store i32 %223, i32* %56
%224 = load i32, i32* %56
%225 = call i32 @UINT8_C(i32 255)
%226 = and i32 %224, %225
%227 = sext i32 %226 to i64
store i64 %227, i64* %57
%228 = load i32, i32* %56
%229 = ashr i32 %228, 8
store i32 %229, i32* %58
%230 = load i32, i32* %58
%231 = call i32 @UINT8_C(i32 255)
%232 = and i32 %230, %231
%233 = sext i32 %232 to i64
store i64 %233, i64* %59
%234 = load i32, i32* %58
%235 = ashr i32 %234, 8
%236 = sext i32 %235 to i64
store i64 %236, i64* %60
%237 = load i64, i64* %13
%238 = load i64*, i64** %3
%239 = getelementptr inbounds i64, i64* %238, i64 0
store i64 %237, i64* %239
%240 = load i64, i64* %15
%241 = load i64*, i64** %3
%242 = getelementptr inbounds i64, i64* %241, i64 1
store i64 %240, i64* %242
%243 = load i64, i64* %17
%244 = load i64*, i64** %3
%245 = getelementptr inbounds i64, i64* %244, i64 2
store i64 %243, i64* %245
%246 = load i64, i64* %18
%247 = load i64*, i64** %3
%248 = getelementptr inbounds i64, i64* %247, i64 3
store i64 %246, i64* %248
%249 = load i64, i64* %19
%250 = load i64*, i64** %3
%251 = getelementptr inbounds i64, i64* %250, i64 4
store i64 %249, i64* %251
%252 = load i64, i64* %21
%253 = load i64*, i64** %3
%254 = getelementptr inbounds i64, i64* %253, i64 5
store i64 %252, i64* %254
%255 = load i64, i64* %23
%256 = load i64*, i64** %3
%257 = getelementptr inbounds i64, i64* %256, i64 6
store i64 %255, i64* %257
%258 = load i64, i64* %24
%259 = load i64*, i64** %3
%260 = getelementptr inbounds i64, i64* %259, i64 7
store i64 %258, i64* %260
%261 = load i64, i64* %25
%262 = load i64*, i64** %3
%263 = getelementptr inbounds i64, i64* %262, i64 8
store i64 %261, i64* %263
%264 = load i64, i64* %27
%265 = load i64*, i64** %3
%266 = getelementptr inbounds i64, i64* %265, i64 9
store i64 %264, i64* %266
%267 = load i64, i64* %29
%268 = load i64*, i64** %3
%269 = getelementptr inbounds i64, i64* %268, i64 10
store i64 %267, i64* %269
%270 = load i64, i64* %30
%271 = load i64*, i64** %3
%272 = getelementptr inbounds i64, i64* %271, i64 11
store i64 %270, i64* %272
%273 = load i64, i64* %31
%274 = load i64*, i64** %3
%275 = getelementptr inbounds i64, i64* %274, i64 12
store i64 %273, i64* %275
%276 = load i64, i64* %33
%277 = load i64*, i64** %3
%278 = getelementptr inbounds i64, i64* %277, i64 13
store i64 %276, i64* %278
%279 = load i64, i64* %35
%280 = load i64*, i64** %3
%281 = getelementptr inbounds i64, i64* %280, i64 14
store i64 %279, i64* %281
%282 = load i64, i64* %36
%283 = load i64*, i64** %3
%284 = getelementptr inbounds i64, i64* %283, i64 15
store i64 %282, i64* %284
%285 = load i64, i64* %37
%286 = load i64*, i64** %3
%287 = getelementptr inbounds i64, i64* %286, i64 16
store i64 %285, i64* %287
%288 = load i64, i64* %39
%289 = load i64*, i64** %3
%290 = getelementptr inbounds i64, i64* %289, i64 17
store i64 %288, i64* %290
%291 = load i64, i64* %41
%292 = load i64*, i64** %3
%293 = getelementptr inbounds i64, i64* %292, i64 18
store i64 %291, i64* %293
%294 = load i64, i64* %42
%295 = load i64*, i64** %3
%296 = getelementptr inbounds i64, i64* %295, i64 19
store i64 %294, i64* %296
%297 = load i64, i64* %43
%298 = load i64*, i64** %3
%299 = getelementptr inbounds i64, i64* %298, i64 20
store i64 %297, i64* %299
%300 = load i64, i64* %45
%301 = load i64*, i64** %3
%302 = getelementptr inbounds i64, i64* %301, i64 21
store i64 %300, i64* %302
%303 = load i64, i64* %47
%304 = load i64*, i64** %3
%305 = getelementptr inbounds i64, i64* %304, i64 22
store i64 %303, i64* %305
%306 = load i64, i64* %48
%307 = load i64*, i64** %3
%308 = getelementptr inbounds i64, i64* %307, i64 23
store i64 %306, i64* %308
%309 = load i64, i64* %49
%310 = load i64*, i64** %3
%311 = getelementptr inbounds i64, i64* %310, i64 24
store i64 %309, i64* %311
%312 = load i64, i64* %51
%313 = load i64*, i64** %3
%314 = getelementptr inbounds i64, i64* %313, i64 25
store i64 %312, i64* %314
%315 = load i64, i64* %53
%316 = load i64*, i64** %3
%317 = getelementptr inbounds i64, i64* %316, i64 26
store i64 %315, i64* %317
%318 = load i64, i64* %54
%319 = load i64*, i64** %3
%320 = getelementptr inbounds i64, i64* %319, i64 27
store i64 %318, i64* %320
%321 = load i64, i64* %55
%322 = load i64*, i64** %3
%323 = getelementptr inbounds i64, i64* %322, i64 28
store i64 %321, i64* %323
%324 = load i64, i64* %57
%325 = load i64*, i64** %3
%326 = getelementptr inbounds i64, i64* %325, i64 29
store i64 %324, i64* %326
%327 = load i64, i64* %59
%328 = load i64*, i64** %3
%329 = getelementptr inbounds i64, i64* %328, i64 30
store i64 %327, i64* %329
%330 = load i64, i64* %60
%331 = load i64*, i64** %3
%332 = getelementptr inbounds i64, i64* %331, i64 31
store i64 %330, i64* %332
ret void
}

LLVM IR (-O2):
define void @fiat_secp256k1_to_bytes(i64* writeonly %0, i32* nocapture %1) {
%3 = getelementptr inbounds i32, i32* %1, i64 7
%4 = load i32, i32* %3
%5 = getelementptr inbounds i32, i32* %1, i64 6
%6 = load i32, i32* %5
%7 = getelementptr inbounds i32, i32* %1, i64 5
%8 = load i32, i32* %7
%9 = getelementptr inbounds i32, i32* %1, i64 4
%10 = load i32, i32* %9
%11 = getelementptr inbounds i32, i32* %1, i64 3
%12 = load i32, i32* %11
%13 = getelementptr inbounds i32, i32* %1, i64 2
%14 = load i32, i32* %13
%15 = getelementptr inbounds i32, i32* %1, i64 1
%16 = load i32, i32* %15
%17 = load i32, i32* %1
%18 = tail call i32 @UINT8_C(i32 255)
%19 = and i32 %18, %17
%20 = sext i32 %19 to i64
%21 = ashr i32 %17, 8
%22 = tail call i32 @UINT8_C(i32 255)
%23 = and i32 %22, %21
%24 = sext i32 %23 to i64
%25 = ashr i32 %17, 16
%26 = tail call i32 @UINT8_C(i32 255)
%27 = and i32 %26, %25
%28 = sext i32 %27 to i64
%29 = ashr i32 %17, 24
%30 = sext i32 %29 to i64
%31 = tail call i32 @UINT8_C(i32 255)
%32 = and i32 %31, %16
%33 = sext i32 %32 to i64
%34 = ashr i32 %16, 8
%35 = tail call i32 @UINT8_C(i32 255)
%36 = and i32 %35, %34
%37 = sext i32 %36 to i64
%38 = ashr i32 %16, 16
%39 = tail call i32 @UINT8_C(i32 255)
%40 = and i32 %39, %38
%41 = sext i32 %40 to i64
%42 = ashr i32 %16, 24
%43 = sext i32 %42 to i64
%44 = tail call i32 @UINT8_C(i32 255)
%45 = and i32 %44, %14
%46 = sext i32 %45 to i64
%47 = ashr i32 %14, 8
%48 = tail call i32 @UINT8_C(i32 255)
%49 = and i32 %48, %47
%50 = sext i32 %49 to i64
%51 = ashr i32 %14, 16
%52 = tail call i32 @UINT8_C(i32 255)
%53 = and i32 %52, %51
%54 = sext i32 %53 to i64
%55 = ashr i32 %14, 24
%56 = sext i32 %55 to i64
%57 = tail call i32 @UINT8_C(i32 255)
%58 = and i32 %57, %12
%59 = sext i32 %58 to i64
%60 = ashr i32 %12, 8
%61 = tail call i32 @UINT8_C(i32 255)
%62 = and i32 %61, %60
%63 = sext i32 %62 to i64
%64 = ashr i32 %12, 16
%65 = tail call i32 @UINT8_C(i32 255)
%66 = and i32 %65, %64
%67 = sext i32 %66 to i64
%68 = ashr i32 %12, 24
%69 = sext i32 %68 to i64
%70 = tail call i32 @UINT8_C(i32 255)
%71 = and i32 %70, %10
%72 = sext i32 %71 to i64
%73 = ashr i32 %10, 8
%74 = tail call i32 @UINT8_C(i32 255)
%75 = and i32 %74, %73
%76 = sext i32 %75 to i64
%77 = ashr i32 %10, 16
%78 = tail call i32 @UINT8_C(i32 255)
%79 = and i32 %78, %77
%80 = sext i32 %79 to i64
%81 = ashr i32 %10, 24
%82 = sext i32 %81 to i64
%83 = tail call i32 @UINT8_C(i32 255)
%84 = and i32 %83, %8
%85 = sext i32 %84 to i64
%86 = ashr i32 %8, 8
%87 = tail call i32 @UINT8_C(i32 255)
%88 = and i32 %87, %86
%89 = sext i32 %88 to i64
%90 = ashr i32 %8, 16
%91 = tail call i32 @UINT8_C(i32 255)
%92 = and i32 %91, %90
%93 = sext i32 %92 to i64
%94 = ashr i32 %8, 24
%95 = sext i32 %94 to i64
%96 = tail call i32 @UINT8_C(i32 255)
%97 = and i32 %96, %6
%98 = sext i32 %97 to i64
%99 = ashr i32 %6, 8
%100 = tail call i32 @UINT8_C(i32 255)
%101 = and i32 %100, %99
%102 = sext i32 %101 to i64
%103 = ashr i32 %6, 16
%104 = tail call i32 @UINT8_C(i32 255)
%105 = and i32 %104, %103
%106 = sext i32 %105 to i64
%107 = ashr i32 %6, 24
%108 = sext i32 %107 to i64
%109 = tail call i32 @UINT8_C(i32 255)
%110 = and i32 %109, %4
%111 = sext i32 %110 to i64
%112 = ashr i32 %4, 8
%113 = tail call i32 @UINT8_C(i32 255)
%114 = and i32 %113, %112
%115 = sext i32 %114 to i64
%116 = ashr i32 %4, 16
%117 = tail call i32 @UINT8_C(i32 255)
%118 = and i32 %117, %116
%119 = sext i32 %118 to i64
%120 = ashr i32 %4, 24
%121 = sext i32 %120 to i64
store i64 %20, i64* %0
%122 = getelementptr inbounds i64, i64* %0, i64 1
store i64 %24, i64* %122
%123 = getelementptr inbounds i64, i64* %0, i64 2
store i64 %28, i64* %123
%124 = getelementptr inbounds i64, i64* %0, i64 3
store i64 %30, i64* %124
%125 = getelementptr inbounds i64, i64* %0, i64 4
store i64 %33, i64* %125
%126 = getelementptr inbounds i64, i64* %0, i64 5
store i64 %37, i64* %126
%127 = getelementptr inbounds i64, i64* %0, i64 6
store i64 %41, i64* %127
%128 = getelementptr inbounds i64, i64* %0, i64 7
store i64 %43, i64* %128
%129 = getelementptr inbounds i64, i64* %0, i64 8
store i64 %46, i64* %129
%130 = getelementptr inbounds i64, i64* %0, i64 9
store i64 %50, i64* %130
%131 = getelementptr inbounds i64, i64* %0, i64 10
store i64 %54, i64* %131
%132 = getelementptr inbounds i64, i64* %0, i64 11
store i64 %56, i64* %132
%133 = getelementptr inbounds i64, i64* %0, i64 12
store i64 %59, i64* %133
%134 = getelementptr inbounds i64, i64* %0, i64 13
store i64 %63, i64* %134
%135 = getelementptr inbounds i64, i64* %0, i64 14
store i64 %67, i64* %135
%136 = getelementptr inbounds i64, i64* %0, i64 15
store i64 %69, i64* %136
%137 = getelementptr inbounds i64, i64* %0, i64 16
store i64 %72, i64* %137
%138 = getelementptr inbounds i64, i64* %0, i64 17
store i64 %76, i64* %138
%139 = getelementptr inbounds i64, i64* %0, i64 18
store i64 %80, i64* %139
%140 = getelementptr inbounds i64, i64* %0, i64 19
store i64 %82, i64* %140
%141 = getelementptr inbounds i64, i64* %0, i64 20
store i64 %85, i64* %141
%142 = getelementptr inbounds i64, i64* %0, i64 21
store i64 %89, i64* %142
%143 = getelementptr inbounds i64, i64* %0, i64 22
store i64 %93, i64* %143
%144 = getelementptr inbounds i64, i64* %0, i64 23
store i64 %95, i64* %144
%145 = getelementptr inbounds i64, i64* %0, i64 24
store i64 %98, i64* %145
%146 = getelementptr inbounds i64, i64* %0, i64 25
store i64 %102, i64* %146
%147 = getelementptr inbounds i64, i64* %0, i64 26
store i64 %106, i64* %147
%148 = getelementptr inbounds i64, i64* %0, i64 27
store i64 %108, i64* %148
%149 = getelementptr inbounds i64, i64* %0, i64 28
store i64 %111, i64* %149
%150 = getelementptr inbounds i64, i64* %0, i64 29
store i64 %115, i64* %150
%151 = getelementptr inbounds i64, i64* %0, i64 30
store i64 %119, i64* %151
%152 = getelementptr inbounds i64, i64* %0, i64 31
store i64 %121, i64* %152
ret void
}