user: What would the C source look like for the assembly code provided here:

```asm
<eigen_double>:
  endbr64
  push   %rbp
  mov    %edi,%eax
  mov    %rsi,%rcx
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbx
  mov    %rdx,%rbx
  sub    $0x58,%rsp
  mov    %edi,-0x54(%rbp)
  mov    %fs:0x28,%rdx
  mov    %rdx,-0x38(%rbp)
  xor    %edx,%edx
  movslq %edi,%rdx
  mov    %rsp,%rdi
  lea    0xf(,%rdx,8),%rdx
  mov    %rdx,%r8
  mov    %rdx,%rsi
  and    $0xfffffffffffff000,%r8
  and    $0xfffffffffffffff0,%rsi
  sub    %r8,%rdi
  cmp    %rdi,%rsp
  je     L170
L127:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rdi,%rsp
  jne    L127
L170:
  and    $0xfff,%esi
  sub    %rsi,%rsp
  test   %rsi,%rsi
  jne    L3
L24:
  mov    %rdx,%rsi
  mov    %rsp,%rdi
  and    $0xfffffffffffff000,%rdx
  mov    %rsp,%r9
  sub    %rdx,%rdi
  and    $0xfffffffffffffff0,%rsi
  cmp    %rdi,%rsp
  je     L172
L20:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rdi,%rsp
  jne    L20
L172:
  and    $0xfff,%esi
  sub    %rsi,%rsp
  test   %rsi,%rsi
  jne    L169
L31:
  imul   %eax,%eax
  mov    %rsp,%rsi
  mov    %rsp,%r12
  cltq
  lea    0xf(,%rax,8),%rax
  mov    %rax,%rdi
  mov    %rax,%rdx
  and    $0xfffffffffffff000,%rdi
  and    $0xfffffffffffffff0,%rdx
  sub    %rdi,%rsi
  cmp    %rsi,%rsp
  je     L208
L13:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rsi,%rsp
  jne    L13
L208:
  and    $0xfff,%edx
  sub    %rdx,%rsp
  test   %rdx,%rdx
  je     L146
  orq    $0x0,-0x8(%rsp,%rdx,1)
L146:
  mov    %rax,%rdx
  mov    %rsp,%rsi
  and    $0xfffffffffffff000,%rax
  mov    %rsp,%r14
  sub    %rax,%rsi
  and    $0xfffffffffffffff0,%rdx
  cmp    %rsi,%rsp
  je     L62
L117:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rsi,%rsp
  jne    L117
L62:
  mov    %rdx,%rax
  and    $0xfff,%eax
  sub    %rax,%rsp
  test   %rax,%rax
  je     L103
  orq    $0x0,-0x8(%rsp,%rax,1)
L103:
  lea    -0x48(%rbp),%r11
  lea    -0x44(%rbp),%rax
  mov    %rsp,%r15
  movl   $0xffffffff,-0x44(%rbp)
  lea    -0x54(%rbp),%r8
  push   %r11
  lea    D5(%rip),%r10
  mov    %r11,-0x80(%rbp)
  mov    %r8,%rdx
  mov    %r10,%rsi
  mov    %r10,%rdi
  mov    %rax,-0x60(%rbp)
  push   %rax
  lea    -0x40(%rbp),%rax
  push   %rax
  push   %r8
  push   %r15
  push   %r8
  push   %r14
  push   %r12
  mov    %r9,-0x78(%rbp)
  mov    %rcx,-0x70(%rbp)
  mov    %r8,-0x68(%rbp)
  call   <dgeev_@plt>
  cvttsd2si -0x40(%rbp),%eax
  mov    %r15,%rsp
  lea    0x0(,%rax,8),%edi
  mov    %eax,-0x44(%rbp)
  call   <malloc@plt>
  mov    -0x80(%rbp),%r11
  mov    -0x68(%rbp),%r8
  lea    D5(%rip),%r10
  mov    -0x78(%rbp),%r9
  mov    -0x70(%rbp),%rcx
  mov    %r10,%rdi
  mov    %rax,%r13
  push   %r11
  mov    %r8,%rdx
  mov    %r10,%rsi
  push   -0x60(%rbp)
  push   %rax
  push   %r8
  push   %r15
  push   %r8
  push   %r14
  push   %r12
  mov    %r9,-0x60(%rbp)
  call   <dgeev_@plt>
  mov    %r15,%rsp
  mov    %r13,%rdi
  call   <free@plt>
  movslq -0x54(%rbp),%rdx
  mov    -0x60(%rbp),%r9
  test   %edx,%edx
  jle    L129
  movsd  D12(%rip),%xmm2
  xor    %eax,%eax
  pxor   %xmm1,%xmm1
  jmp    L14
  cs nopw 0x0(%rax,%rax,1)
L116:
  movsd  (%r9,%rax,8),%xmm0
  movsd  %xmm0,(%rbx,%rax,8)
  add    $0x1,%rax
  cmp    %rax,%rdx
  je     L129
L14:
  ucomisd (%r12,%rax,8),%xmm1
  jp     L33
  je     L116
L33:
  movapd %xmm2,%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rbx,%rax,8)
  add    $0x1,%rax
  cmp    %rax,%rdx
  jne    L14
L129:
  mov    -0x48(%rbp),%edx
  xor    %eax,%eax
  test   %edx,%edx
  setg   %al
  mov    -0x38(%rbp),%rdx
  sub    %fs:0x28,%rdx
  jne    L71
  lea    -0x28(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
  nopl   0x0(%rax)
L3:
  orq    $0x0,-0x8(%rsp,%rsi,1)
  jmp    L24
L169:
  orq    $0x0,-0x8(%rsp,%rsi,1)
  jmp    L31
L71:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D5
type: string
name: extract_symbolic_data
arguments: data_label: D12
type: f64

tool: D5: Vectors

tool: D12: 1

assistant: ```c
int eigen_double(int n, double *a, double *out) {
  int j;
  int info, lwork;
  double wkopt;
  double *work;
  double wr[n], wi[n], vl[n * n], vr[n * n];
  lwork = -1;
  dgeev_("Vectors", "Vectors", &n, a, &n, wr, wi, vl, &n, vr, &n, &wkopt, &lwork, &info);
  lwork = (int)wkopt;
  work = (double *)malloc(lwork * sizeof(double));
  dgeev_("Vectors", "Vectors", &n, a, &n, wr, wi, vl, &n, vr, &n, work, &lwork, &info);
  free((void *)work);
  for (j = 0; j < n; j++) {
    if (wi[j] == (double)0.0) {
      out[j] = wr[j];
    } else {
      out[j] = (double)(1.0 / 0.0);
    }
  }
  if (info > 0) {
    return 1;
  } else {
    return 0;
  }
}
```