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

```asm
<PrintTypeTaggedArgs>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  mov    %rdi,%r13
  push   %r12
  movslq %esi,%r12
  push   %rbp
  mov    %r12,%rbp
  add    %rdi,%r12
  push   %rbx
  mov    %r12,%rsi
  sub    $0x8,%rsp
  call   <IsNiceString@plt>
  test   %eax,%eax
  je     L172
  mov    %r12,%rsi
  mov    %r13,%rdi
  lea    0x1(%r13),%r15
  call   <DataAfterAlignedString@plt>
  movsbl 0x1(%r13),%esi
  mov    %rax,%rbp
  test   %sil,%sil
  je     L148
  lea    D26(%rip),%r14
  lea    D68(%rip),%r13
  lea    D56(%rip),%rbx
  nopl   0x0(%rax,%rax,1)
L104:
  cmp    $0x66,%sil
  jg     L52
  cmp    $0x45,%sil
  jle    L183
  lea    -0x46(%rsi),%eax
  cmp    $0x20,%al
  ja     L183
  movzbl %al,%eax
  movslq (%rbx,%rax,4),%rax
  add    %rbx,%rax
  notrack jmp *%rax
  nopl   0x0(%rax,%rax,1)
L52:
  lea    -0x68(%rsi),%ecx
  cmp    $0xc,%cl
  ja     L183
  mov    $0x1,%eax
  shl    %cl,%rax
  test   $0x422,%eax
  jne    L153
  test   $0x1001,%eax
  jne    L179
  cmp    $0xb,%cl
  je     L68
L183:
  add    $0x8,%rsp
  lea    D67(%rip),%rdi
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    10b0 <printf@plt>
  nopl   0x0(%rax,%rax,1)
  mov    0x0(%rbp),%edi
  add    $0x4,%rbp
  call   <ntohl@plt>
  pxor   %xmm0,%xmm0
  lea    D99(%rip),%rdi
  movd   %eax,%xmm1
  mov    $0x1,%eax
  cvtss2sd %xmm1,%xmm0
  call   <printf@plt>
  nopl   0x0(%rax)
L2:
  movsbl 0x1(%r15),%esi
  add    $0x1,%r15
  test   %sil,%sil
  jne    L104
L148:
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax)
  lea    D54(%rip),%rdi
  xor    %eax,%eax
  add    $0x8,%rbp
  call   <printf@plt>
  jmp    L2
  nopl   0x0(%rax)
L153:
  mov    0x0(%rbp),%edi
  add    $0x4,%rbp
  call   <ntohl@plt>
  mov    %r14,%rdi
  mov    %eax,%esi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L2
  nopw   0x0(%rax,%rax,1)
  lea    D16(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L2
L68:
  mov    %r12,%rsi
  mov    %rbp,%rdi
  call   <IsNiceString@plt>
  test   %eax,%eax
  je     L5
  mov    %rbp,%rsi
  lea    D89(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %rbp,%rdi
  mov    %r12,%rsi
  call   <DataAfterAlignedString@plt>
  mov    %rax,%rbp
  jmp    L2
  nopw   0x0(%rax,%rax,1)
  lea    D27(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L2
  nopl   0x0(%rax,%rax,1)
  lea    D31(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L2
  nopl   0x0(%rax,%rax,1)
  lea    D46(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L2
  nopl   0x0(%rax,%rax,1)
L179:
  mov    %r13,%rdi
  xor    %eax,%eax
  add    $0x8,%rbp
  call   <printf@plt>
  jmp    L2
  nopl   0x0(%rax,%rax,1)
L172:
  add    $0x8,%rsp
  mov    %ebp,%esi
  mov    %r13,%rdi
  xor    %edx,%edx
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    10c0 <PrintHeuristicallyTypeGuessedArgs@plt>
L5:
  add    $0x8,%rsp
  lea    D20(%rip),%rdi
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    10a0 <puts@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D26
type: string
name: extract_symbolic_data
arguments: label: D68
type: string
name: extract_symbolic_data
arguments: label: D67
type: string
name: extract_symbolic_data
arguments: label: D99
type: string
name: extract_symbolic_data
arguments: label: D54
type: string
name: extract_symbolic_data
arguments: label: D16
type: string
name: extract_symbolic_data
arguments: label: D89
type: string
name: extract_symbolic_data
arguments: label: D27
type: string
name: extract_symbolic_data
arguments: label: D31
type: string
name: extract_symbolic_data
arguments: label: D46
type: string
name: extract_symbolic_data
arguments: label: D20
type: string

tool: D26: %d 

tool: D68: [A 64-bit int] 

tool: D67: [Unrecognized type tag %c]

tool: D99: %f 

tool: D54: [A 64-bit float] 

tool: D16: [True] 

tool: D89: "%s" 

tool: D27: [Nil]

tool: D31: [Infinitum]

tool: D46: [False] 

tool: D20: Type tag said this arg is a string but it's not!

assistant: ```c
void PrintTypeTaggedArgs(void *v, int n) {
  char *typeTags, *thisType;
  char *p;
  typeTags = v;
  if (!IsNiceString(typeTags, typeTags + n)) {
    PrintHeuristicallyTypeGuessedArgs(v, n, 0);
    return;
  }
  p = DataAfterAlignedString(typeTags, typeTags + n);
  for (thisType = typeTags + 1; *thisType != 0; ++thisType) {
    switch (*thisType) {
    case 'i':
    case 'r':
    case 'm':
    case 'c':
      printf("%d ", ntohl(*((int *)p)));
      p += 4;
      break;
    case 'f': {
      int i = ntohl(*((int *)p));
      float *floatp = ((float *)(&i));
      printf("%f ", *floatp);
      p += 4;
    } break;
    case 'h':
    case 't':
      printf("[A 64-bit int] ");
      p += 8;
      break;
    case 'd':
      printf("[A 64-bit float] ");
      p += 8;
      break;
    case 's':
    case 'S':
      if (!IsNiceString(p, typeTags + n)) {
        printf("Type tag said this arg is a string but it's not!\n");
        return;
      } else {
        printf("\"%s\" ", p);
        p = DataAfterAlignedString(p, typeTags + n);
      }
      break;
    case 'T':
      printf("[True] ");
      break;
    case 'F':
      printf("[False] ");
      break;
    case 'N':
      printf("[Nil]");
      break;
    case 'I':
      printf("[Infinitum]");
      break;
    default:
      printf("[Unrecognized type tag %c]", *thisType);
      return;
    }
  }
}
```