user: What would the C source look like for the assembly code provided here:

```asm
<write_token>:
  endbr64
  push   %r15
  mov    %rdi,%rcx
  mov    %rdi,%r15
  mov    $0x2,%edx
  push   %r14
  lea    D43(%rip),%rdi
  mov    %rsi,%r14
  mov    $0x1,%esi
  push   %r13
  lea    D61(%rip),%r13
  push   %r12
  lea    D3(%rip),%r12
  push   %rbp
  lea    D64(%rip),%rbp
  push   %rbx
  lea    D38(%rip),%rbx
  sub    $0x8,%rsp
  call   <fwrite@plt>
  test   %r14,%r14
  je     L131
  movsbl (%r14),%edi
  test   %dil,%dil
  je     L131
  nopl   0x0(%rax,%rax,1)
L134:
  cmp    $0x27,%dil
  jg     L78
  cmp    $0x8,%dil
  jle    L136
  lea    -0x9(%rdi),%eax
  cmp    $0x1e,%al
  ja     L136
  movzbl %al,%eax
  movslq (%rbx,%rax,4),%rax
  add    %rbx,%rax
  notrack jmp *%rax
  nopl   0x0(%rax)
L136:
  mov    %r15,%rsi
  call   <fputc@plt>
L11:
  movsbl 0x1(%r14),%edi
  add    $0x1,%r14
  test   %dil,%dil
  jne    L134
L131:
  add    $0x8,%rsp
  mov    %r15,%rsi
  mov    $0x27,%edi
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    1060 <fputc@plt>
  nopl   0x0(%rax)
  mov    %r15,%rcx
  mov    $0x2,%edx
  mov    $0x1,%esi
  lea    D27(%rip),%rdi
  call   <fwrite@plt>
  jmp    L11
  nopl   0x0(%rax,%rax,1)
  mov    %r15,%rcx
  mov    $0x2,%edx
  mov    $0x1,%esi
  lea    D35(%rip),%rdi
  call   <fwrite@plt>
  jmp    L11
  nopl   0x0(%rax,%rax,1)
  mov    %r15,%rcx
  mov    $0x2,%edx
  mov    $0x1,%esi
  lea    D11(%rip),%rdi
  call   <fwrite@plt>
  jmp    L11
  xchg   %ax,%ax
  mov    %r15,%rcx
  mov    $0x2,%edx
  mov    $0x1,%esi
  mov    %r12,%rdi
  call   <fwrite@plt>
  jmp    L11
  nopw   0x0(%rax,%rax,1)
  mov    %r15,%rcx
  mov    $0x2,%edx
  mov    $0x1,%esi
  mov    %rbp,%rdi
  call   <fwrite@plt>
  jmp    L11
  nopw   0x0(%rax,%rax,1)
  mov    %r15,%rcx
  mov    $0x2,%edx
  mov    $0x1,%esi
  lea    D44(%rip),%rdi
  call   <fwrite@plt>
  jmp    L11
  xchg   %ax,%ax
L78:
  cmp    $0x5c,%dil
  jne    L136
  mov    %r15,%rcx
  mov    $0x2,%edx
  mov    $0x1,%esi
  mov    %r13,%rdi
  call   <fwrite@plt>
  jmp    L11
```

tool_calls: name: unpack_data
arguments: label: D43
type: string
name: unpack_data
arguments: label: D61
type: string
name: unpack_data
arguments: label: D3
type: string
name: unpack_data
arguments: label: D64
type: string
name: unpack_data
arguments: label: D27
type: string
name: unpack_data
arguments: label: D35
type: string
name: unpack_data
arguments: label: D11
type: string
name: unpack_data
arguments: label: D44
type: string

tool: D43:  '

tool: D61: \\

tool: D3: \f

tool: D64: \n

tool: D27: \'

tool: D35: \"

tool: D11: \r

tool: D44: \t

assistant: ```c
void write_token(FILE *f, const char *s) {
  fputs(" \'", f);
  while (s && (*s != '\0')) {
    switch (*s) {
    case '\\':
      fputs("\\\\", f);
      break;
    case '\'':
      fputs("\\\'", f);
      break;
    case '\"':
      fputs("\\\"", f);
      break;
    case '\t':
      fputs("\\t", f);
      break;
    case '\r':
      fputs("\\r", f);
      break;
    case '\n':
      fputs("\\n", f);
      break;
    case '\f':
      fputs("\\f", f);
      break;
    default:
      fputc(*s, f);
      break;
    }
    s++;
  }
  fputc('\'', f);
}
```