user: What is the c source code of the assembly code below?

```asm
<SHA256_Xcompare_7>:
  endbr64
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0xa0,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x98(%rsp)
  xor    %eax,%eax
  movabs $0x5420427f81985cca,%rax
  movabs $0x784d7bb57bd9d427,%rdx
  mov    %rax,0x40(%rsp)
  mov    %rdx,0x48(%rsp)
  movabs $0x2d7ad594a30cb032,%rax
  movabs $0x2da60a0a47140f90,%rdx
  mov    %rax,0x50(%rsp)
  mov    %rdx,0x58(%rsp)
  movabs $0x527e859521faad99,%rax
  movabs $0xf0e13b9422d0fa42,%rdx
  mov    %rax,0x60(%rsp)
  mov    %rdx,0x68(%rsp)
  movabs $0x950998b64ec02337,%rax
  movabs $0x9f996e3ce41fca68,%rdx
  mov    %rax,0x70(%rsp)
  mov    %rdx,0x78(%rsp)
  movabs $0xc2e514f8fb4b7397,%rax
  movabs $0x1fc7a52cbb1fe1a4,%rdx
  mov    %rax,0x80(%rsp)
  mov    %rdx,0x88(%rsp)
  movl   $0x1a977dae,0x90(%rsp)
  movabs $0xbba4a0ea47d3dbe1,%rax
  movabs $0x367131f89bfe1535,%rdx
  mov    %rax,(%rsp)
  mov    %rdx,0x8(%rsp)
  movabs $0x5cc28fec305cd9fd,%rax
  movabs $0xd70685dd4a2985d8,%rdx
  mov    %rax,0x10(%rsp)
  mov    %rdx,0x18(%rsp)
  lea    0x20(%rsp),%rbx
  mov    $0x20,%edx
  mov    $0x0,%esi
  mov    %rbx,%rdi
  call   <memset@plt>
  lea    0x40(%rsp),%r12
  mov    $0x54,%edx
  mov    %rbx,%rsi
  mov    %r12,%rdi
  call   <SHA256_VST@plt>
  mov    %rsp,%rbp
  lea    D14(%rip),%rcx
  mov    $0x20,%edx
  mov    %rbx,%rsi
  mov    %rbp,%rdi
  call   <check_test@plt>
  mov    $0x20,%edx
  mov    $0x0,%esi
  mov    %rbx,%rdi
  call   <memset@plt>
  mov    $0x54,%edx
  mov    %rbx,%rsi
  mov    %r12,%rdi
  call   <SHA256_NSS@plt>
  lea    D1(%rip),%rcx
  mov    $0x20,%edx
  mov    %rbx,%rsi
  mov    %rbp,%rdi
  call   <check_test@plt>
  mov    $0x20,%edx
  mov    $0x0,%esi
  mov    %rbx,%rdi
  call   <memset@plt>
  mov    $0x54,%edx
  mov    %rbx,%rsi
  mov    %r12,%rdi
  call   <SHA256_sodium@plt>
  lea    D20(%rip),%rcx
  mov    $0x20,%edx
  mov    %rbx,%rsi
  mov    %rbp,%rdi
  call   <check_test@plt>
  mov    0x98(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L7
  add    $0xa0,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
L7:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: tag: D14
type: string
name: read_data
arguments: tag: D1
type: string
name: read_data
arguments: tag: D20
type: string

tool: D14: Disagreement between given answer and SHA256_VST in SHA256_Xcompare_7


tool: D1: Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_7


tool: D20: Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_7


assistant: ```c
void SHA256_Xcompare_7() {
  unsigned char input[84] = {202, 92, 152, 129, 127, 66, 32, 84, 39, 212, 217, 123, 181, 123, 77, 120, 50, 176, 12, 163, 148, 213, 122, 45, 144, 15, 20, 71, 10, 10, 166, 45, 153, 173, 250, 33, 149, 133, 126, 82, 66, 250, 208, 34, 148, 59, 225, 240, 55, 35, 192, 78, 182, 152, 9, 149, 104, 202, 31, 228, 60, 110, 153, 159, 151, 115, 75, 251, 248, 20, 229, 194, 164, 225, 31, 187, 44, 165, 199, 31, 174, 125, 151, 26};
  unsigned char result0[32] = {0xE1, 0xDB, 0xD3, 0x47, 0xEA, 0xA0, 0xA4, 0xBB, 0x35, 0x15, 0xFE, 0x9B, 0xF8, 0x31, 0x71, 0x36, 0xFD, 0xD9, 0x5C, 0x30, 0xEC, 0x8F, 0xC2, 0x5C, 0xD8, 0x85, 0x29, 0x4A, 0xDD, 0x85, 0x06, 0xD7};
  unsigned char result1[32];
  memset(result1, 0, 32);
  SHA256_VST(input, result1, 84);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_VST in SHA256_Xcompare_7\n");
  memset(result1, 0, 32);
  SHA256_NSS(input, result1, 84);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_7\n");
  memset(result1, 0, 32);
  SHA256_sodium(input, result1, 84);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_7\n");
}
```