user: What is the c source code of the assembly code below:

```asm
<do_help>:
  endbr64
  sub    $0x8,%rsp
  lea    D57(%rip),%rdi
  call   <puts@plt>
  lea    D132(%rip),%rdi
  call   <puts@plt>
  lea    D96(%rip),%rdi
  call   <puts@plt>
  lea    D118(%rip),%rdi
  call   <puts@plt>
  lea    D78(%rip),%rdi
  call   <puts@plt>
  lea    D84(%rip),%rdi
  call   <puts@plt>
  lea    D29(%rip),%rdi
  call   <puts@plt>
  lea    D38(%rip),%rdi
  call   <puts@plt>
  lea    D93(%rip),%rdi
  call   <puts@plt>
  lea    D23(%rip),%rdi
  call   <puts@plt>
  lea    D148(%rip),%rdi
  call   <puts@plt>
  mov    $0xa,%edi
  call   <putchar@plt>
  lea    D19(%rip),%rsi
  lea    D30(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  lea    D27(%rip),%rsi
  xor    %eax,%eax
  add    $0x8,%rsp
  lea    D85(%rip),%rdi
  jmp    1090 <printf@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D57
datatype: string
name: extract_symbolic_data
arguments: tag: D132
datatype: string
name: extract_symbolic_data
arguments: tag: D96
datatype: string
name: extract_symbolic_data
arguments: tag: D118
datatype: string
name: extract_symbolic_data
arguments: tag: D78
datatype: string
name: extract_symbolic_data
arguments: tag: D84
datatype: string
name: extract_symbolic_data
arguments: tag: D29
datatype: string
name: extract_symbolic_data
arguments: tag: D38
datatype: string
name: extract_symbolic_data
arguments: tag: D93
datatype: string
name: extract_symbolic_data
arguments: tag: D23
datatype: string
name: extract_symbolic_data
arguments: tag: D148
datatype: string
name: extract_symbolic_data
arguments: tag: D19
datatype: string
name: extract_symbolic_data
arguments: tag: D30
datatype: string
name: extract_symbolic_data
arguments: tag: D27
datatype: string
name: extract_symbolic_data
arguments: tag: D85
datatype: string

tool: D57: Usage: thought [options] name ...

tool: D132: Options:

tool: D96:   -d, --debug           Debug mode; thought output is directed to 

tool: D118:                         the screen rather than the designated log.

tool: D78:   -t, --timeout         Causes the thought to be aborted if it 

tool: D84:                         takes longer than the specified number of

tool: D29:                         seconds.

tool: D38:   -C, --cookie          Supply an identification token to the

tool: D93:                         service to identify this session.

tool: D23:   -v, --version         Print version of thought and exit.

tool: D148:   -h, --help            Prints this help text and exits.

tool: D19: dev@joshhawcroft.org

tool: D30: Report bugs to: %s


tool: D27: http://joshhawcroft.org/

tool: D85: BRAIN home page: <%s>


assistant: ```c
void do_help(void) {
  printf("Usage: thought [options] name ...\n");
  printf("Options:\n");
  printf("  -d, --debug           Debug mode; thought output is directed to \n");
  printf("                        the screen rather than the designated log.\n");
  printf("  -t, --timeout         Causes the thought to be aborted if it \n");
  printf("                        takes longer than the specified number of\n");
  printf("                        seconds.\n");
  printf("  -C, --cookie          Supply an identification token to the\n");
  printf("                        service to identify this session.\n");
  printf("  -v, --version         Print version of thought and exit.\n");
  printf("  -h, --help            Prints this help text and exits.\n");
  printf("\n");
  printf("Report bugs to: %s\n", "dev@joshhawcroft.org");
  printf("BRAIN home page: <%s>\n", "http://joshhawcroft.org/");
}
```