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

```asm
<tokenize>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x18,%rsp
  mov    %rdi,%r12
  mov    %rsi,%r15
  mov    $0x1f,%edi
  call   <malloc@plt>
  mov    %rax,%rbx
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %eax,%edx
  mov    $0x0,%esi
  mov    %rbx,%rdi
  call   <memset@plt>
  mov    %rax,0x8(%rsp)
  mov    $0x0,%ebx
  mov    $0x0,%ebp
  jmp    L19
L29:
  movsbl %dil,%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L87
L49:
  mov    %r13,%rsi
  mov    0x8(%rsp),%r14
  mov    %r14,%rdi
  call   <readDouble@plt>
  mov    %eax,%r13d
  mov    $0x1f,%edi
  call   <malloc@plt>
  mov    %rax,%rdi
  movslq %ebp,%rax
  mov    %rdi,(%r15,%rax,8)
  mov    %r14,%rsi
  call   <strcpy@plt>
  add    $0x1,%ebp
  test   %r13d,%r13d
  mov    $0x1,%eax
  cmovle %eax,%r13d
  lea    -0x1(%rbx,%r13,1),%ebx
L25:
  movslq %ebx,%rax
  movzbl (%r12,%rax,1),%eax
  cmp    $0x2f,%al
  jg     L86
  cmp    $0x20,%al
  jle    L52
  sub    $0x21,%eax
  cmp    $0xe,%al
  ja     L52
  movzbl %al,%eax
  lea    D11(%rip),%rcx
  movslq (%rcx,%rax,4),%rax
  add    %rcx,%rax
  notrack jmp *%rax
L157:
  mov    $0x4,%edx
  lea    D8(%rip),%rsi
  mov    %r13,%rdi
  call   <strncmp@plt>
  test   %rax,%rax
  jne    L25
  movslq %ebp,%rax
  lea    D8(%rip),%rsi
  mov    %rsi,(%r15,%rax,8)
  add    $0x1,%ebp
  add    $0x3,%ebx
  jmp    L25
L86:
  cmp    $0x65,%al
  jne    L52
  movslq %ebp,%rax
  lea    D111(%rip),%rdx
  mov    %rdx,(%r15,%rax,8)
  add    $0x1,%ebp
L52:
  add    $0x1,%ebx
L19:
  mov    %r12,%rdi
  call   <strlen@plt>
  cmp    %ebx,%eax
  jle    L186
  movslq %ebx,%r14
  lea    (%r12,%r14,1),%r13
  movsbl 0x0(%r13),%edi
  call   <isdigit@plt>
  test   %rax,%rax
  jne    L49
  cmpb   $0x2d,0x0(%r13)
  jne    L87
  movzbl -0x1(%r12,%r14,1),%edi
  cmp    $0x20,%dil
  je     L49
  mov    %edi,%eax
  and    $0xfffffff7,%eax
  cmp    $0x21,%al
  jne    L29
L87:
  mov    $0x2,%edx
  lea    D101(%rip),%rsi
  mov    %r13,%rdi
  call   <strncmp@plt>
  test   %rax,%rax
  jne    L157
  movslq %ebp,%rax
  lea    D101(%rip),%rdx
  mov    %rdx,(%r15,%rax,8)
  add    $0x1,%ebp
  add    $0x1,%ebx
  jmp    L25
  movslq %ebp,%rax
  lea    D77(%rip),%rdx
  mov    %rdx,(%r15,%rax,8)
  add    $0x1,%ebp
  jmp    L52
  movslq %ebp,%rax
  lea    D68(%rip),%rsi
  mov    %rsi,(%r15,%rax,8)
  add    $0x1,%ebp
  jmp    L52
  movslq %ebp,%rax
  lea    D46(%rip),%rdx
  mov    %rdx,(%r15,%rax,8)
  add    $0x1,%ebp
  jmp    L52
  movslq %ebp,%rax
  lea    D91(%rip),%rsi
  mov    %rsi,(%r15,%rax,8)
  add    $0x1,%ebp
  jmp    L52
  movslq %ebp,%rax
  lea    D67(%rip),%rdx
  mov    %rdx,(%r15,%rax,8)
  add    $0x1,%ebp
  jmp    L52
  movslq %ebp,%rax
  lea    D49(%rip),%rsi
  mov    %rsi,(%r15,%rax,8)
  add    $0x1,%ebp
  jmp    L52
  movslq %ebp,%rax
  lea    D52(%rip),%rdx
  mov    %rdx,(%r15,%rax,8)
  add    $0x1,%ebp
  jmp    L52
L186:
  mov    0x8(%rsp),%rdi
  call   <free@plt>
  mov    %ebp,%eax
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D11
data_type: string
name: extract_symbolic_data
arguments: data_label: D8
data_type: string
name: extract_symbolic_data
arguments: data_label: D111
data_type: string
name: extract_symbolic_data
arguments: data_label: D101
data_type: string
name: extract_symbolic_data
arguments: data_label: D77
data_type: string
name: extract_symbolic_data
arguments: data_label: D68
data_type: string
name: extract_symbolic_data
arguments: data_label: D46
data_type: string
name: extract_symbolic_data
arguments: data_label: D91
data_type: string
name: extract_symbolic_data
arguments: data_label: D67
data_type: string
name: extract_symbolic_data
arguments: data_label: D49
data_type: string
name: extract_symbolic_data
arguments: data_label: D52
data_type: string

tool: 

tool: D8: sqrt

tool: D111: e

tool: D101: pi

tool: D77: +

tool: D68: -

tool: D46: *

tool: D91: /

tool: D67: (

tool: D49: )

tool: D52: !

assistant: ```c
int tokenize(char *string, char **tokens) {
  char *currentToken = (char *)malloc(30 + 1);
  currentToken = memset(currentToken, '\0', strlen(string));
  int j = 0;
  for (int i = 0; i < strlen(string); i++) {
    if (isdigit(string[i]) || (string[i] == '-' && (string[i - 1] == ' ' || (string[i - 1] != ')' && string[i - 1] != '!' && !isdigit(string[i - 1]))))) {
      int howMany = readDouble(currentToken, string + i);
      tokens[j] = (char *)malloc(30 + 1);
      strcpy(tokens[j], currentToken);
      j++;
      i += (howMany > 1) ? howMany - 1 : 0;
    } else if (strncmp(string + i, "pi", 2) == 0) {
      tokens[j] = "pi";
      j++;
      i++;
    } else if (strncmp(string + i, "sqrt", 4) == 0) {
      tokens[j] = "sqrt";
      j++;
      i += 3;
    }
    switch (string[i]) {
    case 'e':
      tokens[j] = "e";
      j++;
      break;
    case '+':
      tokens[j] = "+";
      j++;
      break;
    case '-':
      tokens[j] = "-";
      j++;
      break;
    case '*':
      tokens[j] = "*";
      j++;
      break;
    case '/':
      tokens[j] = "/";
      j++;
      break;
    case '(':
      tokens[j] = "(";
      j++;
      break;
    case ')':
      tokens[j] = ")";
      j++;
      break;
    case '!':
      tokens[j] = "!";
      j++;
      break;
    }
  }
  free(currentToken);
  return j;
}
```