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

```asm
<strtok_r>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  mov    %rdx,%r13
  push   %r12
  mov    %rsi,%r12
  push   %rbp
  push   %rbx
  mov    %rdi,%rbx
  sub    $0x8,%rsp
  test   %rsi,%rsi
  je     L126
  test   %r13,%r13
  je     L91
L107:
  test   %rbx,%rbx
  jne    L75
  jmp    L41
  nopw   0x0(%rax,%rax,1)
L83:
  test   %bpl,%bpl
  je     L122
  add    $0x1,%rbx
L75:
  movsbl (%rbx),%esi
  mov    %r12,%rdi
  mov    %esi,%ebp
  call   <strchr@plt>
  test   %rax,%rax
  jne    L83
  mov    %rbx,%rbp
  xchg   %ax,%ax
L73:
  mov    %rbp,%r15
  movsbl 0x1(%rbp),%esi
  mov    %r12,%rdi
  add    $0x1,%rbp
  mov    %esi,%r14d
  call   <strchr@plt>
  test   %rax,%rax
  je     L73
  test   %r14b,%r14b
  jne    L7
  mov    %rbx,%rax
  mov    %rbp,%rbx
L137:
  mov    %rbx,0x0(%r13)
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax)
L7:
  mov    %rbx,%rax
  movb   $0x0,0x0(%rbp)
  lea    0x2(%r15),%rbx
  jmp    L137
  nopl   (%rax)
L122:
  xor    %eax,%eax
  jmp    L137
  nopl   0x0(%rax)
L41:
  mov    0x0(%r13),%rbx
  test   %rbx,%rbx
  jne    L75
  lea    D101(%rip),%r8
  lea    D43(%rip),%rcx
  xor    %eax,%eax
  mov    $0xf6,%esi
  lea    D71(%rip),%rdx
  lea    D81(%rip),%rdi
  call   <debug_panic@plt>
  jmp    L75
  xchg   %ax,%ax
L126:
  xor    %eax,%eax
  lea    D108(%rip),%r8
  lea    D43(%rip),%rcx
  mov    $0xef,%esi
  lea    D71(%rip),%rdx
  lea    D81(%rip),%rdi
  call   <debug_panic@plt>
  test   %r13,%r13
  jne    L107
  nopl   0x0(%rax)
L91:
  lea    D23(%rip),%r8
  lea    D43(%rip),%rcx
  xor    %eax,%eax
  mov    $0xf0,%esi
  lea    D71(%rip),%rdx
  lea    D81(%rip),%rdi
  call   <debug_panic@plt>
  jmp    L107
```

tool_calls: name: disassemble_data
arguments: label: D101
data_type: string
name: disassemble_data
arguments: label: D43
data_type: string
name: disassemble_data
arguments: label: D71
data_type: string
name: disassemble_data
arguments: label: D81
data_type: string
name: disassemble_data
arguments: label: D108
data_type: string
name: disassemble_data
arguments: label: D23
data_type: string

tool: D101: s != NULL

tool: D43: assertion `%s' failed.

tool: D71: strtok_r

tool: D81: /scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/Coding-Headache/CNOS/refs/heads/master/OS_Dev/pintos/lib/string.c

tool: D108: delimiters != NULL

tool: D23: save_ptr != NULL

assistant: ```c
char *strtok_r(char *s, const char *delimiters, char **save_ptr) {
  char *token;
  if (delimiters != ((void *)0)) {
  } else {
    debug_panic("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/Coding-Headache/CNOS/refs/heads/master/OS_Dev/pintos/lib/string.c", 239, __func__, "assertion `%s' failed.", "delimiters != NULL");
  };
  if (save_ptr != ((void *)0)) {
  } else {
    debug_panic("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/Coding-Headache/CNOS/refs/heads/master/OS_Dev/pintos/lib/string.c", 240, __func__, "assertion `%s' failed.", "save_ptr != NULL");
  };
  if (s == ((void *)0))
    s = *save_ptr;
  if (s != ((void *)0)) {
  } else {
    debug_panic("/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/Coding-Headache/CNOS/refs/heads/master/OS_Dev/pintos/lib/string.c", 246, __func__, "assertion `%s' failed.", "s != NULL");
  };
  while (strchr(delimiters, *s) != ((void *)0)) {
    if (*s == '\0') {
      *save_ptr = s;
      return ((void *)0);
    }
    s++;
  }
  token = s;
  while (strchr(delimiters, *s) == ((void *)0))
    s++;
  if (*s != '\0') {
    *s = '\0';
    *save_ptr = s + 1;
  } else
    *save_ptr = s;
  return token;
}
```