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

```asm
<print_aft_stats_linear_mba>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  add    $0xffffffffffffff80,%rsp
  mov    %rdi,-0x68(%rbp)
  mov    %esi,-0x6c(%rbp)
  mov    %rdx,-0x78(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  cmpl   $0x0,-0x6c(%rbp)
  jg     L90
  mov    $0x0,%eax
  jmp    L14
L90:
  movl   $0x0,-0x5c(%rbp)
  jmp    L124
L116:
  mov    -0x5c(%rbp),%eax
  cltq
  movl   $0x0,-0x40(%rbp,%rax,4)
  addl   $0x1,-0x5c(%rbp)
L124:
  cmpl   $0xa,-0x5c(%rbp)
  jle    L116
  movsd  D89(%rip),%xmm0
  movsd  %xmm0,-0x58(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movl   $0x0,-0x5c(%rbp)
  jmp    L89
L0:
  mov    -0x5c(%rbp),%eax
  shl    $0x2,%eax
  cltq
  add    $0x3,%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x78(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%edi
  mov    -0x5c(%rbp),%eax
  shl    $0x2,%eax
  cltq
  add    $0x2,%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x78(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%ecx
  mov    -0x5c(%rbp),%eax
  shl    $0x2,%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x78(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%edx
  mov    -0x5c(%rbp),%eax
  shl    $0x2,%eax
  cltq
  lea    0x0(,%rax,4),%rsi
  mov    -0x78(%rbp),%rax
  add    %rsi,%rax
  mov    (%rax),%esi
  mov    -0x68(%rbp),%rax
  mov    %edi,%r8d
  mov    %rax,%rdi
  call   <aft_tetra_qual_mba@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x48(%rbp)
  movsd  -0x58(%rbp),%xmm0
  comisd -0x48(%rbp),%xmm0
  jbe    L91
  movsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x58(%rbp)
L91:
  pxor   %xmm0,%xmm0
  comisd -0x48(%rbp),%xmm0
  jb     L128
  mov    -0x18(%rbp),%eax
  add    $0x1,%eax
  mov    %eax,-0x18(%rbp)
  jmp    L123
L128:
  movsd  -0x48(%rbp),%xmm0
  movsd  D89(%rip),%xmm1
  comisd %xmm1,%xmm0
  jbe    L1
  mov    -0x1c(%rbp),%eax
  add    $0x1,%eax
  mov    %eax,-0x1c(%rbp)
  jmp    L123
L1:
  movsd  -0x48(%rbp),%xmm1
  movsd  D30(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  call   <ceil@plt>
  sub    $0x1,%eax
  movslq %eax,%rdx
  mov    -0x40(%rbp,%rdx,4),%edx
  add    $0x1,%edx
  cltq
  mov    %edx,-0x40(%rbp,%rax,4)
L123:
  movsd  -0x50(%rbp),%xmm0
  addsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  addl   $0x1,-0x5c(%rbp)
L89:
  mov    -0x5c(%rbp),%eax
  cmp    -0x6c(%rbp),%eax
  jl     L0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x6c(%rbp),%xmm1
  movsd  -0x50(%rbp),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x50(%rbp),%rax
  movq   %rax,%xmm0
  lea    D69(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    -0x18(%rbp),%eax
  mov    %eax,%esi
  lea    D27(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  movl   $0x0,-0x5c(%rbp)
  jmp    L78
L83:
  mov    -0x5c(%rbp),%eax
  cltq
  mov    -0x40(%rbp,%rax,4),%eax
  mov    %eax,%esi
  lea    D40(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  addl   $0x1,-0x5c(%rbp)
L78:
  cmpl   $0x9,-0x5c(%rbp)
  jle    L83
  mov    $0xa,%edi
  call   <putchar@plt>
  mov    -0x58(%rbp),%rax
  movq   %rax,%xmm0
  lea    D57(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    -0x18(%rbp),%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D103(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x6c(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  lea    D50(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  movl   $0x0,-0x5c(%rbp)
  jmp    L62
L87:
  mov    -0x5c(%rbp),%eax
  cltq
  mov    -0x40(%rbp,%rax,4),%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D103(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x6c(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  lea    D104(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  addl   $0x1,-0x5c(%rbp)
L62:
  cmpl   $0x9,-0x5c(%rbp)
  jle    L87
  mov    $0xa,%edi
  call   <putchar@plt>
  mov    $0x0,%eax
L14:
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L19
  call   <__stack_chk_fail@plt>
L19:
  leave
  ret
```

tool_calls: name: retrieve_data
arguments: tag: D89
type: f64
name: retrieve_data
arguments: tag: D30
type: f32[2]
name: retrieve_data
arguments: tag: D69
type: string
name: retrieve_data
arguments: tag: D27
type: string
name: retrieve_data
arguments: tag: D40
type: string
name: retrieve_data
arguments: tag: D57
type: string
name: retrieve_data
arguments: tag: D103
type: f64
name: retrieve_data
arguments: tag: D50
type: string
name: retrieve_data
arguments: tag: D104
type: string

tool: D89: 1

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

tool: D69: [mba] QS: q_avg: %12.8le  

tool: D27:  ## %6d # 

tool: D40:  %6d 

tool: D57: [mba]     q_min: %12.8le  

tool: D103: 100

tool: D50:  ## %6.2lf # 

tool: D104:  %6.2lf 

assistant: ```c
int print_aft_stats_linear_mba(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_mba(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("[mba] QS: q_avg: %12.8le  ", qs);
  printf(" ## %6d # ", stat[10]);
  for (i = 0; i < 10; i++)
    printf(" %6d ", stat[i]);
  printf("\n");
  printf("[mba]     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;
}
```