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

```asm
<main>:
  endbr64
  push   %r15
  lea    D99(%rip),%rsi
  lea    D5(%rip),%rdi
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x88,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x78(%rsp)
  xor    %eax,%eax
  call   <fopen@plt>
  mov    %rax,%rbp
  test   %rax,%rax
  je     L57
L27:
  lea    0x20(%rsp),%r12
  mov    %rbp,%rdx
  mov    $0x50,%esi
  mov    %r12,%rdi
  lea    D39(%rip),%rbx
  lea    D94(%rip),%r13
  call   <fgets@plt>
  jmp    L42
  nopl   0x0(%rax)
L61:
  mov    %r12,%rdi
  mov    %rbp,%rdx
  mov    $0x50,%esi
  call   <fgets@plt>
  mov    %rbp,%rdi
  call   <feof@plt>
  test   %rax,%rax
  jne    L45
L42:
  mov    $0xd,%edx
  mov    %rbx,%rsi
  mov    %r12,%rdi
  call   <strncmp@plt>
  test   %rax,%rax
  jne    L61
  lea    0x10(%rsp),%rdx
  lea    D138(%rip),%rsi
  mov    %rbp,%rdi
  call   <fscanf@plt>
  mov    %r12,%rsi
  lea    D95(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  lea    D111(%rip),%r8
  xor    %eax,%eax
  lea    D112(%rip),%rcx
  lea    D49(%rip),%rdx
  lea    D84(%rip),%rsi
  lea    D81(%rip),%rdi
  call   <printf@plt>
  mov    0x10(%rsp),%eax
  test   %eax,%eax
  jle    L68
  mov    $0x1,%r12d
  lea    0x14(%rsp),%r8
  lea    0x1c(%rsp),%r15
  lea    0x18(%rsp),%r14
  lea    D123(%rip),%r13
  lea    D28(%rip),%rbx
  nopl   0x0(%rax)
L88:
  mov    %r15,%rcx
  mov    %r14,%rdx
  mov    %r13,%rsi
  mov    %rbp,%rdi
  xor    %eax,%eax
  mov    %r8,0x8(%rsp)
  add    $0x1,%r12d
  call   <fscanf@plt>
  movss  0x1c(%rsp),%xmm1
  movss  0x18(%rsp),%xmm0
  call   <beta@plt>
  pxor   %xmm2,%xmm2
  pxor   %xmm1,%xmm1
  mov    %rbx,%rdi
  movapd %xmm0,%xmm3
  mov    $0x4,%eax
  pxor   %xmm0,%xmm0
  cvtss2sd 0x14(%rsp),%xmm2
  cvtss2sd 0x18(%rsp),%xmm0
  cvtss2sd 0x1c(%rsp),%xmm1
  call   <printf@plt>
  cmp    %r12d,0x10(%rsp)
  mov    0x8(%rsp),%r8
  jge    L88
L68:
  mov    %rbp,%rdi
  call   <fclose@plt>
  mov    0x78(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L12
  add    $0x88,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax)
L45:
  mov    %r13,%rdi
  call   <nrerror@plt>
  jmp    L42
L57:
  lea    D102(%rip),%rdi
  call   <nrerror@plt>
  jmp    L27
L12:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D99
type_guessed: string
name: extract_symbolic_data
arguments: tag: D5
type_guessed: string
name: extract_symbolic_data
arguments: tag: D39
type_guessed: string
name: extract_symbolic_data
arguments: tag: D94
type_guessed: string
name: extract_symbolic_data
arguments: tag: D138
type_guessed: string
name: extract_symbolic_data
arguments: tag: D95
type_guessed: string
name: extract_symbolic_data
arguments: tag: D111
type_guessed: string
name: extract_symbolic_data
arguments: tag: D112
type_guessed: string
name: extract_symbolic_data
arguments: tag: D49
type_guessed: string
name: extract_symbolic_data
arguments: tag: D84
type_guessed: string
name: extract_symbolic_data
arguments: tag: D81
type_guessed: string
name: extract_symbolic_data
arguments: tag: D123
type_guessed: string
name: extract_symbolic_data
arguments: tag: D28
type_guessed: string
name: extract_symbolic_data
arguments: tag: D102
type_guessed: string

tool: D99: r

tool: D5: fncval.dat

tool: D39: Beta Function

tool: D94: Data not found in fncval.dat


tool: D138: %d %*s

tool: D95: 
%s


tool: D111: beta(w,z)

tool: D112: actual

tool: D49: z

tool: D84: w

tool: D81: %5s %6s %16s %20s


tool: D123: %f %f %f

tool: D28: %6.2f %6.2f %18.6e %18.6e


tool: D102: Data file fncval.dat not found


assistant: ```c
int main(void) {
  char txt[80];
  int i, nval;
  float val, w, z;
  FILE *fp;
  if ((fp = fopen("fncval.dat", "r")) == NULL)
    nrerror("Data file fncval.dat not found\n");
  fgets(txt, 80, fp);
  while (strncmp(txt, "Beta Function", 13)) {
    fgets(txt, 80, fp);
    if (feof(fp))
      nrerror("Data not found in fncval.dat\n");
  }
  fscanf(fp, "%d %*s", &nval);
  printf("\n%s\n", txt);
  printf("%5s %6s %16s %20s\n", "w", "z", "actual", "beta(w,z)");
  for (i = 1; i <= nval; i++) {
    fscanf(fp, "%f %f %f", &w, &z, &val);
    printf("%6.2f %6.2f %18.6e %18.6e\n", w, z, val, beta(w, z));
  }
  fclose(fp);
  return 0;
}
```