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

```asm
<mesh_3d_aft_opts>:
  endbr64
  push   %r15
  mov    %rdi,%r15
  push   %r14
  mov    %r9,%r14
  push   %r13
  mov    %rdx,%r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %rcx,%rbx
  sub    $0x28,%rsp
  mov    0x88(%rsp),%r10d
  mov    0x60(%rsp),%r12
  mov    0x90(%rsp),%ebp
  test   %r10d,%r10d
  jne    L84
L147:
  test   %ebp,%ebp
  je     L89
  mov    0x0(%r13),%r9d
  test   %r9d,%r9d
  jle    L39
  xor    %eax,%eax
  nopw   0x0(%rax,%rax,1)
L119:
  sub    %ebp,(%rbx,%rax,4)
  mov    0x0(%r13),%edx
  add    $0x1,%rax
  lea    (%rdx,%rdx,2),%edx
  cmp    %eax,%edx
  jg     L119
L39:
  mov    (%r14),%edi
  test   %edi,%edi
  jle    L89
  xor    %eax,%eax
  nopl   0x0(%rax,%rax,1)
L38:
  sub    %ebp,(%r12,%rax,4)
  mov    (%r14),%edi
  add    $0x1,%rax
  lea    0x0(,%rdi,4),%edx
  cmp    %eax,%edx
  jg     L38
L89:
  comisd D9(%rip),%xmm0
  ja     L17
  cmpq   $0x0,0x98(%rsp)
  je     L95
  push   0x98(%rsp)
  mov    %r14,%r9
  mov    %rbx,%rcx
  mov    %r13,%rdx
  mov    0x88(%rsp),%eax
  mov    %r15,%rdi
  push   %rax
  mov    0x88(%rsp),%eax
  push   %rax
  mov    0x88(%rsp),%eax
  push   %rax
  push   0x88(%rsp)
  push   %r12
  call   <mesh3daftuser@plt>
  add    $0x30,%rsp
L44:
  test   %ebp,%ebp
  je     L79
  mov    0x0(%r13),%ecx
  test   %ecx,%ecx
  jle    L148
  xor    %edx,%edx
  xchg   %ax,%ax
L42:
  add    %ebp,(%rbx,%rdx,4)
  mov    0x0(%r13),%ecx
  add    $0x1,%rdx
  lea    (%rcx,%rcx,2),%ecx
  cmp    %edx,%ecx
  jg     L42
L148:
  mov    (%r14),%edx
  test   %edx,%edx
  jle    L79
  xor    %edx,%edx
  nopl   0x0(%rax,%rax,1)
L1:
  add    %ebp,(%r12,%rdx,4)
  mov    (%r14),%esi
  add    $0x1,%rdx
  lea    0x0(,%rsi,4),%ecx
  cmp    %edx,%ecx
  jg     L1
L79:
  add    $0x28,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   (%rax)
L17:
  sub    $0x8,%rsp
  mov    %r14,%r9
  mov    %rbx,%rcx
  mov    %r13,%rdx
  mov    0x88(%rsp),%eax
  mov    %r15,%rdi
  push   %rax
  mov    0x88(%rsp),%eax
  push   %rax
  mov    0x88(%rsp),%eax
  push   %rax
  push   0x88(%rsp)
  push   %r12
  call   <mesh3daftss@plt>
  add    $0x30,%rsp
  jmp    L44
  nopw   0x0(%rax,%rax,1)
L84:
  mov    (%rdx),%edx
  mov    (%rdi),%edi
  mov    %r8,0x10(%rsp)
  mov    %rsi,0x8(%rsp)
  movsd  %xmm0,0x18(%rsp)
  call   <chk3dvert@plt>
  movsd  0x18(%rsp),%xmm0
  mov    0x10(%rsp),%r8
  mov    0x8(%rsp),%rsi
  jmp    L147
  xchg   %ax,%ax
L95:
  sub    $0x8,%rsp
  mov    %r14,%r9
  mov    %rbx,%rcx
  mov    %r13,%rdx
  mov    0x88(%rsp),%eax
  mov    %r15,%rdi
  push   %rax
  mov    0x88(%rsp),%eax
  push   %rax
  mov    0x88(%rsp),%eax
  push   %rax
  push   0x88(%rsp)
  push   %r12
  call   <mesh3daft@plt>
  add    $0x30,%rsp
  jmp    L44
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D9
type: f64

tool: D9: 0

assistant: ```c
int mesh_3d_aft_opts(int *pnV, double *vertex, int *pnF, int *face, int *facecolor, int *pnT, int *tetra, int *tetracolor, int nnV, int nnF, int nnT, double cf, int needcheck, int indexshift, double (*f)(double, double, double)) {
  int i, ret;
  if (needcheck)
    chk3dvert(*pnV, vertex, *pnF, face);
  if (indexshift) {
    for (i = 0; i < 3 * *pnF; face[i++] -= indexshift)
      ;
    for (i = 0; i < 4 * *pnT; tetra[i++] -= indexshift)
      ;
  }
  if (cf > 0.0)
    ret = mesh3daftss(pnV, vertex, pnF, face, facecolor, pnT, tetra, tetracolor, nnV, nnF, nnT, cf);
  else if (f)
    ret = mesh3daftuser(pnV, vertex, pnF, face, facecolor, pnT, tetra, tetracolor, nnV, nnF, nnT, f);
  else
    ret = mesh3daft(pnV, vertex, pnF, face, facecolor, pnT, tetra, tetracolor, nnV, nnF, nnT);
  if (indexshift) {
    for (i = 0; i < 3 * *pnF; face[i++] += indexshift)
      ;
    for (i = 0; i < 4 * *pnT; tetra[i++] += indexshift)
      ;
  }
  return ret;
}
```