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

```asm
<normalize_hex_string_01c>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r12
  lea    -0x60(%rbp),%r12
  mov    %r12,%rdi
  sub    $0xa8,%rsp
  movdqa D6(%rip),%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,-0x18(%rbp)
  xor    %eax,%eax
  mov    $0x41,%eax
  movb   $0x0,-0x70(%rbp)
  movaps %xmm0,-0x60(%rbp)
  movdqa D28(%rip),%xmm0
  mov    %ax,-0x20(%rbp)
  movaps %xmm0,-0x50(%rbp)
  movdqa D66(%rip),%xmm0
  movaps %xmm0,-0x40(%rbp)
  movdqa D8(%rip),%xmm0
  movaps %xmm0,-0x30(%rbp)
  movdqa D30(%rip),%xmm0
  movaps %xmm0,-0xb0(%rbp)
  movdqa D78(%rip),%xmm0
  movaps %xmm0,-0xa0(%rbp)
  movdqa D21(%rip),%xmm0
  movaps %xmm0,-0x90(%rbp)
  movdqa D29(%rip),%xmm0
  movaps %xmm0,-0x80(%rbp)
  call   <normalized_hex_string_length@plt>
  mov    %rsp,%rcx
  add    $0x1,%eax
  cltq
  add    $0xf,%rax
  mov    %rax,%rdx
  and    $0xfffffffffffff000,%rax
  sub    %rax,%rcx
  and    $0xfffffffffffffff0,%rdx
  cmp    %rcx,%rsp
  je     L12
L25:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rcx,%rsp
  jne    L25
L12:
  and    $0xfff,%edx
  sub    %rdx,%rsp
  test   %rdx,%rdx
  jne    L2
L34:
  mov    %r12,%rsi
  mov    %rsp,%rdi
  call   <normalize_hex_string@plt>
  lea    -0xb0(%rbp),%rsi
  mov    %rsp,%rdi
  call   <strcmp@plt>
  mov    $0x0,%edx
  test   %rax,%rax
  lea    D35(%rip),%rax
  cmove  %rdx,%rax
  mov    -0x18(%rbp),%rdx
  sub    %fs:0x28,%rdx
  jne    L5
  mov    -0x8(%rbp),%r12
  leave
  ret
  nopl   0x0(%rax,%rax,1)
L2:
  orq    $0x0,-0x8(%rsp,%rdx,1)
  jmp    L34
L5:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D6
type_infered: byte[16]
name: extract_symbolic_data
arguments: label: D28
type_infered: byte[16]
name: extract_symbolic_data
arguments: label: D66
type_infered: byte[16]
name: extract_symbolic_data
arguments: label: D8
type_infered: byte[16]
name: extract_symbolic_data
arguments: label: D30
type_infered: byte[16]
name: extract_symbolic_data
arguments: label: D78
type_infered: byte[16]
name: extract_symbolic_data
arguments: label: D21
type_infered: byte[16]
name: extract_symbolic_data
arguments: label: D29
type_infered: byte[16]
name: extract_symbolic_data
arguments: label: D35
type_infered: string

tool: {"D6": [0x30,0x78,0x42,0x33,0x30,0x30,0x35,0x36,0x32,0x46,0x38,0x46,0x39,0x41,0x39,0x36]}

tool: {"D28": [0x31,0x45,0x31,0x35,0x38,0x42,0x44,0x45,0x32,0x44,0x34,0x43,0x43,0x44,0x32,0x41]}

tool: {"D66": [0x36,0x34,0x42,0x42,0x31,0x44,0x39,0x32,0x33,0x32,0x30,0x38,0x39,0x33,0x39,0x37]}

tool: {"D8": [0x31,0x34,0x36,0x37,0x35,0x42,0x46,0x46,0x42,0x31,0x37,0x42,0x42,0x41,0x46,0x32]}

tool: {"D30": [0x30,0x42,0x33,0x30,0x30,0x35,0x36,0x32,0x46,0x38,0x46,0x39,0x41,0x39,0x36,0x31]}

tool: {"D78": [0x45,0x31,0x35,0x38,0x42,0x44,0x45,0x32,0x44,0x34,0x43,0x43,0x44,0x32,0x41,0x36]}

tool: {"D21": [0x34,0x42,0x42,0x31,0x44,0x39,0x32,0x33,0x32,0x30,0x38,0x39,0x33,0x39,0x37,0x31]}

tool: {"D29": [0x34,0x36,0x37,0x35,0x42,0x46,0x46,0x42,0x31,0x37,0x42,0x42,0x41,0x46,0x32,0x41]}

tool: D35: normalize strings with leading '0x's and an odd number of characters

assistant: ```c
char *normalize_hex_string_01c() {
  char hex[] = "0xB300562F8F9A961E158BDE2D4CCD2A64BB1D923208939714675BFFB17BBAF2A";
  char expected[] = "0B300562F8F9A961E158BDE2D4CCD2A64BB1D923208939714675BFFB17BBAF2A";
  char buffer[normalized_hex_string_length(hex) + 1];
  normalize_hex_string(buffer, hex);
  do {
    if (!(strcmp(buffer, expected) == 0))
      return "normalize strings with leading '0x's and an odd number of characters";
  } while (0);
  return 0;
}
```