user: What is the c source code of the assembly code 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     L13
  mov    %r12,%rsi
  mov    %r13,%rdi
  lea    0x1(%r13),%r15
  call   <DataAfterAlignedString@plt>
  movsbl 0x1(%r13),%esi
  mov    %rax,%rbp
  test   %sil,%sil
  je     L109
  lea    D0(%rip),%r14
  lea    D87(%rip),%r13
  lea    D116(%rip),%rbx
  nopl   0x0(%rax,%rax,1)
L174:
  cmp    $0x66,%sil
  jg     L107
  cmp    $0x45,%sil
  jle    L46
  lea    -0x46(%rsi),%eax
  cmp    $0x20,%al
  ja     L46
  movzbl %al,%eax
  movslq (%rbx,%rax,4),%rax
  add    %rbx,%rax
  notrack jmp *%rax
  nopl   0x0(%rax,%rax,1)
L107:
  lea    -0x68(%rsi),%ecx
  cmp    $0xc,%cl
  ja     L46
  mov    $0x1,%eax
  shl    %cl,%rax
  test   $0x422,%eax
  jne    L12
  test   $0x1001,%eax
  jne    L118
  cmp    $0xb,%cl
  je     L64
L46:
  add    $0x8,%rsp
  lea    D13(%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    D48(%rip),%rdi
  movd   %eax,%xmm1
  mov    $0x1,%eax
  cvtss2sd %xmm1,%xmm0
  call   <printf@plt>
  nopl   0x0(%rax)
L145:
  movsbl 0x1(%r15),%esi
  add    $0x1,%r15
  test   %sil,%sil
  jne    L174
L109:
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax)
  lea    D67(%rip),%rdi
  xor    %eax,%eax
  add    $0x8,%rbp
  call   <printf@plt>
  jmp    L145
  nopl   0x0(%rax)
L12:
  mov    0x0(%rbp),%edi
  add    $0x4,%rbp
  call   <ntohl@plt>
  mov    %r14,%rdi
  mov    %eax,%esi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L145
  nopw   0x0(%rax,%rax,1)
  lea    D82(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L145
L64:
  mov    %r12,%rsi
  mov    %rbp,%rdi
  call   <IsNiceString@plt>
  test   %eax,%eax
  je     L106
  mov    %rbp,%rsi
  lea    D64(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %rbp,%rdi
  mov    %r12,%rsi
  call   <DataAfterAlignedString@plt>
  mov    %rax,%rbp
  jmp    L145
  nopw   0x0(%rax,%rax,1)
  lea    D65(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L145
  nopl   0x0(%rax,%rax,1)
  lea    D117(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L145
  nopl   0x0(%rax,%rax,1)
  lea    D21(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L145
  nopl   0x0(%rax,%rax,1)
L118:
  mov    %r13,%rdi
  xor    %eax,%eax
  add    $0x8,%rbp
  call   <printf@plt>
  jmp    L145
  nopl   0x0(%rax,%rax,1)
L13:
  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>
L106:
  add    $0x8,%rsp
  lea    D81(%rip),%rdi
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    10a0 <puts@plt>
```

tool_calls: name: disassemble_data
arguments: data_tag: D0
datatype: string
name: disassemble_data
arguments: data_tag: D87
datatype: string
name: disassemble_data
arguments: data_tag: D13
datatype: string
name: disassemble_data
arguments: data_tag: D48
datatype: string
name: disassemble_data
arguments: data_tag: D67
datatype: string
name: disassemble_data
arguments: data_tag: D82
datatype: string
name: disassemble_data
arguments: data_tag: D64
datatype: string
name: disassemble_data
arguments: data_tag: D65
datatype: string
name: disassemble_data
arguments: data_tag: D117
datatype: string
name: disassemble_data
arguments: data_tag: D21
datatype: string
name: disassemble_data
arguments: data_tag: D81
datatype: string

tool: D0: %d 

tool: D87: [A 64-bit int] 

tool: D13: [Unrecognized type tag %c]

tool: D48: %f 

tool: D67: [A 64-bit float] 

tool: D82: [True] 

tool: D64: "%s" 

tool: D65: [Nil]

tool: D117: [Infinitum]

tool: D21: [False] 

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