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

```asm
<ficha_BR>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  mov    %rdi,%r12
  mov    %rsi,%rbp
  lea    D107(%rip),%r13
  mov    %r13,%rdi
  call   <puts@plt>
  lea    D10(%rip),%rdi
  call   <puts@plt>
  lea    D2(%rip),%rbx
  mov    %rbx,%rdi
  call   <puts@plt>
  mov    %rbx,%rdi
  call   <puts@plt>
  mov    %rbx,%rdi
  call   <puts@plt>
  lea    D106(%rip),%rdi
  call   <puts@plt>
  mov    %rbx,%rdi
  call   <puts@plt>
  lea    D75(%rip),%rdi
  call   <puts@plt>
  mov    %rbx,%rdi
  call   <puts@plt>
  lea    D40(%rip),%rdi
  call   <puts@plt>
  mov    %rbx,%rdi
  call   <puts@plt>
  lea    D51(%rip),%rdi
  call   <puts@plt>
  mov    %rbx,%rdi
  call   <puts@plt>
  lea    D27(%rip),%rdi
  call   <puts@plt>
  mov    %rbx,%rdi
  call   <puts@plt>
  lea    D64(%rip),%rdi
  call   <puts@plt>
  mov    %rbx,%rdi
  call   <puts@plt>
  mov    %rbx,%rdi
  call   <puts@plt>
  mov    %rbx,%rdi
  call   <puts@plt>
  mov    %r12,%rsi
  lea    D56(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    %rbx,%rdi
  call   <puts@plt>
  mov    %rbp,%rsi
  lea    D87(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    %rbx,%rdi
  call   <puts@plt>
  mov    %rbx,%rdi
  call   <puts@plt>
  mov    %r13,%rdi
  call   <puts@plt>
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
```

tool_calls: name: read_data
arguments: data_label: D107
datatype: string
name: read_data
arguments: data_label: D10
datatype: string
name: read_data
arguments: data_label: D2
datatype: string
name: read_data
arguments: data_label: D106
datatype: string
name: read_data
arguments: data_label: D75
datatype: string
name: read_data
arguments: data_label: D40
datatype: string
name: read_data
arguments: data_label: D51
datatype: string
name: read_data
arguments: data_label: D27
datatype: string
name: read_data
arguments: data_label: D64
datatype: string
name: read_data
arguments: data_label: D56
datatype: string
name: read_data
arguments: data_label: D87
datatype: string

tool: D107: *-------------------------------------------------* 

tool: D10: |                   ATENCAO                       | 

tool: D2: |                                                 | 

tool: D106: | Os codigos abaixo sao respectivamente o  numero | 

tool: D75: | de serie e a chave de ativacao desta  copia  do | 

tool: D40: | LIGHT  BASE.  Eles  serao  necessarios  para  a | 

tool: D51: | primeira instalacao deste produto. Guarde estes | 

tool: D27: | numeros em local seguro pois eles sao  a  chave | 

tool: D64: | mestra de utilizacao desta copia do LIGHT BASE. | 

tool: D56: |     Numero de serie ... :   %s              | 


tool: D87: |     Chave de ativacao.. : %s              | 


assistant: ```c
void ficha_BR(numero, senha) char *numero, *senha;
{
  printf("*-------------------------------------------------* \n");
  printf("|                   ATENCAO                       | \n");
  printf("|                                                 | \n");
  printf("|                                                 | \n");
  printf("|                                                 | \n");
  printf("| Os codigos abaixo sao respectivamente o  numero | \n");
  printf("|                                                 | \n");
  printf("| de serie e a chave de ativacao desta  copia  do | \n");
  printf("|                                                 | \n");
  printf("| LIGHT  BASE.  Eles  serao  necessarios  para  a | \n");
  printf("|                                                 | \n");
  printf("| primeira instalacao deste produto. Guarde estes | \n");
  printf("|                                                 | \n");
  printf("| numeros em local seguro pois eles sao  a  chave | \n");
  printf("|                                                 | \n");
  printf("| mestra de utilizacao desta copia do LIGHT BASE. | \n");
  printf("|                                                 | \n");
  printf("|                                                 | \n");
  printf("|                                                 | \n");
  printf("|     Numero de serie ... :   %s              | \n", numero);
  printf("|                                                 | \n");
  printf("|     Chave de ativacao.. : %s              | \n", senha);
  printf("|                                                 | \n");
  printf("|                                                 | \n");
  printf("*-------------------------------------------------* \n");
  return;
}
```