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   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbx
  sub    $0xb8,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x38(%rbp)
  xor    %eax,%eax
  mov    %rsp,%rax
  mov    %rax,%rbx
  movabs $0x3635303033427830,%rax
  movabs $0x3639413946384632,%rdx
  mov    %rax,-0x80(%rbp)
  mov    %rdx,-0x78(%rbp)
  movabs $0x4544423835314531,%rax
  movabs $0x4132444343344432,%rdx
  mov    %rax,-0x70(%rbp)
  mov    %rdx,-0x68(%rbp)
  movabs $0x3239443142423436,%rax
  movabs $0x3739333938303233,%rdx
  mov    %rax,-0x60(%rbp)
  mov    %rdx,-0x58(%rbp)
  movabs $0x4646423537363431,%rax
  movabs $0x3246414242373142,%rdx
  mov    %rax,-0x50(%rbp)
  mov    %rdx,-0x48(%rbp)
  movw   $0x41,-0x40(%rbp)
  movabs $0x3236353030334230,%rax
  movabs $0x3136394139463846,%rdx
  mov    %rax,-0xd0(%rbp)
  mov    %rdx,-0xc8(%rbp)
  movabs $0x3245444238353145,%rax
  movabs $0x3641324443433444,%rdx
  mov    %rax,-0xc0(%rbp)
  mov    %rdx,-0xb8(%rbp)
  movabs $0x3332394431424234,%rax
  movabs $0x3137393339383032,%rdx
  mov    %rax,-0xb0(%rbp)
  mov    %rdx,-0xa8(%rbp)
  movabs $0x4246464235373634,%rax
  movabs $0x4132464142423731,%rdx
  mov    %rax,-0xa0(%rbp)
  mov    %rdx,-0x98(%rbp)
  movb   $0x0,-0x90(%rbp)
  lea    -0x80(%rbp),%rax
  mov    %rax,%rdi
  call   <normalized_hex_string_length@plt>
  add    $0x1,%eax
  movslq %eax,%rdx
  sub    $0x1,%rdx
  mov    %rdx,-0xe0(%rbp)
  movslq %eax,%rdx
  mov    %rdx,%r14
  mov    $0x0,%r15d
  movslq %eax,%rdx
  mov    %rdx,%r12
  mov    $0x0,%r13d
  cltq
  mov    $0x10,%edx
  sub    $0x1,%rdx
  add    %rdx,%rax
  mov    $0x10,%esi
  mov    $0x0,%edx
  div    %rsi
  imul   $0x10,%rax,%rax
  mov    %rax,%rcx
  and    $0xfffffffffffff000,%rcx
  mov    %rsp,%rdx
  sub    %rcx,%rdx
L59:
  cmp    %rdx,%rsp
  je     L9
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L59
L9:
  mov    %rax,%rdx
  and    $0xfff,%edx
  sub    %rdx,%rsp
  mov    %rax,%rdx
  and    $0xfff,%edx
  test   %rdx,%rdx
  je     L31
  and    $0xfff,%eax
  sub    $0x8,%rax
  add    %rsp,%rax
  orq    $0x0,(%rax)
L31:
  mov    %rsp,%rax
  add    $0x0,%rax
  mov    %rax,-0xd8(%rbp)
  lea    -0x80(%rbp),%rdx
  mov    -0xd8(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <normalize_hex_string@plt>
  lea    -0xd0(%rbp),%rdx
  mov    -0xd8(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L12
  lea    D1(%rip),%rax
  jmp    L4
L12:
  mov    $0x0,%eax
L4:
  mov    %rbx,%rsp
  mov    -0x38(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L46
  call   <__stack_chk_fail@plt>
L46:
  lea    -0x28(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
```

tool_calls: name: unpack_data
arguments: tag: D1
type_infered: string

tool: D1: 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;
}
```