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

```asm
<write_vtkHeader>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  add    $0xffffffffffffff80,%rsp
  mov    %rdi,-0x68(%rbp)
  mov    %esi,-0x6c(%rbp)
  mov    %edx,-0x70(%rbp)
  movsd  %xmm0,-0x78(%rbp)
  movsd  %xmm1,-0x80(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  cmpq   $0x0,-0x68(%rbp)
  jne    L21
  lea    -0x60(%rbp),%rax
  lea    D19(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <sprintf@plt>
  lea    -0x60(%rbp),%rax
  mov    %rax,%rdx
  lea    D2(%rip),%rax
  mov    %rax,%rsi
  mov    $0x59,%edi
  call   <errhandler@plt>
  jmp    L1
L21:
  mov    -0x68(%rbp),%rax
  mov    %rax,%rcx
  mov    $0x1b,%edx
  mov    $0x1,%esi
  lea    D70(%rip),%rax
  mov    %rax,%rdi
  call   <fwrite@plt>
  mov    -0x68(%rbp),%rax
  mov    %rax,%rcx
  mov    $0x3f,%edx
  mov    $0x1,%esi
  lea    D54(%rip),%rax
  mov    %rax,%rdi
  call   <fwrite@plt>
  mov    -0x68(%rbp),%rax
  mov    %rax,%rcx
  mov    $0x6,%edx
  mov    $0x1,%esi
  lea    D32(%rip),%rax
  mov    %rax,%rdi
  call   <fwrite@plt>
  mov    -0x68(%rbp),%rax
  mov    %rax,%rsi
  mov    $0xa,%edi
  call   <fputc@plt>
  mov    -0x68(%rbp),%rax
  mov    %rax,%rcx
  mov    $0x18,%edx
  mov    $0x1,%esi
  lea    D79(%rip),%rax
  mov    %rax,%rdi
  call   <fwrite@plt>
  mov    -0x70(%rbp),%eax
  lea    0x1(%rax),%ecx
  mov    -0x6c(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    -0x68(%rbp),%rax
  lea    D6(%rip),%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <fprintf@plt>
  mov    -0x6c(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    -0x70(%rbp),%eax
  add    $0x1,%eax
  imul   %eax,%edx
  mov    -0x68(%rbp),%rax
  lea    D22(%rip),%rcx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <fprintf@plt>
  mov    -0x68(%rbp),%rax
  mov    %rax,%rsi
  mov    $0xa,%edi
  call   <fputc@plt>
L1:
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L3
  call   <__stack_chk_fail@plt>
L3:
  leave
  ret
```

tool_calls: name: parse_data
arguments: tag: D19
type_infered: string
name: parse_data
arguments: tag: D2
type_infered: string
name: parse_data
arguments: tag: D70
type_infered: string
name: parse_data
arguments: tag: D54
type_infered: string
name: parse_data
arguments: tag: D32
type_infered: string
name: parse_data
arguments: tag: D79
type_infered: string
name: parse_data
arguments: tag: D6
type_infered: string
name: parse_data
arguments: tag: D22
type_infered: string

tool: D19: Null pointer in write_vtkHeader

tool: D2: /scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/grantathon/computational_fluid_dynamics/refs/heads/master/project/ns_sim_serial/visual.c

tool: D70: # vtk DataFile Version 2.0


tool: D54: generated by CFD-lab course output (written by Tobias Neckel) 


tool: D32: ASCII


tool: D79: DATASET STRUCTURED_GRID


tool: D6: DIMENSIONS  %i %i 1 


tool: D22: POINTS %i float


assistant: ```c
void write_vtkHeader(FILE *fp, int imax, int jmax, double dx, double dy) {
  if (fp == NULL) {
    char szBuff[80];
    sprintf(szBuff, "Null pointer in write_vtkHeader");
    errhandler(89, "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/grantathon/computational_fluid_dynamics/refs/heads/master/project/ns_sim_serial/visual.c", szBuff);
    return;
  }
  fprintf(fp, "# vtk DataFile Version 2.0\n");
  fprintf(fp, "generated by CFD-lab course output (written by Tobias Neckel) \n");
  fprintf(fp, "ASCII\n");
  fprintf(fp, "\n");
  fprintf(fp, "DATASET STRUCTURED_GRID\n");
  fprintf(fp, "DIMENSIONS  %i %i 1 \n", imax + 1, jmax + 1);
  fprintf(fp, "POINTS %i float\n", (imax + 1) * (jmax + 1));
  fprintf(fp, "\n");
}
```