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

```asm
<main>:
  endbr64
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x70,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x68(%rsp)
  xor    %eax,%eax
  movl   $0xcd,(%rsp)
  movl   $0xab,0x4(%rsp)
  movl   $0xab,0x8(%rsp)
  movl   $0xcd,0xc(%rsp)
  mov    %rsp,%r14
  mov    %r14,%rdi
  call   <ReadUint16LE@plt>
  mov    %eax,%ebp
  cmp    $0xabcd,%eax
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  lea    0x8(%rsp),%r12
  mov    %r12,%rdi
  call   <ReadUint16BE@plt>
  mov    %eax,%ebx
  cmp    $0xabcd,%eax
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  movq   $0x0,0x10(%rsp)
  lea    0x10(%rsp),%r13
  mov    %r13,%rsi
  mov    %ebp,%edi
  call   <WriteUint16LE@plt>
  mov    $0x2,%edx
  mov    %r14,%rsi
  mov    %r13,%rdi
  call   <memcmp@plt>
  test   %rax,%rax
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  movq   $0x0,0x18(%rsp)
  lea    0x18(%rsp),%rbp
  mov    %rbp,%rsi
  mov    %ebx,%edi
  call   <WriteUint16BE@plt>
  mov    $0x2,%edx
  mov    %r12,%rsi
  mov    %rbp,%rdi
  call   <memcmp@plt>
  test   %rax,%rax
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  movl   $0xd2,0x20(%rsp)
  movl   $0x2,0x24(%rsp)
  movl   $0x96,0x28(%rsp)
  movl   $0x49,0x2c(%rsp)
  movl   $0x49,0x30(%rsp)
  movl   $0x96,0x34(%rsp)
  movl   $0x2,0x38(%rsp)
  movl   $0xd2,0x3c(%rsp)
  lea    0x20(%rsp),%r13
  mov    %r13,%rdi
  call   <ReadUint32LE@plt>
  mov    %eax,%ebx
  cmp    $0x499602d2,%eax
  sete   %bpl
  movzbl %bpl,%ebp
  mov    %ebp,%edi
  call   <assert@plt>
  mov    %ebp,%edi
  call   <assert@plt>
  lea    0x30(%rsp),%rbp
  mov    %rbp,%rdi
  call   <ReadUint32BE@plt>
  cmp    $0x499602d2,%eax
  sete   %r12b
  movzbl %r12b,%r12d
  mov    %r12d,%edi
  call   <assert@plt>
  mov    %r12d,%edi
  call   <assert@plt>
  movq   $0x0,0x40(%rsp)
  movq   $0x0,0x48(%rsp)
  lea    0x40(%rsp),%r12
  mov    %r12,%rsi
  mov    %ebx,%edi
  call   <WriteUint32LE@plt>
  mov    $0x4,%edx
  mov    %r13,%rsi
  mov    %r12,%rdi
  call   <memcmp@plt>
  test   %rax,%rax
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  movq   $0x0,0x50(%rsp)
  movq   $0x0,0x58(%rsp)
  lea    0x50(%rsp),%rbx
  mov    %rbx,%rsi
  mov    $0x499602d2,%edi
  call   <WriteUint32BE@plt>
  mov    $0x4,%edx
  mov    %rbx,%rsi
  mov    %rbp,%rdi
  call   <memcmp@plt>
  test   %rax,%rax
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  lea    D5(%rip),%rdi
  call   <puts@plt>
  mov    0x68(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L5
  mov    $0x0,%eax
  add    $0x70,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
L5:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D5
datatype: string

tool: D5: ok

assistant: ```c
int main(void) {
  const uint8_t data16_le[] = {0xcd, 0xab};
  const uint8_t data16_be[] = {0xab, 0xcd};
  uint16_t le16 = ReadUint16LE(data16_le);
  assert(0xabcd == le16);
  uint16_t be16 = ReadUint16BE(data16_be);
  assert(0xabcd == be16);
  uint8_t out16_le[2] = {0};
  WriteUint16LE(le16, out16_le);
  assert(memcmp(out16_le, data16_le, 2) == 0);
  uint8_t out16_be[2] = {0};
  WriteUint16BE(be16, out16_be);
  assert(memcmp(out16_be, data16_be, 2) == 0);
  const uint8_t data32_le[] = {0xd2, 0x02, 0x96, 0x49};
  const uint8_t data32_be[] = {0x49, 0x96, 0x02, 0xd2};
  uint32_t le32 = ReadUint32LE(data32_le);
  assert(1234567890u == le32);
  assert(0x499602d2u == le32);
  uint32_t be32 = ReadUint32BE(data32_be);
  assert(1234567890u == be32);
  assert(0x499602d2u == be32);
  uint8_t out32_le[4] = {0};
  WriteUint32LE(le32, out32_le);
  assert(memcmp(out32_le, data32_le, 4) == 0);
  uint8_t out32_be[4] = {0};
  WriteUint32BE(1234567890u, out32_be);
  assert(memcmp(data32_be, out32_be, 4) == 0);
  puts("ok");
  return 0;
}
```