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

```asm
<summation>:
  endbr64
  push   %r14
  push   %r13
  push   %r12
  mov    %esi,%r12d
  push   %rbp
  push   %rbx
  sub    $0x40,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x38(%rsp)
  xor    %eax,%eax
  test   %edi,%edi
  mov    $0x1,%eax
  mov    %rsp,%r14
  cmovg  %edi,%eax
  lea    D12(%rip),%rdi
  lea    0x38(%rsp),%r13
  mov    %eax,%ebp
  add    $0x64,%eax
  cmp    %esi,%ebp
  cmovg  %eax,%r12d
  call   <puts@plt>
  mov    %ebp,%esi
  lea    D83(%rip),%rdi
  xor    %eax,%eax
  mov    %r12d,%edx
  call   <printf@plt>
  mov    %r12d,%esi
  mov    %ebp,%edi
  call   <addForward@plt>
  lea    D104(%rip),%rdi
  mov    $0x1,%eax
  movsd  %xmm0,(%rsp)
  call   <printf@plt>
  mov    %r12d,%esi
  mov    %ebp,%edi
  call   <addReverse@plt>
  lea    D99(%rip),%rdi
  mov    $0x1,%eax
  movsd  %xmm0,0x8(%rsp)
  call   <printf@plt>
  mov    %r12d,%esi
  mov    %ebp,%edi
  call   <addRecursive@plt>
  lea    D55(%rip),%rdi
  mov    $0x1,%eax
  movsd  %xmm0,0x10(%rsp)
  call   <printf@plt>
  mov    %r12d,%esi
  mov    %ebp,%edi
  call   <addForwardDouble@plt>
  lea    D81(%rip),%rdi
  mov    $0x1,%eax
  movsd  %xmm0,0x18(%rsp)
  call   <printf@plt>
  mov    %r12d,%esi
  mov    %ebp,%edi
  call   <addReverseDouble@plt>
  lea    D18(%rip),%rdi
  mov    $0x1,%eax
  movsd  %xmm0,0x20(%rsp)
  call   <printf@plt>
  mov    %r12d,%esi
  mov    %ebp,%edi
  call   <addRecursiveDouble@plt>
  lea    D45(%rip),%rdi
  mov    $0x1,%eax
  movsd  %xmm0,0x28(%rsp)
  call   <printf@plt>
  mov    %r12d,%esi
  mov    %ebp,%edi
  lea    D94(%rip),%r12
  call   <KahanSummation@plt>
  lea    D34(%rip),%rdi
  mov    $0x1,%eax
  mov    %r14,%rbp
  movsd  %xmm0,0x30(%rsp)
  call   <printf@plt>
  lea    D39(%rip),%rdi
  call   <puts@plt>
  nopl   0x0(%rax,%rax,1)
L13:
  mov    %r14,%rbx
  nopl   0x0(%rax,%rax,1)
L1:
  movsd  0x0(%rbp),%xmm0
  subsd  (%rbx),%xmm0
  mov    %r12,%rdi
  mov    $0x1,%eax
  add    $0x8,%rbx
  call   <printf@plt>
  cmp    %r13,%rbx
  jne    L1
  mov    $0xa,%edi
  add    $0x8,%rbp
  call   <putchar@plt>
  cmp    %rbx,%rbp
  jne    L13
  mov    0x38(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L16
  add    $0x40,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
L16:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D12
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D83
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D104
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D99
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D55
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D81
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D18
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D45
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D94
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D34
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D39
type_guessed: string

tool: D12: 
==========Summation==========

tool: D83: The sum of the series 1/i, with i running from %d to %d is


tool: D104: Forward summation with floats:		%2.17g


tool: D99: Reverse summation with floats:		%2.17g


tool: D55: Recursive summation with floats:	%2.17g


tool: D81: Forward summation with doubles:		%2.17g


tool: D18: Reverse summation with doubles:		%2.17g


tool: D45: Recursive summation with doubles:	%2.17g


tool: D94: %12.7g	

tool: D34: Kahan summation with floats:		%2.17g


tool: D39: Differences between results in a matrix:

assistant: ```c
void summation(int from, int to) {
  int i;
  int j;
  double sum[7];
  if (from < 1)
    from = 1;
  if (to < from)
    to = from + 100;
  printf("\n==========Summation==========\n");
  printf("The sum of the series 1/i, with i running from %d to %d is\n", from, to);
  printf("Forward summation with floats:\t\t%2.17g\n", sum[0] = addForward(from, to));
  printf("Reverse summation with floats:\t\t%2.17g\n", sum[1] = addReverse(from, to));
  printf("Recursive summation with floats:\t%2.17g\n", sum[2] = addRecursive(from, to));
  printf("Forward summation with doubles:\t\t%2.17g\n", sum[3] = addForwardDouble(from, to));
  printf("Reverse summation with doubles:\t\t%2.17g\n", sum[4] = addReverseDouble(from, to));
  printf("Recursive summation with doubles:\t%2.17g\n", sum[5] = addRecursiveDouble(from, to));
  printf("Kahan summation with floats:\t\t%2.17g\n", sum[6] = KahanSummation(from, to));
  printf("Differences between results in a matrix:\n");
  for (i = 0; i < 7; i++) {
    for (j = 0; j < 7; j++) {
      printf("%12.7g\t", sum[i] - sum[j]);
    }
    printf("\n");
  }
}
```