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

```asm
<print_aft_stats_linear>:
  endbr64
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x60,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x58(%rsp)
  xor    %eax,%eax
  test   %esi,%esi
  jle    L84
  mov    %rdi,%r12
  mov    %esi,%r13d
  lea    0x20(%rsp),%rbp
  lea    0x4c(%rsp),%rcx
  mov    %rbp,%rax
L78:
  movl   $0x0,(%rax)
  add    $0x4,%rax
  cmp    %rcx,%rax
  jne    L78
  mov    %rdx,%rbx
  lea    -0x1(%r13),%eax
  shl    $0x4,%rax
  lea    0x10(%rdx,%rax,1),%r14
  pxor   %xmm7,%xmm7
  movsd  %xmm7,0x18(%rsp)
  movsd  D57(%rip),%xmm4
  movsd  %xmm4,0x10(%rsp)
  jmp    L26
L39:
  addl   $0x1,0x48(%rsp)
L59:
  movsd  0x18(%rsp),%xmm3
  addsd  0x8(%rsp),%xmm3
  movsd  %xmm3,0x18(%rsp)
  add    $0x10,%rbx
  cmp    %r14,%rbx
  je     L94
L26:
  mov    0x8(%rbx),%ecx
  mov    0x4(%rbx),%edx
  mov    0xc(%rbx),%r8d
  mov    (%rbx),%esi
  mov    %r12,%rdi
  call   <aft_tetra_qual@plt>
  movsd  %xmm0,0x8(%rsp)
  movapd %xmm0,%xmm2
  minsd  0x10(%rsp),%xmm2
  movsd  %xmm2,0x10(%rsp)
  pxor   %xmm6,%xmm6
  comisd %xmm0,%xmm6
  jae    L39
  movsd  0x8(%rsp),%xmm5
  comisd D57(%rip),%xmm5
  jbe    L6
  addl   $0x1,0x44(%rsp)
  jmp    L59
L6:
  movsd  0x8(%rsp),%xmm0
  mulsd  D73(%rip),%xmm0
  call   <ceil@plt>
  sub    $0x1,%eax
  cltq
  addl   $0x1,0x20(%rsp,%rax,4)
  jmp    L59
L94:
  pxor   %xmm6,%xmm6
  cvtsi2sd %r13d,%xmm6
  movsd  %xmm6,0x8(%rsp)
  movapd %xmm3,%xmm0
  divsd  %xmm6,%xmm0
  lea    D67(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    0x48(%rsp),%r14d
  mov    %r14d,%esi
  lea    D36(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    0x28(%rbp),%r12
  mov    %rbp,%rbx
  lea    D43(%rip),%r13
L106:
  mov    (%rbx),%esi
  mov    %r13,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  add    $0x4,%rbx
  cmp    %rbx,%r12
  jne    L106
  mov    $0xa,%edi
  call   <putchar@plt>
  movsd  0x10(%rsp),%xmm0
  lea    D25(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %r14d,%xmm0
  mulsd  D69(%rip),%xmm0
  divsd  0x8(%rsp),%xmm0
  lea    D109(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  lea    D16(%rip),%rbx
L95:
  pxor   %xmm0,%xmm0
  cvtsi2sdl 0x0(%rbp),%xmm0
  mulsd  D69(%rip),%xmm0
  divsd  0x8(%rsp),%xmm0
  mov    %rbx,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  add    $0x4,%rbp
  cmp    %rbp,%r12
  jne    L95
  mov    $0xa,%edi
  call   <putchar@plt>
L84:
  mov    0x58(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L3
  mov    $0x0,%eax
  add    $0x60,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
L3:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: unpack_data
arguments: data_label: D57
type: f64[2]
name: unpack_data
arguments: data_label: D73
type: f32[2]
name: unpack_data
arguments: data_label: D67
type: string
name: unpack_data
arguments: data_label: D36
type: string
name: unpack_data
arguments: data_label: D43
type: string
name: unpack_data
arguments: data_label: D25
type: string
name: unpack_data
arguments: data_label: D69
type: f64
name: unpack_data
arguments: data_label: D109
type: string
name: unpack_data
arguments: data_label: D16
type: string

tool: {"D57": [1.0,10.0]}

tool: {"D73": [0.0,2.5625]}

tool: D67: QS: q_avg: %12.8le  

tool: D36:  ## %6d # 

tool: D43:  %6d 

tool: D25:     q_min: %12.8le  

tool: D69: 100

tool: D109:  ## %6.2lf # 

tool: D16:  %6.2lf 

assistant: ```c
int print_aft_stats_linear(double *vertex, int nt, int *tetra) {
  double q, worst, qs;
  int stat[11], i;
  if (nt < 1)
    return 0;
  for (i = 0; i < 11; i++)
    stat[i] = 0;
  worst = 1.0, qs = 0.0;
  for (i = 0; i < nt; i++) {
    q = aft_tetra_qual(vertex, tetra[4 * i + 0], tetra[4 * i + 1], tetra[4 * i + 2], tetra[4 * i + 3]);
    if (q < worst)
      worst = q;
    if (q <= 0.0)
      stat[10]++;
    else if (q > 1.0)
      stat[9]++;
    else
      stat[(int)ceil(q * 10) - 1]++;
    qs += q;
  }
  qs /= nt;
  printf("QS: q_avg: %12.8le  ", qs);
  printf(" ## %6d # ", stat[10]);
  for (i = 0; i < 10; i++)
    printf(" %6d ", stat[i]);
  printf("\n");
  printf("    q_min: %12.8le  ", worst);
  printf(" ## %6.2lf # ", 100.0 * stat[10] / nt);
  for (i = 0; i < 10; i++)
    printf(" %6.2lf ", 100.0 * stat[i] / nt);
  printf("\n");
  return 0;
}
```