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

```asm
<gen_big_unrolled>:
  endbr64
  push   %r15
  lea    D109(%rip),%rdi
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  xor    %ebp,%ebp
  push   %rbx
  lea    D126(%rip),%rbx
  sub    $0x18,%rsp
  call   <puts@plt>
  lea    D64(%rip),%rdi
  call   <puts@plt>
  lea    D34(%rip),%rdi
  call   <puts@plt>
  lea    D13(%rip),%rdi
  call   <puts@plt>
  lea    D39(%rip),%rdi
  call   <puts@plt>
  lea    D27(%rip),%rdi
  call   <puts@plt>
  lea    D124(%rip),%rdi
  call   <puts@plt>
  mov    $0xa,%edi
  call   <putchar@plt>
  nopl   0x0(%rax)
L55:
  mov    %ebp,%edx
  mov    %ebp,%esi
  mov    %rbx,%rdi
  xor    %eax,%eax
  call   <printf@plt>
  add    $0x1,%ebp
  cmp    $0x10,%ebp
  jne    L55
  mov    %ebp,0xc(%rsp)
  lea    D100(%rip),%r12
  lea    D127(%rip),%r14
  movl   $0x0,0x8(%rsp)
L133:
  mov    0x8(%rsp),%ebx
  lea    D98(%rip),%rdi
  xor    %eax,%eax
  mov    %ebx,%esi
  mov    %ebx,%ebp
  call   <printf@plt>
  mov    %ebx,%eax
  shl    $0x5,%ebp
  xor    %ebx,%ebx
  neg    %eax
  mov    %eax,%r13d
  and    $0x3,%r13d
  lea    0x0(,%r13,4),%eax
  mov    %eax,0x4(%rsp)
L98:
  test   %ebx,%ebx
  je     L52
L122:
  xor    %r13d,%r13d
L132:
  lea    0x0(%r13,%rbp,1),%r15d
  mov    %r15d,%edi
  call   <gen_big_rk@plt>
  mov    %r15d,%edx
  mov    %r13d,%esi
  mov    %r12,%rdi
  and    $0x1f,%edx
  xor    %eax,%eax
  add    $0x1,%r13d
  call   <printf@plt>
  cmp    $0x4,%r13d
  jne    L132
  lea    D73(%rip),%rdi
  add    $0x1,%ebx
  add    $0x4,%ebp
  call   <puts@plt>
  cmp    $0x4,%ebx
  jne    L98
  mov    0x4(%rsp),%ebp
  xor    %ebx,%ebx
L56:
  lea    0x0(%rbp,%rbx,1),%esi
  mov    %ebx,%edx
  lea    D11(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  add    $0x1,%ebx
  cmp    $0x4,%ebx
  jne    L56
  mov    0xc(%rsp),%ebp
  xor    %ebx,%ebx
L9:
  test   %ebx,%ebx
  je     L66
L127:
  xor    %r13d,%r13d
L118:
  lea    0x0(%r13,%rbp,1),%r15d
  mov    %r15d,%edi
  call   <gen_big_rk@plt>
  mov    %r15d,%edx
  mov    %r13d,%esi
  mov    %r12,%rdi
  and    $0x1f,%edx
  xor    %eax,%eax
  add    $0x1,%r13d
  call   <printf@plt>
  cmp    $0x4,%r13d
  jne    L118
  lea    D73(%rip),%rdi
  add    $0x1,%ebx
  add    $0x4,%ebp
  call   <puts@plt>
  cmp    $0x4,%ebx
  jne    L9
  mov    0x4(%rsp),%r13d
  xor    %ebx,%ebx
  add    $0x8,%r13d
L60:
  lea    0x0(%r13,%rbx,1),%esi
  mov    %ebx,%edx
  lea    D11(%rip),%rdi
  xor    %eax,%eax
  and    $0xf,%esi
  add    $0x1,%ebx
  call   <printf@plt>
  cmp    $0x4,%ebx
  jne    L60
  addl   $0x1,0x8(%rsp)
  mov    0x8(%rsp),%eax
  addl   $0x20,0xc(%rsp)
  cmp    $0xe,%eax
  jne    L133
  xor    %ebx,%ebx
  lea    D14(%rip),%rbp
  nopl   (%rax)
L33:
  lea    0x8(%rbx),%edx
  mov    %ebx,%esi
  mov    %rbp,%rdi
  xor    %eax,%eax
  and    $0xf,%edx
  add    $0x1,%ebx
  call   <printf@plt>
  cmp    $0x10,%ebx
  jne    L33
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax)
L66:
  mov    0x4(%rsp),%eax
  lea    0xc(%rax),%r15d
L17:
  lea    (%rbx,%rbp,1),%r13d
  mov    %r13d,%edi
  call   <gen_big_rk@plt>
  lea    (%r15,%rbx,1),%edx
  mov    %r13d,%ecx
  mov    %ebx,%esi
  and    $0x1f,%ecx
  and    $0xf,%edx
  mov    %r14,%rdi
  xor    %eax,%eax
  call   <printf@plt>
  add    $0x1,%ebx
  cmp    $0x4,%ebx
  jne    L17
  lea    D73(%rip),%rdi
  add    $0x4,%ebp
  mov    $0x1,%ebx
  call   <puts@plt>
  jmp    L127
  xchg   %ax,%ax
L52:
  mov    0x4(%rsp),%eax
  lea    0x4(%rax),%r15d
L64:
  lea    (%rbx,%rbp,1),%r13d
  mov    %r13d,%edi
  call   <gen_big_rk@plt>
  lea    (%r15,%rbx,1),%edx
  mov    %r13d,%ecx
  mov    %ebx,%esi
  and    $0x1f,%ecx
  and    $0xf,%edx
  mov    %r14,%rdi
  xor    %eax,%eax
  call   <printf@plt>
  add    $0x1,%ebx
  cmp    $0x4,%ebx
  jne    L64
  lea    D73(%rip),%rdi
  add    $0x4,%ebp
  mov    $0x1,%ebx
  call   <puts@plt>
  jmp    L122
```

