user: Please show me the C implementation that matches the assembly code listed below:

```asm
<SHA256_Xcompare_43>:
  endbr64
  push   %r13
  xor    %esi,%esi
  mov    $0x20,%edx
  push   %r12
  push   %rbp
  sub    $0x70,%rsp
  movdqa D10(%rip),%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,0x68(%rsp)
  xor    %eax,%eax
  lea    0x40(%rsp),%rbp
  mov    %rsp,%r13
  lea    0x20(%rsp),%r12
  movaps %xmm0,(%rsp)
  movdqa D59(%rip),%xmm0
  mov    %rbp,%rdi
  movl   $0x62f499b2,0x10(%rsp)
  movaps %xmm0,0x20(%rsp)
  movdqa D17(%rip),%xmm0
  movaps %xmm0,0x30(%rsp)
  call   <memset@plt>
  mov    $0x14,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_VST@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D43(%rip),%rcx
  call   <check_test@plt>
  xor    %esi,%esi
  mov    $0x20,%edx
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    $0x14,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_NSS@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D16(%rip),%rcx
  call   <check_test@plt>
  xor    %esi,%esi
  mov    $0x20,%edx
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    $0x14,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_sodium@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D44(%rip),%rcx
  call   <check_test@plt>
  mov    0x68(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L7
  add    $0x70,%rsp
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L7:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: data_tag: D10
datatype: byte[16]
name: read_data
arguments: data_tag: D59
datatype: byte[16]
name: read_data
arguments: data_tag: D17
datatype: byte[16]
name: read_data
arguments: data_tag: D43
datatype: string
name: read_data
arguments: data_tag: D16
datatype: string
name: read_data
arguments: data_tag: D44
datatype: string

tool: {"D10": [0x18,0x02,0xa7,0x42,0x73,0xbc,0x8c,0xec,0x14,0xf8,0xd1,0x68,0x53,0x0b,0xd1,0x3a]}

tool: {"D59": [0xdb,0x6e,0x28,0x91,0x61,0x6e,0x53,0x2c,0xab,0xea,0xa6,0xc9,0x50,0x18,0x86,0x55]}

tool: {"D17": [0x3f,0x5d,0x0e,0x36,0x2c,0x1e,0x35,0xc9,0x1e,0x4a,0xf9,0xfe,0xc7,0xd6,0x32,0x40]}

tool: D43: Disagreement between given answer and SHA256_VST in SHA256_Xcompare_43


tool: D16: Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_43


tool: D44: Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_43


assistant: ```c
void SHA256_Xcompare_43() {
  unsigned char input[20] = {24, 2, 167, 66, 115, 188, 140, 236, 20, 248, 209, 104, 83, 11, 209, 58, 178, 153, 244, 98};
  unsigned char result0[32] = {0xDB, 0x6E, 0x28, 0x91, 0x61, 0x6E, 0x53, 0x2C, 0xAB, 0xEA, 0xA6, 0xC9, 0x50, 0x18, 0x86, 0x55, 0x3F, 0x5D, 0x0E, 0x36, 0x2C, 0x1E, 0x35, 0xC9, 0x1E, 0x4A, 0xF9, 0xFE, 0xC7, 0xD6, 0x32, 0x40};
  unsigned char result1[32];
  memset(result1, 0, 32);
  SHA256_VST(input, result1, 20);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_VST in SHA256_Xcompare_43\n");
  memset(result1, 0, 32);
  SHA256_NSS(input, result1, 20);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_43\n");
  memset(result1, 0, 32);
  SHA256_sodium(input, result1, 20);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_43\n");
}
```