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

```asm
<main>:
  endbr64
  push   %r12
  mov    $0xa,%esi
  push   %rbp
  lea    D12(%rip),%rbp
  sub    $0x98,%rsp
  movdqa D81(%rip),%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,0x88(%rsp)
  xor    %eax,%eax
  lea    0x30(%rsp),%r12
  movaps %xmm0,0x30(%rsp)
  movdqa D37(%rip),%xmm0
  mov    %r12,%rdi
  movaps %xmm0,0x40(%rsp)
  movdqa D38(%rip),%xmm0
  movaps %xmm0,0x50(%rsp)
  movdqa D41(%rip),%xmm0
  movaps %xmm0,0x60(%rsp)
  movdqa D20(%rip),%xmm0
  movaps %xmm0,0x70(%rsp)
  call   <print_longs@plt>
  mov    %rbp,%rdi
  call   <printf@plt>
  mov    %r12,%rdi
  mov    $0xa,%esi
  call   <shuffle@plt>
  mov    $0xa,%esi
  mov    %r12,%rdi
  mov    %rsp,%r12
  call   <print_longs@plt>
  lea    D76(%rip),%rdi
  call   <printf@plt>
  lea    D68(%rip),%rdi
  call   <printf@plt>
  movd   0x78(%rsp),%xmm1
  mov    $0xa,%esi
  mov    %r12,%rdi
  movdqa 0x30(%rsp),%xmm0
  shufps $0x88,0x40(%rsp),%xmm0
  movaps %xmm0,(%rsp)
  movdqa 0x50(%rsp),%xmm0
  shufps $0x88,0x60(%rsp),%xmm0
  movaps %xmm0,0x10(%rsp)
  movd   0x70(%rsp),%xmm0
  punpckldq %xmm1,%xmm0
  movq   %xmm0,0x20(%rsp)
  call   <print_ints@plt>
  mov    %rbp,%rdi
  call   <printf@plt>
  mov    $0x9,%edx
  xor    %esi,%esi
  mov    %r12,%rdi
  call   <quicksort_ints@plt>
  mov    $0xa,%esi
  mov    %r12,%rdi
  call   <print_ints@plt>
  mov    %rbp,%rdi
  call   <printf@plt>
  lea    D66(%rip),%rdi
  call   <printf@plt>
  mov    0x88(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L7
  add    $0x98,%rsp
  xor    %eax,%eax
  pop    %rbp
  pop    %r12
  ret
L7:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D12
type_guessed: string
name: extract_symbolic_data
arguments: data_tag: D81
type_guessed: byte[16]
name: extract_symbolic_data
arguments: data_tag: D37
type_guessed: byte[16]
name: extract_symbolic_data
arguments: data_tag: D38
type_guessed: byte[16]
name: extract_symbolic_data
arguments: data_tag: D41
type_guessed: byte[16]
name: extract_symbolic_data
arguments: data_tag: D20
type_guessed: byte[16]
name: extract_symbolic_data
arguments: data_tag: D76
type_guessed: string
name: extract_symbolic_data
arguments: data_tag: D68
type_guessed: string
name: extract_symbolic_data
arguments: data_tag: D66
type_guessed: string

tool: D12: 


tool: {"D81": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00]}

tool: {"D37": [0x02,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x03,0x00,0x00,0x00,0x00,0x00,0x00,0x00]}

tool: {"D38": [0x04,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x05,0x00,0x00,0x00,0x00,0x00,0x00,0x00]}

tool: {"D41": [0x06,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x07,0x00,0x00,0x00,0x00,0x00,0x00,0x00]}

tool: {"D20": [0x08,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x09,0x00,0x00,0x00,0x00,0x00,0x00,0x00]}

tool: D76: 



tool: D68: ints:


tool: D66: DONE


assistant: ```c
int main() {
  int n = 10;
  long A[10];
  for (int i = 0; i < n; i++)
    A[i] = i;
  print_longs(A, n);
  printf("\n");
  shuffle(A, n);
  print_longs(A, n);
  printf("\n\n");
  printf("ints:\n");
  int B[n];
  for (int i = 0; i < n; i++)
    B[i] = A[i];
  print_ints(B, n);
  printf("\n");
  quicksort_ints(B, 0, 9);
  print_ints(B, n);
  printf("\n");
  printf("DONE\n");
}
```