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

```asm
<SHA256_Xcompare_6>:
  endbr64
  push   %r13
  xor    %esi,%esi
  mov    $0x20,%edx
  push   %r12
  push   %rbp
  sub    $0x70,%rsp
  movdqa D4(%rip),%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,0x68(%rsp)
  xor    %eax,%eax
  lea    0x20(%rsp),%rbp
  lea    0x40(%rsp),%r13
  mov    %rsp,%r12
  movaps %xmm0,0x40(%rsp)
  movdqa D45(%rip),%xmm0
  mov    %rbp,%rdi
  movl   $0x51a93da7,0x60(%rsp)
  movaps %xmm0,0x50(%rsp)
  movdqa D61(%rip),%xmm0
  movb   $0x5f,0x64(%rsp)
  movaps %xmm0,(%rsp)
  movdqa D55(%rip),%xmm0
  movaps %xmm0,0x10(%rsp)
  call   <memset@plt>
  mov    $0x25,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_VST@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D12(%rip),%rcx
  call   <check_test@plt>
  xor    %esi,%esi
  mov    $0x20,%edx
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    $0x25,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_NSS@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D32(%rip),%rcx
  call   <check_test@plt>
  xor    %esi,%esi
  mov    $0x20,%edx
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    $0x25,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_sodium@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D54(%rip),%rcx
  call   <check_test@plt>
  mov    0x68(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L0
  add    $0x70,%rsp
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L0:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: parse_data
arguments: label: D4
type_infered: byte[16]
name: parse_data
arguments: label: D45
type_infered: byte[16]
name: parse_data
arguments: label: D61
type_infered: byte[16]
name: parse_data
arguments: label: D55
type_infered: byte[16]
name: parse_data
arguments: label: D12
type_infered: string
name: parse_data
arguments: label: D32
type_infered: string
name: parse_data
arguments: label: D54
type_infered: string

tool: {"D4": [0xd2,0x69,0x3f,0x33,0xb0,0xea,0x12,0xa2,0x20,0x46,0x18,0x27,0x11,0x0d,0x0d,0x4d]}

tool: {"D45": [0xe6,0x23,0xf9,0xbf,0x61,0xe5,0xb6,0x97,0x59,0xfa,0x88,0xc5,0xac,0x2a,0x6a,0xf5]}

tool: {"D61": [0x4a,0xfb,0xb8,0x2d,0x29,0xdb,0xd3,0x27,0xb2,0x0c,0xc4,0x43,0xbf,0xfa,0xc8,0x15]}

tool: {"D55": [0x8a,0xaa,0xa7,0x52,0x76,0x86,0x35,0x75,0x93,0x01,0xa3,0x55,0x93,0x26,0x12,0xf2]}

tool: D12: Disagreement between given answer and SHA256_VST in SHA256_Xcompare_6


tool: D32: Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_6


tool: D54: Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_6


assistant: ```c
void SHA256_Xcompare_6() {
  unsigned char input[37] = {210, 105, 63, 51, 176, 234, 18, 162, 32, 70, 24, 39, 17, 13, 13, 77, 230, 35, 249, 191, 97, 229, 182, 151, 89, 250, 136, 197, 172, 42, 106, 245, 167, 61, 169, 81, 95};
  unsigned char result0[32] = {0x4A, 0xFB, 0xB8, 0x2D, 0x29, 0xDB, 0xD3, 0x27, 0xB2, 0x0C, 0xC4, 0x43, 0xBF, 0xFA, 0xC8, 0x15, 0x8A, 0xAA, 0xA7, 0x52, 0x76, 0x86, 0x35, 0x75, 0x93, 0x01, 0xA3, 0x55, 0x93, 0x26, 0x12, 0xF2};
  unsigned char result1[32];
  memset(result1, 0, 32);
  SHA256_VST(input, result1, 37);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_VST in SHA256_Xcompare_6\n");
  memset(result1, 0, 32);
  SHA256_NSS(input, result1, 37);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_6\n");
  memset(result1, 0, 32);
  SHA256_sodium(input, result1, 37);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_6\n");
}
```