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

```asm
<printEncabezado3>:
  endbr64
  sub    $0x8,%rsp
  lea    D11(%rip),%rdi
  call   <printf@plt>
  lea    D31(%rip),%rdi
  call   <printf@plt>
  lea    D36(%rip),%rdi
  call   <printf@plt>
  lea    D22(%rip),%rdi
  call   <printf@plt>
  lea    D74(%rip),%rdi
  call   <printf@plt>
  lea    D55(%rip),%rdi
  call   <printf@plt>
  lea    D79(%rip),%rdi
  call   <printf@plt>
  lea    D76(%rip),%rdi
  call   <printf@plt>
  lea    D147(%rip),%rdi
  call   <printf@plt>
  lea    D104(%rip),%rdi
  call   <printf@plt>
  lea    D86(%rip),%rdi
  call   <printf@plt>
  lea    D19(%rip),%rdi
  call   <printf@plt>
  lea    D73(%rip),%rdi
  call   <printf@plt>
  lea    D4(%rip),%rdi
  call   <printf@plt>
  lea    D47(%rip),%rdi
  add    $0x8,%rsp
  jmp    1050 <printf@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D11
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D31
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D36
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D22
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D74
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D55
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D79
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D76
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D147
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D104
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D86
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D19
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D73
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D4
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D47
type_guessed: string

tool: D11: 




tool: D31: ########  ########   #######  ########  ##       ######## ##     

tool: D36: ##    ###        #######  


tool: D22: ##     ## ##     ## ##     ## ##     ## ##       ##       ###   #

tool: D74: ##   ## ##      ##     ## 


tool: D55: ##     ## ##     ## ##     ## ##     ## ##       ##       #### ##

tool: D79: ##  ##   ##            ## 


tool: D76: ########  ########  ##     ## ########  ##       ######   ## ### 

tool: D147: ## ##     ##     #######  


tool: D104: ##        ##   ##   ##     ## ##     ## ##       ##       ##     #

tool: D86: # #########           ## 


tool: D19: ##        ##    ##  ##     ## ##     ## ##       ##       ##     #

tool: D73: # ##     ##    ##     ## 


tool: D4: ##        ##     ##  #######  ########  ######## ######## ##     #

tool: D47: # ##     ##     #######  


assistant: ```c
void printEncabezado3() {
  printf("\n\n\n");
  printf("########  ########   #######  ########  ##       ######## ##     ");
  printf("##    ###        #######  \n");
  printf("##     ## ##     ## ##     ## ##     ## ##       ##       ###   #");
  printf("##   ## ##      ##     ## \n");
  printf("##     ## ##     ## ##     ## ##     ## ##       ##       #### ##");
  printf("##  ##   ##            ## \n");
  printf("########  ########  ##     ## ########  ##       ######   ## ### ");
  printf("## ##     ##     #######  \n");
  printf("##        ##   ##   ##     ## ##     ## ##       ##       ##     #");
  printf("# #########           ## \n");
  printf("##        ##    ##  ##     ## ##     ## ##       ##       ##     #");
  printf("# ##     ##    ##     ## \n");
  printf("##        ##     ##  #######  ########  ######## ######## ##     #");
  printf("# ##     ##     #######  \n");
}
```