tool_calls: name: read_data
arguments: label: D109
type_infered: string
name: read_data
arguments: label: D126
type_infered: string
name: read_data
arguments: label: D64
type_infered: string
name: read_data
arguments: label: D34
type_infered: string
name: read_data
arguments: label: D13
type_infered: string
name: read_data
arguments: label: D39
type_infered: string
name: read_data
arguments: label: D27
type_infered: string
name: read_data
arguments: label: D124
type_infered: string
name: read_data
arguments: label: D100
type_infered: string
name: read_data
arguments: label: D127
type_infered: string
name: read_data
arguments: label: D98
type_infered: string
name: read_data
arguments: label: D73
type_infered: string
name: read_data
arguments: label: D11
type_infered: string
name: read_data
arguments: label: D14
type_infered: string

tool: D109: 	sph_u32 p0, p1, p2, p3, p4, p5, p6, p7;

tool: D126: 	p%X = sc->h[0x%X];


tool: D64: 	sph_u32 p8, p9, pA, pB, pC, pD, pE, pF;

tool: D34: 	sph_u32 x0, x1, x2, x3;

tool: D13: 	sph_u32 rk00, rk01, rk02, rk03, rk04, rk05, rk06, rk07;

tool: D39: 	sph_u32 rk08, rk09, rk0A, rk0B, rk0C, rk0D, rk0E, rk0F;

tool: D27: 	sph_u32 rk10, rk11, rk12, rk13, rk14, rk15, rk16, rk17;

tool: D124: 	sph_u32 rk18, rk19, rk1A, rk1B, rk1C, rk1D, rk1E, rk1F;

tool: D100: 	x%u ^= rk%02X;


tool: D127: 	x%u = p%X ^ rk%02X;


tool: D98: 	/* round %u */


tool: D73: 	AES_ROUND_NOKEY(x0, x1, x2, x3);

tool: D11: 	p%X ^= x%u;


tool: D14: 	sc->h[0x%X] ^= p%X;


assistant: ```c
void gen_big_unrolled(void) {
  unsigned u, v;
  printf("\tsph_u32 p0, p1, p2, p3, p4, p5, p6, p7;\n");
  printf("\tsph_u32 p8, p9, pA, pB, pC, pD, pE, pF;\n");
  printf("\tsph_u32 x0, x1, x2, x3;\n");
  printf("\tsph_u32 rk00, rk01, rk02, rk03, rk04, rk05, rk06, rk07;\n");
  printf("\tsph_u32 rk08, rk09, rk0A, rk0B, rk0C, rk0D, rk0E, rk0F;\n");
  printf("\tsph_u32 rk10, rk11, rk12, rk13, rk14, rk15, rk16, rk17;\n");
  printf("\tsph_u32 rk18, rk19, rk1A, rk1B, rk1C, rk1D, rk1E, rk1F;\n");
  printf("\n");
  for (u = 0; u < 16; u++)
    printf("\tp%X = sc->h[0x%X];\n", u, u);
  for (u = 0; u < 14; u++) {
    unsigned x;
    unsigned po;
    unsigned w;
    printf("\t/* round %u */\n", u);
    x = 32 * u;
    po = 4 * ((-u) & 3);
    for (w = 0; w < 4; w++) {
      for (v = 0; v < 4; v++) {
        gen_big_rk(x + v);
        if (w == 0) {
          printf("\tx%u = p%X ^ rk%02X;\n", v, (po + 4 + v) & 15, (x + v) & 31);
        } else {
          printf("\tx%u ^= rk%02X;\n", v, (x + v) & 31);
        }
      }
      printf("\tAES_ROUND_NOKEY(x0, x1, x2, x3);\n");
      x += 4;
    }
    for (v = 0; v < 4; v++)
      printf("\tp%X ^= x%u;\n", (po + v) & 15, v);
    for (w = 0; w < 4; w++) {
      for (v = 0; v < 4; v++) {
        gen_big_rk(x + v);
        if (w == 0) {
          printf("\tx%u = p%X ^ rk%02X;\n", v, (po + 12 + v) & 15, (x + v) & 31);
        } else {
          printf("\tx%u ^= rk%02X;\n", v, (x + v) & 31);
        }
      }
      printf("\tAES_ROUND_NOKEY(x0, x1, x2, x3);\n");
      x += 4;
    }
    for (v = 0; v < 4; v++)
      printf("\tp%X ^= x%u;\n", (po + v + 8) & 15, v);
  }
  for (u = 0; u < 16; u++)
    printf("\tsc->h[0x%X] ^= p%X;\n", u, (u + 8) & 15);
}
```