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

```asm
<cov_check>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  lea    D31(%rip),%r13
  push   %r12
  mov    %rsi,%r12
  mov    %r13,%rsi
  push   %rbp
  push   %rbx
  sub    $0x178,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x168(%rsp)
  xor    %eax,%eax
  lea    0x20(%rsp),%rbx
  call   <fopen@plt>
  mov    %rax,%rbp
  lea    0x70(%rsp),%rax
  mov    %rax,(%rsp)
  jmp    L104
  nopl   (%rax)
L117:
  cmpb   $0x23,0x20(%rsp)
  jne    L50
L104:
  mov    %rbp,%rdx
  mov    $0x50,%esi
  mov    %rbx,%rdi
  call   <fgets@plt>
  test   %rax,%rax
  jne    L117
  mov    %rbp,%rdi
  lea    0x110(%rsp),%r15
  lea    D21(%rip),%r14
  call   <fclose@plt>
  mov    %r13,%rsi
  mov    %r12,%rdi
  lea    0xc0(%rsp),%r13
  call   <fopen@plt>
  lea    D47(%rip),%r12
  mov    %rax,%rbp
  nopl   0x0(%rax)
L123:
  mov    %rbp,%rdx
  mov    $0x50,%esi
  mov    %rbx,%rdi
  call   <fgets@plt>
  test   %rax,%rax
  je     L127
  mov    $0x6,%edx
  mov    %r12,%rsi
  mov    %rbx,%rdi
  call   <strncmp@plt>
  test   %rax,%rax
  jne    L20
  mov    %rbp,%rdx
  mov    $0x50,%esi
  mov    %r13,%rdi
  call   <fgets@plt>
  jmp    L123
  nopl   0x0(%rax)
L20:
  mov    $0x6,%edx
  mov    %r14,%rsi
  mov    %rbx,%rdi
  call   <strncmp@plt>
  test   %rax,%rax
  jne    L123
  mov    %rbp,%rdx
  mov    $0x50,%esi
  mov    %r15,%rdi
  call   <fgets@plt>
  jmp    L123
  nop
L127:
  mov    %rbp,%rdi
  call   <fclose@plt>
  mov    (%rsp),%rdi
  mov    $0xa,%esi
  call   <cov_deserialize@plt>
  mov    $0xa,%esi
  mov    %r13,%rdi
  fstpt  0x10(%rsp)
  call   <cov_deserialize@plt>
  mov    $0xa,%esi
  mov    %r15,%rdi
  fstpt  (%rsp)
  call   <cov_deserialize@plt>
  fldt   (%rsp)
  fldt   0x10(%rsp)
  fcomi  %st(1),%st
  jbe    L128
  fsubp  %st,%st(1)
  fxch   %st(1)
L23:
  fcomip %st(1),%st
  fstp   %st(0)
  jb     L84
  lea    D38(%rip),%rdi
  call   <printf@plt>
L130:
  mov    0x168(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L121
  add    $0x178,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   (%rax)
L50:
  mov    (%rsp),%rdi
  mov    %rbx,%rsi
  call   <strcpy@plt>
  jmp    L104
  nopl   0x0(%rax)
L84:
  lea    D49(%rip),%rdi
  call   <printf@plt>
  jmp    L130
  cs nopw 0x0(%rax,%rax,1)
L128:
  fsubrp %st,%st(1)
  fxch   %st(1)
  jmp    L23
L121:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: parse_data
arguments: data_tag: D31
type_infered: string
name: parse_data
arguments: data_tag: D21
type_infered: string
name: parse_data
arguments: data_tag: D47
type_infered: string
name: parse_data
arguments: data_tag: D38
type_infered: string
name: parse_data
arguments: data_tag: D49
type_infered: string

tool: D31: rt

tool: D21: #delta

tool: D47: #ideal

tool: D38: true


tool: D49: false


assistant: ```c
void cov_check(char *log, char *spec) {
  char line[80], estimate_hex[80], ideal_hex[80], delta_hex[80];
  long double estimate, ideal, delta, diff;
  FILE *log_file, *spec_file;
  int ld_size;
  ld_size = 10;
  log_file = fopen(log, "rt");
  while (fgets(line, 80, log_file) != NULL) {
    if (line[0] != '#')
      strcpy(estimate_hex, line);
  }
  fclose(log_file);
  spec_file = fopen(spec, "rt");
  while (fgets(line, 80, spec_file) != NULL) {
    if (strncmp(line, "#ideal", 6) == 0) {
      fgets(ideal_hex, 80, spec_file);
    } else if (strncmp(line, "#delta", 6) == 0) {
      fgets(delta_hex, 80, spec_file);
    }
  }
  fclose(spec_file);
  estimate = cov_deserialize(estimate_hex, ld_size);
  ideal = cov_deserialize(ideal_hex, ld_size);
  delta = cov_deserialize(delta_hex, ld_size);
  if (estimate > ideal)
    diff = estimate - ideal;
  else
    diff = ideal - estimate;
  if (delta >= diff)
    printf("true\n");
  else
    printf("false\n");
}
```