user: 请显示与下面列出的汇编代码相匹配的C语言实现：

```asm
<SHA256_Xcompare_35>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xa0,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movabs $0x647a71a225a26ec2,%rax
  movabs $0x645cd86d9573e1ca,%rdx
  mov    %rax,-0x60(%rbp)
  mov    %rdx,-0x58(%rbp)
  movabs $0xe4d71e6406a144c6,%rax
  movabs $0x1ee96187037669c4,%rdx
  mov    %rax,-0x50(%rbp)
  mov    %rdx,-0x48(%rbp)
  movabs $0xaab9d33f7af0ae2f,%rax
  movabs $0xd7d84c9d5490c335,%rdx
  mov    %rax,-0x40(%rbp)
  mov    %rdx,-0x38(%rbp)
  movabs $0x79c6f0f3805dcee,%rax
  movabs $0xaf441cb181e766fe,%rdx
  mov    %rax,-0x30(%rbp)
  mov    %rdx,-0x28(%rbp)
  movabs $0xbbc22bb0da7aaed0,%rax
  mov    %rax,-0x20(%rbp)
  movl   $0xf3d7c69b,-0x18(%rbp)
  movw   $0xaa5a,-0x14(%rbp)
  movb   $0x83,-0x12(%rbp)
  movabs $0xd8b34c2128b1ada6,%rax
  movabs $0x46a12b3e8a48645c,%rdx
  mov    %rax,-0xa0(%rbp)
  mov    %rdx,-0x98(%rbp)
  movabs $0xf8a3aab270a06695,%rax
  movabs $0x847b3f0035f9a03f,%rdx
  mov    %rax,-0x90(%rbp)
  mov    %rdx,-0x88(%rbp)
  lea    -0x80(%rbp),%rax
  mov    $0x20,%edx
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  lea    -0x80(%rbp),%rcx
  lea    -0x60(%rbp),%rax
  mov    $0x4f,%edx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <SHA256_VST@plt>
  lea    -0x80(%rbp),%rsi
  lea    -0xa0(%rbp),%rax
  lea    D13(%rip),%rdx
  mov    %rdx,%rcx
  mov    $0x20,%edx
  mov    %rax,%rdi
  call   <check_test@plt>
  lea    -0x80(%rbp),%rax
  mov    $0x20,%edx
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  lea    -0x80(%rbp),%rcx
  lea    -0x60(%rbp),%rax
  mov    $0x4f,%edx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <SHA256_NSS@plt>
  lea    -0x80(%rbp),%rsi
  lea    -0xa0(%rbp),%rax
  lea    D5(%rip),%rdx
  mov    %rdx,%rcx
  mov    $0x20,%edx
  mov    %rax,%rdi
  call   <check_test@plt>
  lea    -0x80(%rbp),%rax
  mov    $0x20,%edx
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  lea    -0x80(%rbp),%rcx
  lea    -0x60(%rbp),%rax
  mov    $0x4f,%edx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <SHA256_sodium@plt>
  lea    -0x80(%rbp),%rsi
  lea    -0xa0(%rbp),%rax
  lea    D6(%rip),%rdx
  mov    %rdx,%rcx
  mov    $0x20,%edx
  mov    %rax,%rdi
  call   <check_test@plt>
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L0
  call   <__stack_chk_fail@plt>
L0:
  leave
  ret
```

tool_calls: name: retrieve_data
arguments: data_label: D13
type_infered: string
name: retrieve_data
arguments: data_label: D5
type_infered: string
name: retrieve_data
arguments: data_label: D6
type_infered: string

tool: D13: Disagreement between given answer and SHA256_VST in SHA256_Xcompare_35


tool: D5: Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_35


tool: D6: Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_35


assistant: ```c
void SHA256_Xcompare_35() {
  unsigned char input[79] = {194, 110, 162, 37, 162, 113, 122, 100, 202, 225, 115, 149, 109, 216, 92, 100, 198, 68, 161, 6, 100, 30, 215, 228, 196, 105, 118, 3, 135, 97, 233, 30, 47, 174, 240, 122, 63, 211, 185, 170, 53, 195, 144, 84, 157, 76, 216, 215, 238, 220, 5, 56, 15, 111, 156, 7, 254, 102, 231, 129, 177, 28, 68, 175, 208, 174, 122, 218, 176, 43, 194, 187, 155, 198, 215, 243, 90, 170, 131};
  unsigned char result0[32] = {0xA6, 0xAD, 0xB1, 0x28, 0x21, 0x4C, 0xB3, 0xD8, 0x5C, 0x64, 0x48, 0x8A, 0x3E, 0x2B, 0xA1, 0x46, 0x95, 0x66, 0xA0, 0x70, 0xB2, 0xAA, 0xA3, 0xF8, 0x3F, 0xA0, 0xF9, 0x35, 0x00, 0x3F, 0x7B, 0x84};
  unsigned char result1[32];
  memset(result1, 0, 32);
  SHA256_VST(input, result1, 79);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_VST in SHA256_Xcompare_35\n");
  memset(result1, 0, 32);
  SHA256_NSS(input, result1, 79);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_35\n");
  memset(result1, 0, 32);
  SHA256_sodium(input, result1, 79);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_35\n");
}
```