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

```asm
<cov_check>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  mov    %edx,%r12d
  push   %rbx
  sub    $0x68,%rsp
  mov    %rsi,-0x88(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x38(%rbp)
  xor    %eax,%eax
  lea    -0xf4000(%rsp),%rax
  cmp    %rax,%rsp
  je     L376
L22:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rax,%rsp
  jne    L22
L376:
  sub    $0x240,%rsp
  orq    $0x0,0x238(%rsp)
  movslq %r12d,%rax
  mov    %rsp,%rcx
  mov    %rsp,%rbx
  shl    $0x4,%rax
  lea    0x17(%rax),%rdx
  add    $0x10,%rax
  mov    %rdx,%rsi
  and    $0xfffffffffffff000,%rsi
  sub    %rsi,%rcx
  cmp    %rcx,%rsp
  je     L365
L346:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rcx,%rsp
  jne    L346
L365:
  and    $0xfff,%eax
  sub    %rax,%rsp
  test   %rax,%rax
  jne    L284
L277:
  lea    0xf(%rsp),%rax
  mov    %rsp,%rcx
  and    $0xfffffffffffffff0,%rax
  mov    %rax,-0x80(%rbp)
  mov    %rdx,%rax
  and    $0xfffffffffffff000,%rdx
  sub    %rdx,%rcx
  and    $0xfffffffffffffff0,%rax
  cmp    %rcx,%rsp
  je     L164
L352:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rcx,%rsp
  jne    L352
L164:
  and    $0xfff,%eax
  sub    %rax,%rsp
  test   %rax,%rax
  je     L138
  orq    $0x0,-0x8(%rsp,%rax,1)
L138:
  lea    0xf(%rsp),%rax
  lea    D5(%rip),%rsi
  and    $0xfffffffffffffff0,%rax
  lea    D45(%rip),%r15
  mov    %rax,-0x78(%rbp)
  call   <fopen@plt>
  mov    %rax,%r13
  jmp    L14
L64:
  cmpb   $0x23,(%rbx)
  jne    L310
L14:
  mov    %r13,%rdx
  mov    $0xf4240,%esi
  mov    %rbx,%rdi
  call   <fgets@plt>
  test   %rax,%rax
  jne    L64
  mov    %r13,%rdi
  lea    -0x40(%rbp),%r14
  lea    D45(%rip),%r13
  call   <fclose@plt>
  mov    -0x88(%rbp),%rdi
  lea    D5(%rip),%rsi
  call   <fopen@plt>
  mov    %rax,%r15
  nopw   0x0(%rax,%rax,1)
L125:
  mov    %r15,%rdx
  mov    $0xf4240,%esi
  mov    %rbx,%rdi
  call   <fgets@plt>
  test   %rax,%rax
  je     L49
  mov    $0x6,%edx
  lea    D30(%rip),%rsi
  mov    %rbx,%rdi
  call   <strncmp@plt>
  test   %rax,%rax
  je     L345
  mov    $0x6,%edx
  lea    D53(%rip),%rsi
  mov    %rbx,%rdi
  call   <strncmp@plt>
  test   %rax,%rax
  jne    L125
  mov    %r15,%rdx
  mov    $0x50,%esi
  mov    %rbx,%rdi
  call   <fgets@plt>
  mov    $0xa,%esi
  mov    %rbx,%rdi
  call   <cov_deserialize@plt>
  fstpt  -0x70(%rbp)
  jmp    L125
L284:
  orq    $0x0,-0x8(%rsp,%rax,1)
  jmp    L277
  nopl   0x0(%rax,%rax,1)
L345:
  mov    %r15,%rdx
  mov    $0xf4240,%esi
  mov    %rbx,%rdi
  call   <fgets@plt>
  mov    %rbx,%rdi
  mov    %r14,%rdx
  mov    %r13,%rsi
  call   <strtok_r@plt>
  mov    %rax,%rdi
  test   %rax,%rax
  je     L125
  xor    %ecx,%ecx
L108:
  cmp    %r12d,%ecx
  jl     L378
L70:
  xor    %edi,%edi
  mov    %r14,%rdx
  mov    %r13,%rsi
  call   <strtok_r@plt>
  test   %rax,%rax
  jne    L70
  jmp    L125
  nopl   0x0(%rax,%rax,1)
L378:
  mov    $0xa,%esi
  mov    %ecx,-0x60(%rbp)
  call   <cov_deserialize@plt>
  movslq -0x60(%rbp),%rax
  mov    -0x78(%rbp),%rdx
  xor    %edi,%edi
  mov    %r13,%rsi
  mov    %rax,%rcx
  shl    $0x4,%rax
  fstpt  (%rdx,%rax,1)
  add    $0x1,%ecx
  mov    %r14,%rdx
  mov    %ecx,-0x60(%rbp)
  call   <strtok_r@plt>
  mov    -0x60(%rbp),%ecx
  test   %rax,%rax
  mov    %rax,%rdi
  jne    L108
  jmp    L125
  nopw   0x0(%rax,%rax,1)
L49:
  mov    %r15,%rdi
  call   <fclose@plt>
  test   %r12d,%r12d
  jle    L325
  mov    -0x80(%rbp),%r13
  mov    %r12d,%r12d
  mov    -0x78(%rbp),%r14
  shl    $0x4,%r12
  add    %r13,%r12
  jmp    L56
  nopl   (%rax)
L273:
  fsubp  %st,%st(1)
  fldt   -0x70(%rbp)
  fxch   %st(1)
  fcomip %st(1),%st
  fstp   %st(0)
  ja     L172
L137:
  add    $0x10,%r13
  add    $0x10,%r14
  cmp    %r13,%r12
  je     L325
L56:
  fldt   0x0(%r13)
  sub    $0x10,%rsp
  fld    %st(0)
  fstpt  (%rsp)
  fstpt  -0x60(%rbp)
  call   <isnan@plt>
  pop    %rsi
  pop    %rdi
  test   %rax,%rax
  jne    L172
  fldt   -0x60(%rbp)
  sub    $0x10,%rsp
  fstpt  (%rsp)
  call   <isinf@plt>
  pop    %rdx
  pop    %rcx
  test   %rax,%rax
  jne    L172
  fldt   (%r14)
  fldt   -0x60(%rbp)
  fcomi  %st(1),%st
  ja     L273
  fsubrp %st,%st(1)
  fldt   -0x70(%rbp)
  fxch   %st(1)
  fcomip %st(1),%st
  fstp   %st(0)
  jbe    L137
  nopw   0x0(%rax,%rax,1)
L172:
  lea    D90(%rip),%r12
L65:
  mov    %r12,%rdi
  call   <printf@plt>
  lea    D42(%rip),%rsi
  lea    D25(%rip),%rdi
  call   <fopen@plt>
  mov    %r12,%rsi
  mov    %rax,%rdi
  call   <fprintf@plt>
  mov    -0x38(%rbp),%rax
  sub    %fs:0x28,%rax
  jne    L176
  lea    -0x28(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
  nop
L310:
  lea    -0x48(%rbp),%r14
  mov    %rbx,%rdi
  mov    %r15,%rsi
  mov    %r14,%rdx
  call   <strtok_r@plt>
  mov    %rax,%rdi
  test   %rax,%rax
  je     L14
  xor    %ecx,%ecx
L142:
  cmp    %ecx,%r12d
  jg     L354
L140:
  xor    %edi,%edi
  mov    %r14,%rdx
  mov    %r15,%rsi
  call   <strtok_r@plt>
  test   %rax,%rax
  jne    L140
  jmp    L14
  nopl   0x0(%rax)
L354:
  mov    $0xa,%esi
  mov    %ecx,-0x60(%rbp)
  call   <cov_deserialize@plt>
  movslq -0x60(%rbp),%rax
  mov    -0x80(%rbp),%rdx
  xor    %edi,%edi
  mov    %r15,%rsi
  mov    %rax,%rcx
  shl    $0x4,%rax
  fstpt  (%rdx,%rax,1)
  add    $0x1,%ecx
  mov    %r14,%rdx
  mov    %ecx,-0x60(%rbp)
  call   <strtok_r@plt>
  mov    -0x60(%rbp),%ecx
  test   %rax,%rax
  mov    %rax,%rdi
  jne    L142
  jmp    L14
  nopw   0x0(%rax,%rax,1)
L325:
  lea    D69(%rip),%r12
  jmp    L65
L176:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D5
type_guessed: string
name: extract_symbolic_data
arguments: label: D45
type_guessed: string
name: extract_symbolic_data
arguments: label: D30
type_guessed: string
name: extract_symbolic_data
arguments: label: D53
type_guessed: string
name: extract_symbolic_data
arguments: label: D90
type_guessed: string
name: extract_symbolic_data
arguments: label: D42
type_guessed: string
name: extract_symbolic_data
arguments: label: D25
type_guessed: string
name: extract_symbolic_data
arguments: label: D69
type_guessed: string

tool: D5: rt

tool: D45:  

tool: D30: #ideal

tool: D53: #delta

tool: D90: false


tool: D42: w

tool: D25: sat.cov

tool: D69: true


assistant: ```c
void cov_check(char *log, char *spec, int length) {
  int characters = 1000000;
  char line[characters];
  char *word, *sep, *brkt, *brkb;
  long double estimate[length], ideal[length], delta;
  FILE *log_file, *spec_file;
  int ld_size, cnt, i, predicate;
  sep = " ";
  ld_size = 10;
  log_file = fopen(log, "rt");
  while (fgets(line, characters, log_file) != NULL) {
    if (line[0] != '#') {
      cnt = 0;
      for (word = strtok_r(line, sep, &brkt); word; word = strtok_r(NULL, sep, &brkt)) {
        if (cnt < length) {
          estimate[cnt] = cov_deserialize(word, ld_size);
          cnt++;
        }
      }
    }
  }
  fclose(log_file);
  spec_file = fopen(spec, "rt");
  while (fgets(line, characters, spec_file) != NULL) {
    if (strncmp(line, "#ideal", 6) == 0) {
      cnt = 0;
      fgets(line, characters, spec_file);
      for (word = strtok_r(line, sep, &brkb); word; word = strtok_r(NULL, sep, &brkb)) {
        if (cnt < length) {
          ideal[cnt] = cov_deserialize(word, ld_size);
          cnt++;
        }
      }
    } else if (strncmp(line, "#delta", 6) == 0) {
      fgets(line, 80, spec_file);
      delta = cov_deserialize(line, ld_size);
    }
  }
  fclose(spec_file);
  predicate = 1;
  for (i = 0; i < length; i++) {
    if (isnan(estimate[i]) || isinf(estimate[i])) {
      predicate = 0;
      break;
    }
    long double diff;
    if (estimate[i] > ideal[i])
      diff = estimate[i] - ideal[i];
    else
      diff = ideal[i] - estimate[i];
    if (delta < diff) {
      predicate = 0;
      break;
    }
  }
  if (predicate)
    printf("true\n");
  else
    printf("false\n");
  FILE *result_file;
  result_file = fopen("sat.cov", "w");
  if (predicate)
    fprintf(result_file, "true\n");
  else
    fprintf(result_file, "false\n");
}
```