user: What is the c source code of the assembly code below:

```asm
<fe_SigmaB2_at>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %rbx
  sub    $0x78,%rsp
  mov    %rdi,-0x58(%rbp)
  mov    %rsi,-0x60(%rbp)
  mov    %edx,-0x64(%rbp)
  movsd  %xmm0,-0x70(%rbp)
  mov    %ecx,-0x68(%rbp)
  mov    -0x68(%rbp),%eax
  sub    $0x1,%eax
  mov    $0x1,%edx
  mov    %eax,%ecx
  shl    %cl,%edx
  mov    %edx,%eax
  mov    %eax,-0x40(%rbp)
  movl   $0x1,-0x3c(%rbp)
  mov    -0x40(%rbp),%eax
  add    %eax,%eax
  lea    -0x1(%rax),%edx
  mov    -0x3c(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x68(%rbp),%eax
  mov    %eax,%esi
  lea    D110(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    -0x40(%rbp),%eax
  mov    %eax,%esi
  lea    D26(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    -0x38(%rbp),%eax
  mov    %eax,%esi
  lea    D27(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    -0x64(%rbp),%eax
  mov    %eax,%esi
  lea    D135(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    -0x70(%rbp),%rax
  movq   %rax,%xmm0
  lea    D105(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  movl   $0x0,-0x48(%rbp)
  jmp    L59
L38:
  mov    -0x48(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x60(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0x40(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  mov    -0x30(%rbp),%rax
  movq   %rax,%xmm0
  call   <ceil@plt>
  mov    %eax,%edx
  mov    -0x40(%rbp),%eax
  mov    %eax,%esi
  mov    %edx,%edi
  call   <mini@plt>
  mov    $0x1,%esi
  mov    %eax,%edi
  call   <maxi@plt>
  mov    %eax,-0x44(%rbp)
  mov    -0x40(%rbp),%eax
  lea    -0x1(%rax),%ebx
  movsd  -0x30(%rbp),%xmm0
  movsd  D81(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <ceil@plt>
  mov    %ebx,%esi
  mov    %eax,%edi
  call   <mini@plt>
  mov    $0x1,%esi
  mov    %eax,%edi
  call   <maxi@plt>
  mov    %eax,-0x34(%rbp)
  pxor   %xmm2,%xmm2
  cvtsi2sdl -0x44(%rbp),%xmm2
  movsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D29(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  call   <hat@plt>
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <sq@plt>
  movsd  -0x70(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  pxor   %xmm2,%xmm2
  cvtsi2sdl -0x34(%rbp),%xmm2
  movsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D81(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  call   <hat@plt>
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <sq@plt>
  movsd  -0x70(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm2,%xmm2
  cvtsi2sdl -0x44(%rbp),%xmm2
  movsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D29(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  call   <hat@plt>
  movsd  %xmm0,-0x78(%rbp)
  pxor   %xmm2,%xmm2
  cvtsi2sdl -0x34(%rbp),%xmm2
  movsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D81(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  call   <hat@plt>
  mulsd  -0x78(%rbp),%xmm0
  movsd  -0x70(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  cmpl   $0x9,-0x48(%rbp)
  jg     L14
  movsd  -0x18(%rbp),%xmm2
  movsd  -0x20(%rbp),%xmm1
  movsd  -0x28(%rbp),%xmm0
  mov    -0x34(%rbp),%edx
  mov    -0x44(%rbp),%ecx
  mov    -0x30(%rbp),%rax
  movapd %xmm2,%xmm3
  movapd %xmm1,%xmm2
  movapd %xmm0,%xmm1
  mov    %ecx,%esi
  movq   %rax,%xmm0
  lea    D14(%rip),%rax
  mov    %rax,%rdi
  mov    $0x4,%eax
  call   <printf@plt>
L14:
  mov    -0x44(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x38(%rbp),%eax
  mov    %eax,%edx
  mov    -0x44(%rbp),%eax
  add    %edx,%eax
  add    %eax,%eax
  cltq
  shl    $0x3,%rax
  lea    -0x10(%rax),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x44(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x38(%rbp),%eax
  mov    %eax,%edx
  mov    -0x44(%rbp),%eax
  add    %edx,%eax
  add    %eax,%eax
  cltq
  shl    $0x3,%rax
  lea    -0x10(%rax),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x34(%rbp),%eax
  add    %eax,%eax
  sub    $0x1,%eax
  imul   -0x38(%rbp),%eax
  mov    %eax,%edx
  mov    -0x34(%rbp),%eax
  add    %eax,%eax
  add    %edx,%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  add    %eax,%eax
  sub    $0x1,%eax
  imul   -0x38(%rbp),%eax
  mov    %eax,%edx
  mov    -0x34(%rbp),%eax
  add    %eax,%eax
  add    %edx,%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  addsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x34(%rbp),%eax
  add    %eax,%eax
  sub    $0x1,%eax
  imul   -0x38(%rbp),%eax
  mov    %eax,%edx
  mov    -0x44(%rbp),%eax
  add    %eax,%eax
  add    %edx,%eax
  cltq
  shl    $0x3,%rax
  lea    -0x10(%rax),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  add    %eax,%eax
  sub    $0x1,%eax
  imul   -0x38(%rbp),%eax
  mov    %eax,%edx
  mov    -0x44(%rbp),%eax
  add    %eax,%eax
  add    %edx,%eax
  cltq
  shl    $0x3,%rax
  lea    -0x10(%rax),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  addsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x44(%rbp),%edx
  sub    $0x1,%edx
  mov    %edx,%ecx
  imul   -0x38(%rbp),%ecx
  mov    -0x34(%rbp),%edx
  add    %ecx,%edx
  add    %edx,%edx
  movslq %edx,%rdx
  shl    $0x3,%rdx
  lea    -0x8(%rdx),%rcx
  mov    -0x58(%rbp),%rdx
  add    %rcx,%rdx
  movsd  (%rax),%xmm0
  movsd  %xmm0,(%rdx)
  pxor   %xmm2,%xmm2
  cvtsi2sdl -0x34(%rbp),%xmm2
  movsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D81(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  call   <hat@plt>
  movq   %xmm0,%rax
  movq   %rax,%xmm1
  mulsd  -0x70(%rbp),%xmm1
  mov    -0x34(%rbp),%eax
  add    %eax,%eax
  sub    $0x1,%eax
  imul   -0x38(%rbp),%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  add    %eax,%eax
  sub    $0x1,%eax
  imul   -0x38(%rbp),%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x38(%rbp),%edx
  sub    $0x1,%edx
  mov    %edx,%ecx
  imul   -0x38(%rbp),%ecx
  mov    -0x34(%rbp),%edx
  add    %edx,%edx
  add    %ecx,%edx
  movslq %edx,%rdx
  shl    $0x3,%rdx
  lea    -0x8(%rdx),%rcx
  mov    -0x58(%rbp),%rdx
  add    %rcx,%rdx
  movsd  (%rax),%xmm0
  movsd  %xmm0,(%rdx)
  pxor   %xmm2,%xmm2
  cvtsi2sdl -0x44(%rbp),%xmm2
  movsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D29(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  call   <hat@plt>
  movq   %xmm0,%rax
  movq   %rax,%xmm1
  mulsd  -0x70(%rbp),%xmm1
  mov    -0x44(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x38(%rbp),%eax
  lea    (%rax,%rax,1),%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x44(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x38(%rbp),%eax
  lea    (%rax,%rax,1),%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x38(%rbp),%edx
  sub    $0x1,%edx
  mov    %edx,%ecx
  imul   -0x38(%rbp),%ecx
  mov    -0x44(%rbp),%edx
  add    %edx,%edx
  add    %ecx,%edx
  movslq %edx,%rdx
  shl    $0x3,%rdx
  lea    -0x10(%rdx),%rcx
  mov    -0x58(%rbp),%rdx
  add    %rcx,%rdx
  movsd  (%rax),%xmm0
  movsd  %xmm0,(%rdx)
  addl   $0x1,-0x48(%rbp)
L59:
  mov    -0x48(%rbp),%eax
  cmp    -0x64(%rbp),%eax
  jl     L38
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0x64(%rbp),%xmm0
  mov    -0x38(%rbp),%eax
  imul   %eax,%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  mulsd  -0x70(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movl   $0x0,-0x44(%rbp)
  jmp    L13
L25:
  mov    -0x44(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  movq   %rax,%xmm0
  lea    D39(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    -0x44(%rbp),%eax
  cltd
  idivl  -0x38(%rbp)
  mov    -0x38(%rbp),%eax
  sub    $0x1,%eax
  cmp    %eax,%edx
  jne    L8
  mov    $0xa,%edi
  call   <putchar@plt>
L8:
  addl   $0x1,-0x44(%rbp)
L13:
  mov    -0x38(%rbp),%eax
  imul   %eax,%eax
  cmp    %eax,-0x44(%rbp)
  jl     L25
  mov    $0xa,%edi
  call   <putchar@plt>
  nop
  mov    -0x8(%rbp),%rbx
  leave
  ret
```

