user: Demonstrate the C code that generates the assembly output below:

```asm
<SHA256_Xcompare_23>:
  endbr64
  push   %r13
  xor    %esi,%esi
  mov    $0x20,%edx
  push   %r12
  push   %rbp
  sub    $0x60,%rsp
  movdqa D6(%rip),%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,0x58(%rsp)
  movabs $0x73b6a3abef9abac1,%rax
  lea    0x30(%rsp),%rbp
  lea    0x6(%rsp),%r13
  movaps %xmm0,0x10(%rsp)
  movdqa D30(%rip),%xmm0
  mov    %rbp,%rdi
  lea    0x10(%rsp),%r12
  movaps %xmm0,0x20(%rsp)
  mov    %rax,0x6(%rsp)
  mov    $0x29b,%eax
  mov    %ax,0xe(%rsp)
  call   <memset@plt>
  mov    $0xa,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_VST@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D0(%rip),%rcx
  call   <check_test@plt>
  xor    %esi,%esi
  mov    $0x20,%edx
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    $0xa,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_NSS@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D2(%rip),%rcx
  call   <check_test@plt>
  xor    %esi,%esi
  mov    $0x20,%edx
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    $0xa,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_sodium@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D16(%rip),%rcx
  call   <check_test@plt>
  mov    0x58(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L3
  add    $0x60,%rsp
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L3:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D6
type_infered: byte[16]
name: extract_symbolic_data
arguments: data_label: D30
type_infered: byte[16]
name: extract_symbolic_data
arguments: data_label: D0
type_infered: string
name: extract_symbolic_data
arguments: data_label: D2
type_infered: string
name: extract_symbolic_data
arguments: data_label: D16
type_infered: string

tool: {"D6": [0x38,0xa3,0x4d,0xaf,0xec,0x12,0x55,0xb4,0x5e,0x68,0x49,0xdc,0x1c,0xad,0x25,0x1a]}

tool: {"D30": [0x8e,0x69,0x01,0xb8,0x5f,0xb2,0xe9,0xba,0x35,0x42,0xb4,0xcd,0xad,0xf1,0x79,0x7c]}

tool: D0: Disagreement between given answer and SHA256_VST in SHA256_Xcompare_23


tool: D2: Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_23


tool: D16: Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_23


assistant: ```c
void SHA256_Xcompare_23() {
  unsigned char input[10] = {193, 186, 154, 239, 171, 163, 182, 115, 155, 2};
  unsigned char result0[32] = {0x38, 0xA3, 0x4D, 0xAF, 0xEC, 0x12, 0x55, 0xB4, 0x5E, 0x68, 0x49, 0xDC, 0x1C, 0xAD, 0x25, 0x1A, 0x8E, 0x69, 0x01, 0xB8, 0x5F, 0xB2, 0xE9, 0xBA, 0x35, 0x42, 0xB4, 0xCD, 0xAD, 0xF1, 0x79, 0x7C};
  unsigned char result1[32];
  memset(result1, 0, 32);
  SHA256_VST(input, result1, 10);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_VST in SHA256_Xcompare_23\n");
  memset(result1, 0, 32);
  SHA256_NSS(input, result1, 10);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_23\n");
  memset(result1, 0, 32);
  SHA256_sodium(input, result1, 10);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_23\n");
}
```