user: Demonstrate the C code that generates the assembly output below:

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  add    $0xffffffffffffff80,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movsd  D4(%rip),%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movsd  D171(%rip),%xmm0
  movsd  %xmm0,-0x68(%rbp)
  movsd  D110(%rip),%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  D3(%rip),%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  D192(%rip),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  D133(%rip),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  D13(%rip),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D13(%rip),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D128(%rip),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D66(%rip),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  D57(%rip),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  lea    D143(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  movq   $0x0,-0x80(%rbp)
  jmp    L38
L17:
  mov    -0x80(%rbp),%rax
  mov    -0x70(%rbp,%rax,8),%rax
  movq   %rax,%xmm0
  lea    D127(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  addq   $0x1,-0x80(%rbp)
L38:
  cmpq   $0x4,-0x80(%rbp)
  jle    L17
  lea    D172(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  movq   $0x0,-0x80(%rbp)
  jmp    L48
L41:
  mov    -0x80(%rbp),%rax
  mov    -0x40(%rbp,%rax,8),%rax
  movq   %rax,%xmm0
  lea    D127(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  addq   $0x1,-0x80(%rbp)
L48:
  cmpq   $0x5,-0x80(%rbp)
  jle    L41
  lea    -0x70(%rbp),%rax
  mov    $0x4,%ecx
  mov    $0x0,%edx
  mov    %rax,%rsi
  mov    $0x0,%edi
  call   <CSPL_Array_quickselect@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x78(%rbp)
  mov    -0x78(%rbp),%rax
  movq   %rax,%xmm0
  lea    D18(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  lea    -0x70(%rbp),%rax
  mov    $0x4,%ecx
  mov    $0x0,%edx
  mov    %rax,%rsi
  mov    $0x1,%edi
  call   <CSPL_Array_quickselect@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x78(%rbp)
  mov    -0x78(%rbp),%rax
  movq   %rax,%xmm0
  lea    D144(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  lea    -0x70(%rbp),%rax
  mov    $0x4,%ecx
  mov    $0x0,%edx
  mov    %rax,%rsi
  mov    $0x2,%edi
  call   <CSPL_Array_quickselect@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x78(%rbp)
  mov    -0x78(%rbp),%rax
  movq   %rax,%xmm0
  lea    D105(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  lea    -0x70(%rbp),%rax
  mov    $0x4,%ecx
  mov    $0x0,%edx
  mov    %rax,%rsi
  mov    $0x3,%edi
  call   <CSPL_Array_quickselect@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x78(%rbp)
  mov    -0x78(%rbp),%rax
  movq   %rax,%xmm0
  lea    D84(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  lea    -0x70(%rbp),%rax
  mov    $0x4,%ecx
  mov    $0x0,%edx
  mov    %rax,%rsi
  mov    $0x4,%edi
  call   <CSPL_Array_quickselect@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x78(%rbp)
  mov    -0x78(%rbp),%rax
  movq   %rax,%xmm0
  lea    D185(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    $0x0,%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L1
  call   <__stack_chk_fail@plt>
L1:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D4
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_tag: D171
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_tag: D110
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_tag: D3
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_tag: D192
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_tag: D133
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_tag: D13
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_tag: D128
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_tag: D66
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_tag: D57
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_tag: D143
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D127
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D172
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D18
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D144
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D105
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D84
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D185
type_infered: string

tool: {"D4": [0x00,0x00,0x00,0x00,0x00,0x00,0x34,0x40]}

tool: {"D171": [0x00,0x00,0x00,0x00,0x00,0x00,0x2e,0x40]}

tool: {"D110": [0x00,0x00,0x00,0x00,0x00,0x80,0x41,0x40]}

tool: {"D3": [0x00,0x00,0x00,0x00,0x00,0x00,0x44,0x40]}

tool: {"D192": [0x00,0x00,0x00,0x00,0x00,0x00,0x49,0x40]}

tool: {"D133": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

tool: {"D13": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x40]}

tool: {"D128": [0x00,0x00,0x00,0x00,0x00,0x00,0x18,0x40]}

tool: {"D66": [0x00,0x00,0x00,0x00,0x00,0x00,0x1c,0x40]}

tool: {"D57": [0x00,0x00,0x00,0x00,0x00,0x00,0x20,0x40]}

tool: D143: dat1:

tool: D127:   %lf


tool: D172: dat2:

tool: D18: CSPL_Array_quickselect(0, dat1, 0, 4)=%lf


tool: D144: CSPL_Array_quickselect(1, dat1, 0, 4)=%lf


tool: D105: CSPL_Array_quickselect(2, dat1, 0, 4)=%lf


tool: D84: CSPL_Array_quickselect(3, dat1, 0, 4)=%lf


tool: D185: CSPL_Array_quickselect(4, dat1, 0, 4)=%lf


assistant: ```c
int main(void) {
  double dat1[5] = {20, 15, 35, 40, 50};
  double dat2[6] = {1, 2, 2, 6, 7, 8};
  long i;
  double a1;
  printf("dat1:\n");
  for (i = 0; i < 5; i++)
    printf("  %lf\n", dat1[i]);
  printf("dat2:\n");
  for (i = 0; i < 6; i++)
    printf("  %lf\n", dat2[i]);
  a1 = CSPL_Array_quickselect(0, dat1, 0, 4);
  printf("CSPL_Array_quickselect(0, dat1, 0, 4)=%lf\n", a1);
  a1 = CSPL_Array_quickselect(1, dat1, 0, 4);
  printf("CSPL_Array_quickselect(1, dat1, 0, 4)=%lf\n", a1);
  a1 = CSPL_Array_quickselect(2, dat1, 0, 4);
  printf("CSPL_Array_quickselect(2, dat1, 0, 4)=%lf\n", a1);
  a1 = CSPL_Array_quickselect(3, dat1, 0, 4);
  printf("CSPL_Array_quickselect(3, dat1, 0, 4)=%lf\n", a1);
  a1 = CSPL_Array_quickselect(4, dat1, 0, 4);
  printf("CSPL_Array_quickselect(4, dat1, 0, 4)=%lf\n", a1);
  return (0);
}
```