tool_calls: name: disassemble_data
arguments: data_label: D110
type_infered: string
name: disassemble_data
arguments: data_label: D26
type_infered: string
name: disassemble_data
arguments: data_label: D27
type_infered: string
name: disassemble_data
arguments: data_label: D135
type_infered: string
name: disassemble_data
arguments: data_label: D105
type_infered: string
name: disassemble_data
arguments: data_label: D81
type_infered: f64
name: disassemble_data
arguments: data_label: D29
type_infered: byte[8]
name: disassemble_data
arguments: data_label: D14
type_infered: string
name: disassemble_data
arguments: data_label: D39
type_infered: string

tool: D110: L: %i


tool: D26: n: %i


tool: D27: d: %i


tool: D135: N: %i


tool: D105: dt: %f


tool: D81: 0.5

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

tool: D14: %5.3f(%i, %i), %5.6f %5.6f %5.6f 


tool: D39:  %10.3f

assistant: ```c
void fe_SigmaB2_at(double *S, double *y, int N, double dt, int L) {
  int n = 1 << (L - 1);
  int K = 1;
  int d = 2 * n - 1 + K;
  int t;
  int i, j;
  double yn;
  printf("L: %i\n", L);
  printf("n: %i\n", n);
  printf("d: %i\n", d);
  printf("N: %i\n", N);
  printf("dt: %f\n", dt);
  double a, b, c;
  for (t = 0; t < N; t++) {
    yn = y[t] * (double)n;
    i = maxi(mini(((int)ceil(yn)), n), 1);
    j = maxi(mini(((int)ceil(yn - 0.5)), n - 1), 1);
    a = sq(hat(yn - i + 1)) * dt;
    b = sq(hat(yn - j + 0.5)) * dt;
    c = hat(yn - i + 1) * hat(yn - j + 0.5) * dt;
    if (t < 10)
      printf("%5.3f(%i, %i), %5.6f %5.6f %5.6f \n", yn, i, j, a, b, c);
    S[(2 * i - 2) * d + 2 * i - 2] += a;
    S[(2 * j - 1) * d + 2 * j - 1] += b;
    S[(2 * i - 2) * d + 2 * j - 1] = S[(2 * j - 1) * d + 2 * i - 2] += c;
    S[(d - 1) * d + 2 * j - 1] = S[(2 * j - 1) * d + d - 1] += hat(yn - j + 0.5) * dt;
    S[(d - 1) * d + 2 * i - 2] = S[(2 * i - 2) * d + d - 1] += hat(yn - i + 1) * dt;
  }
  S[d * d - 1] = N * dt;
  for (i = 0; i < d * d; i++) {
    printf(" %10.3f", S[i]);
    if (i % d == d - 1)
      printf("\n");
  }
  printf("\n");
}
```