user: 请显示与下面列出的汇编代码相匹配的C语言实现:

```asm
<banner>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  lea    D11(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D139(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D82(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D139(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D108(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D4(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D31(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D39(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D87(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D142(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D38(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D13(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D20(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D37(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D116(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  nop
  pop    %rbp
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D11
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D139
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D82
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D108
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D4
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D31
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D39
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D87
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D142
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D38
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D13
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D20
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D37
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D116
type_guessed: string

tool: D11:  +--------------------------------------------------------------------+

tool: D139:  | +----------------------------------------------------------------+ |

tool: D82:  | |                            simcalc                             | |

tool: D108:  +--------------------------------------------------------------------+


tool: D4: * Copyright 2015 Ahmed Mohamed Abd EL-Mawgood <ahmedsoliman0x666@gmail.com>


tool: D31: * Licensed under the Apache License, Version 2.0 (the "License");

tool: D39:   you may not use this file except in compliance with the License.

tool: D87:   You may obtain a copy of the License at


tool: D142: * http://www.apache.org/licenses/LICENSE-2.0


tool: D38: * Unless required by applicable law or agreed to in writing, software

tool: D13:   distributed under the License is distributed on an "AS IS" BASIS,

tool: D20:   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.

tool: D37: * See the License for the specific language governing permissions and

tool: D116:   limitations under the License.

assistant: ```c
void banner() {
  puts(" +--------------------------------------------------------------------+");
  puts(" | +----------------------------------------------------------------+ |");
  puts(" | |                            simcalc                             | |");
  puts(" | +----------------------------------------------------------------+ |");
  puts(" +--------------------------------------------------------------------+\n");
  puts("* Copyright 2015 Ahmed Mohamed Abd EL-Mawgood <ahmedsoliman0x666@gmail.com>\n");
  puts("* Licensed under the Apache License, Version 2.0 (the \"License\");");
  puts("  you may not use this file except in compliance with the License.");
  puts("  You may obtain a copy of the License at\n");
  puts("* http://www.apache.org/licenses/LICENSE-2.0\n");
  puts("* Unless required by applicable law or agreed to in writing, software");
  puts("  distributed under the License is distributed on an \"AS IS\" BASIS,");
  puts("  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.");
  puts("* See the License for the specific language governing permissions and");
  puts("  limitations under the License.");
}
```