user: 下面的汇编指令对应的C源代码是什么:

```asm
<Terminal_PrintWelcome>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  lea    D23(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D63(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D3(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D9(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D30(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D15(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D68(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D95(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D72(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  lea    D12(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  nop
  pop    %rbp
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D23
type: string
name: extract_symbolic_data
arguments: tag: D63
type: string
name: extract_symbolic_data
arguments: tag: D3
type: string
name: extract_symbolic_data
arguments: tag: D9
type: string
name: extract_symbolic_data
arguments: tag: D30
type: string
name: extract_symbolic_data
arguments: tag: D15
type: string
name: extract_symbolic_data
arguments: tag: D68
type: string
name: extract_symbolic_data
arguments: tag: D95
type: string
name: extract_symbolic_data
arguments: tag: D72
type: string
name: extract_symbolic_data
arguments: tag: D12
type: string

tool: D23: __/\\\\\\\\\\\\\_______________/\\\\\__________/\\\\\\\\\\\___


tool: D63:  _\/\\\/////////\\\___________/\\\///\\\______/\\\/////////\\\_


tool: D3:   _\/\\\_______\/\\\__/\\\___/\\\/__\///\\\___\//\\\______\///__


tool: D9:    _\/\\\\\\\\\\\\\/__\///___/\\\______\//\\\___\////\\\_________


tool: D30:     _\/\\\/////////_____/\\\_\/\\\_______\/\\\______\////\\\______


tool: D15:      _\/\\\_____________\/\\\_\//\\\______/\\\__________\////\\\___


tool: D68:       _\/\\\_____________\/\\\__\///\\\__/\\\_____/\\\______\//\\\__


tool: D95:        _\/\\\_____________\/\\\____\///\\\\\/_____\///\\\\\\\\\\\/___


tool: D72:         _\///______________\///_______\/////_________\///////////_____


tool: D12: Type 'help' for a listing of a few commands.


assistant: ```c
void Terminal_PrintWelcome(void) {
  printf("__/\\\\\\\\\\\\\\\\\\\\\\\\\\_______________/\\\\\\\\\\__________/\\\\\\\\\\\\\\\\\\\\\\___\n");
  printf(" _\\/\\\\\\/////////\\\\\\___________/\\\\\\///\\\\\\______/\\\\\\/////////\\\\\\_\n");
  printf("  _\\/\\\\\\_______\\/\\\\\\__/\\\\\\___/\\\\\\/__\\///\\\\\\___\\//\\\\\\______\\///__\n");
  printf("   _\\/\\\\\\\\\\\\\\\\\\\\\\\\\\/__\\///___/\\\\\\______\\//\\\\\\___\\////\\\\\\_________\n");
  printf("    _\\/\\\\\\/////////_____/\\\\\\_\\/\\\\\\_______\\/\\\\\\______\\////\\\\\\______\n");
  printf("     _\\/\\\\\\_____________\\/\\\\\\_\\//\\\\\\______/\\\\\\__________\\////\\\\\\___\n");
  printf("      _\\/\\\\\\_____________\\/\\\\\\__\\///\\\\\\__/\\\\\\_____/\\\\\\______\\//\\\\\\__\n");
  printf("       _\\/\\\\\\_____________\\/\\\\\\____\\///\\\\\\\\\\/_____\\///\\\\\\\\\\\\\\\\\\\\\\/___\n");
  printf("        _\\///______________\\///_______\\/////_________\\///////////_____\n");
  printf("Type 'help' for a listing of a few commands.\n");
}
```