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

```asm
<main>:
  endbr64
  push   %r15
  push   %r14
  lea    D7(%rip),%r14
  push   %r13
  lea    D23(%rip),%r13
  push   %r12
  lea    D34(%rip),%r12
  push   %rbp
  push   %rbx
  lea    D2(%rip),%rbx
  sub    $0x28,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  xor    %eax,%eax
  call   <setup@plt>
  nopl   0x0(%rax,%rax,1)
L58:
  mov    %rbx,%rdi
  call   <getline_complete@plt>
  mov    %rax,%rbp
  test   %rax,%rax
  je     L11
L75:
  mov    %rax,%rsi
  mov    %r13,%rdi
  mov    %rsp,%r15
  call   <printf@plt>
  mov    %r15,%rdx
  mov    %r12,%rsi
  mov    %rbp,%rdi
  call   <sscanf@plt>
  cmp    $0x1,%eax
  jne    L58
  mov    $0x14,%edx
  mov    %r14,%rsi
  mov    %r15,%rdi
  call   <strncmp@plt>
  test   %eax,%eax
  jne    L64
  call   <print_history@plt>
  mov    %rbx,%rdi
  call   <getline_complete@plt>
  mov    %rax,%rbp
  test   %rax,%rax
  jne    L75
  nopw   0x0(%rax,%rax,1)
L11:
  lea    D43(%rip),%rdi
  call   <puts@plt>
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L55
  add    $0x28,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   (%rax)
L64:
  mov    $0x14,%edx
  lea    D87(%rip),%rsi
  mov    %r15,%rdi
  call   <strncmp@plt>
  test   %eax,%eax
  jne    L72
  lea    D36(%rip),%rdi
  call   <puts@plt>
  jmp    L58
  nopl   0x0(%rax)
L72:
  mov    $0x14,%edx
  lea    D10(%rip),%rsi
  mov    %r15,%rdi
  call   <strncmp@plt>
  test   %eax,%eax
  je     L11
  mov    %r15,%rsi
  lea    D54(%rip),%rdi
  movb   $0x0,0x13(%rsp)
  call   <printf@plt>
  jmp    L58
L55:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D7
type_guessed: string
name: extract_symbolic_data
arguments: tag: D23
type_guessed: string
name: extract_symbolic_data
arguments: tag: D34
type_guessed: string
name: extract_symbolic_data
arguments: tag: D2
type_guessed: string
name: extract_symbolic_data
arguments: tag: D43
type_guessed: string
name: extract_symbolic_data
arguments: tag: D87
type_guessed: string
name: extract_symbolic_data
arguments: tag: D36
type_guessed: string
name: extract_symbolic_data
arguments: tag: D10
type_guessed: string
name: extract_symbolic_data
arguments: tag: D54
type_guessed: string

tool: D7: history

tool: D23: Input string: "%s"


tool: D34: %20s

tool: D2: example:> 

tool: D43: Bye.

tool: D87: help

tool: D36: Read the source to know what to do. Type "exit" to end this program

tool: D10: exit

tool: D54: %s is not recognized as an internal command.


assistant: ```c
int main() {
  setup();
  while (1) {
    char command[20];
    char *line = getline_complete("example:> ");
    if (!line)
      break;
    printf("Input string: \"%s\"\n", line);
    if (1 == sscanf(line, "%20s", command)) {
      if (!strncmp(command, "history", 20)) {
        print_history();
      } else if (!strncmp(command, "help", 20)) {
        puts("Read the source to know what to do. Type \""
             "exit\" to end this program");
      } else if (!strncmp(command, "exit", 20)) {
        break;
      } else {
        command[20 - 1] = 0;
        printf("%s is not recognized as an internal "
               "command.\n",
               command);
      }
    }
  }
  puts("Bye.");
  return 0;
}
```