user: What would the C source look like for the assembly code provided here?

```asm
<SHA256_Xcompare_38>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xb0,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movabs $0xbaddfe50f0fd6988,%rax
  movabs $0x8f6fba2c9cba15c0,%rdx
  mov    %rax,-0x70(%rbp)
  mov    %rdx,-0x68(%rbp)
  movabs $0x14cc962572902ac9,%rax
  movabs $0x30feebc00a9f63e4,%rdx
  mov    %rax,-0x60(%rbp)
  mov    %rdx,-0x58(%rbp)
  movabs $0x4af0096b3aaf4483,%rax
  movabs $0x2692546816d5ea8a,%rdx
  mov    %rax,-0x50(%rbp)
  mov    %rdx,-0x48(%rbp)
  movabs $0xf0b8712222c697c6,%rax
  movabs $0x3383d33c42f318c4,%rdx
  mov    %rax,-0x40(%rbp)
  mov    %rdx,-0x38(%rbp)
  movabs $0x5a5ab91ab8aef22d,%rax
  movabs $0x1cfba2c6efaed345,%rdx
  mov    %rax,-0x30(%rbp)
  mov    %rdx,-0x28(%rbp)
  movabs $0xb1d9da4d13f38352,%rax
  movabs $0xdc81340c287728ec,%rdx
  mov    %rax,-0x20(%rbp)
  mov    %rdx,-0x18(%rbp)
  movw   $0xb583,-0x10(%rbp)
  movabs $0x92a972a75cde61a2,%rax
  movabs $0x7c216b101dcd2519,%rdx
  mov    %rax,-0xb0(%rbp)
  mov    %rdx,-0xa8(%rbp)
  movabs $0x49ead72b2f2fc102,%rax
  movabs $0x5fa292cffb1e417e,%rdx
  mov    %rax,-0xa0(%rbp)
  mov    %rdx,-0x98(%rbp)
  lea    -0x90(%rbp),%rax
  mov    $0x20,%edx
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  lea    -0x90(%rbp),%rcx
  lea    -0x70(%rbp),%rax
  mov    $0x62,%edx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <SHA256_VST@plt>
  lea    -0x90(%rbp),%rsi
  lea    -0xb0(%rbp),%rax
  lea    D12(%rip),%rdx
  mov    %rdx,%rcx
  mov    $0x20,%edx
  mov    %rax,%rdi
  call   <check_test@plt>
  lea    -0x90(%rbp),%rax
  mov    $0x20,%edx
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  lea    -0x90(%rbp),%rcx
  lea    -0x70(%rbp),%rax
  mov    $0x62,%edx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <SHA256_NSS@plt>
  lea    -0x90(%rbp),%rsi
  lea    -0xb0(%rbp),%rax
  lea    D18(%rip),%rdx
  mov    %rdx,%rcx
  mov    $0x20,%edx
  mov    %rax,%rdi
  call   <check_test@plt>
  lea    -0x90(%rbp),%rax
  mov    $0x20,%edx
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  lea    -0x90(%rbp),%rcx
  lea    -0x70(%rbp),%rax
  mov    $0x62,%edx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <SHA256_sodium@plt>
  lea    -0x90(%rbp),%rsi
  lea    -0xb0(%rbp),%rax
  lea    D16(%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     L5
  call   <__stack_chk_fail@plt>
L5:
  leave
  ret
```

tool_calls: name: unpack_data
arguments: data_tag: D12
datatype: string
name: unpack_data
arguments: data_tag: D18
datatype: string
name: unpack_data
arguments: data_tag: D16
datatype: string

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


tool: D18: Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_38


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


assistant: ```c
void SHA256_Xcompare_38() {
  unsigned char input[98] = {136, 105, 253, 240, 80, 254, 221, 186, 192, 21, 186, 156, 44, 186, 111, 143, 201, 42, 144, 114, 37, 150, 204, 20, 228, 99, 159, 10, 192, 235, 254, 48, 131, 68, 175, 58, 107, 9, 240, 74, 138, 234, 213, 22, 104, 84, 146, 38, 198, 151, 198, 34, 34, 113, 184, 240, 196, 24, 243, 66, 60, 211, 131, 51, 45, 242, 174, 184, 26, 185, 90, 90, 69, 211, 174, 239, 198, 162, 251, 28, 82, 131, 243, 19, 77, 218, 217, 177, 236, 40, 119, 40, 12, 52, 129, 220, 131, 181};
  unsigned char result0[32] = {0xA2, 0x61, 0xDE, 0x5C, 0xA7, 0x72, 0xA9, 0x92, 0x19, 0x25, 0xCD, 0x1D, 0x10, 0x6B, 0x21, 0x7C, 0x02, 0xC1, 0x2F, 0x2F, 0x2B, 0xD7, 0xEA, 0x49, 0x7E, 0x41, 0x1E, 0xFB, 0xCF, 0x92, 0xA2, 0x5F};
  unsigned char result1[32];
  memset(result1, 0, 32);
  SHA256_VST(input, result1, 98);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_VST in SHA256_Xcompare_38\n");
  memset(result1, 0, 32);
  SHA256_NSS(input, result1, 98);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_38\n");
  memset(result1, 0, 32);
  SHA256_sodium(input, result1, 98);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_38\n");
}
```