user: Converte this assembly snippet into its equivalent C code:

```asm
<SHA256_Xcompare_28>:
  endbr64
  push   %r13
  xor    %esi,%esi
  mov    $0x20,%edx
  push   %r12
  push   %rbp
  sub    $0x70,%rsp
  movdqa D51(%rip),%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,0x68(%rsp)
  xor    %eax,%eax
  lea    0x40(%rsp),%rbp
  mov    %rsp,%r13
  mov    $0xffff9999,%eax
  movaps %xmm0,(%rsp)
  mov    %rbp,%rdi
  movdqa D50(%rip),%xmm0
  lea    0x20(%rsp),%r12
  movl   $0x4c2a6e8e,0x10(%rsp)
  movaps %xmm0,0x20(%rsp)
  movdqa D46(%rip),%xmm0
  mov    %ax,0x14(%rsp)
  movaps %xmm0,0x30(%rsp)
  movb   $0x95,0x16(%rsp)
  call   <memset@plt>
  mov    $0x17,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_VST@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D1(%rip),%rcx
  call   <check_test@plt>
  xor    %esi,%esi
  mov    $0x20,%edx
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    $0x17,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_NSS@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D23(%rip),%rcx
  call   <check_test@plt>
  xor    %esi,%esi
  mov    $0x20,%edx
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    $0x17,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_sodium@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D39(%rip),%rcx
  call   <check_test@plt>
  mov    0x68(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L1
  add    $0x70,%rsp
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L1:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: unpack_data
arguments: data_label: D51
type_infered: byte[16]
name: unpack_data
arguments: data_label: D50
type_infered: byte[16]
name: unpack_data
arguments: data_label: D46
type_infered: byte[16]
name: unpack_data
arguments: data_label: D1
type_infered: string
name: unpack_data
arguments: data_label: D23
type_infered: string
name: unpack_data
arguments: data_label: D39
type_infered: string

tool: {"D51": [0xd4,0x26,0x6a,0xda,0x7c,0xa1,0xf4,0x22,0x1d,0x14,0x12,0x1b,0x86,0xbf,0x9c,0x93]}

tool: {"D50": [0x8b,0x98,0xe9,0x11,0x75,0xb5,0x7d,0x0a,0x90,0xf0,0xce,0xa3,0x35,0xd0,0x2b,0xb4]}

tool: {"D46": [0x3f,0x86,0x00,0x60,0xe4,0x06,0xde,0xe3,0x75,0xfc,0xa6,0x7e,0x01,0x6a,0x44,0xa0]}

tool: D1: Disagreement between given answer and SHA256_VST in SHA256_Xcompare_28


tool: D23: Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_28


tool: D39: Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_28


assistant: ```c
void SHA256_Xcompare_28() {
  unsigned char input[23] = {212, 38, 106, 218, 124, 161, 244, 34, 29, 20, 18, 27, 134, 191, 156, 147, 142, 110, 42, 76, 153, 153, 149};
  unsigned char result0[32] = {0x8B, 0x98, 0xE9, 0x11, 0x75, 0xB5, 0x7D, 0x0A, 0x90, 0xF0, 0xCE, 0xA3, 0x35, 0xD0, 0x2B, 0xB4, 0x3F, 0x86, 0x00, 0x60, 0xE4, 0x06, 0xDE, 0xE3, 0x75, 0xFC, 0xA6, 0x7E, 0x01, 0x6A, 0x44, 0xA0};
  unsigned char result1[32];
  memset(result1, 0, 32);
  SHA256_VST(input, result1, 23);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_VST in SHA256_Xcompare_28\n");
  memset(result1, 0, 32);
  SHA256_NSS(input, result1, 23);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_28\n");
  memset(result1, 0, 32);
  SHA256_sodium(input, result1, 23);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_28\n");
}
```