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

```asm
<main>:
  endbr64
  push   %r13
  lea    D129(%rip),%rdi
  lea    D8(%rip),%r13
  push   %r12
  lea    D37(%rip),%r12
  push   %rbp
  push   %rbx
  xor    %ebx,%ebx
  sub    $0x8,%rsp
  call   <puts@plt>
  lea    D62(%rip),%rsi
  mov    %r13,%rdi
  call   <fopen@plt>
  mov    %rax,%rbp
  test   %rax,%rax
  je     L17
  nopl   (%rax)
L51:
  mov    %ebx,%edx
  mov    %r12,%rsi
  mov    %rbp,%rdi
  add    $0x1,%ebx
  call   <fprintf@plt>
  cmp    $0x100,%ebx
  jne    L51
  mov    %rbp,%rdi
  lea    D15(%rip),%rbx
  call   <fclose@plt>
  mov    %r13,%rsi
  lea    D22(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %rbx,%rsi
  mov    %r13,%rdi
  call   <check_sha256_sum@plt>
  mov    %rax,%rbp
  test   %rax,%rax
  je     L59
  mov    $0x40,%edx
  mov    %rbx,%rsi
  mov    %rax,%rdi
  call   <memcmp@plt>
  test   %rax,%rax
  je     L35
  lea    D44(%rip),%rdi
  call   <puts@plt>
  mov    %rbx,%r8
  mov    %rbp,%rdx
  xor    %eax,%eax
  lea    D123(%rip),%rdi
  lea    D67(%rip),%rcx
  lea    D0(%rip),%rsi
  call   <printf@plt>
  mov    %rbp,%rdi
  call   <free@plt>
L18:
  mov    %r13,%rdi
  call   <remove@plt>
  xor    %eax,%eax
L58:
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L35:
  lea    D96(%rip),%rdi
  call   <puts@plt>
  jmp    L18
L59:
  lea    D76(%rip),%rdi
  call   <puts@plt>
  jmp    L18
L17:
  lea    D30(%rip),%rdi
  call   <puts@plt>
  mov    $0x1,%eax
  jmp    L58
```

tool_calls: name: parse_data
arguments: data_tag: D129
type: string
name: parse_data
arguments: data_tag: D8
type: string
name: parse_data
arguments: data_tag: D37
type: string
name: parse_data
arguments: data_tag: D62
type: string
name: parse_data
arguments: data_tag: D15
type: string
name: parse_data
arguments: data_tag: D22
type: string
name: parse_data
arguments: data_tag: D44
type: string
name: parse_data
arguments: data_tag: D123
type: string
name: parse_data
arguments: data_tag: D67
type: string
name: parse_data
arguments: data_tag: D0
type: string
name: parse_data
arguments: data_tag: D96
type: string
name: parse_data
arguments: data_tag: D76
type: string
name: parse_data
arguments: data_tag: D30
type: string

tool: D129: Running test for SHA256:


tool: D8: test_sha256.dat

tool: D37: %c

tool: D62: wb

tool: D15: 40aff2e9d2d8922e47afd4648e6967497158785fbd1da870e7110266bf944880

tool: D22: Checking file %s ... 

tool: D44: FALSE!

tool: D123: %-12s%s
%-12s%s



tool: D67: Assumed:

tool: D0: Calculated:

tool: D96: Memory Error!


tool: D76: CORRECT!


tool: D30: Cannot write test file!

assistant: ```c
int main(void) {
  short i;
  unsigned char *ascii = NULL;
  FILE *fp = NULL;
  char *filename = "test_sha256.dat";
  char *assumed = "40aff2e9d2d8922e47afd4648e6967497158785fbd1da870e7110266bf944880";
  printf("Running test for SHA256:\n\n");
  fp = fopen(filename, "wb");
  if (!fp) {
    printf("Cannot write test file!\n");
    return 1;
  }
  for (i = 0x00; i <= 0xFF; i++) {
    fprintf(fp, "%c", i);
  }
  fclose(fp);
  printf("Checking file %s ... ", filename);
  ascii = check_sha256_sum(filename, (unsigned char *)assumed);
  if (ascii == NULL) {
    printf("CORRECT!\n\n");
  } else {
    if (memcmp(ascii, assumed, 64) == 0) {
      printf("Memory Error!\n\n");
    } else {
      printf("FALSE!\n");
      printf("%-12s%s\n%-12s%s\n\n", "Calculated:", ascii, "Assumed:", assumed);
      free(ascii);
    }
  }
  remove(filename);
  return 0;
}
```