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

```asm
<menu_principal>:
  endbr64
  push   %r12
  mov    %rdi,%r12
  lea    D38(%rip),%rdi
  push   %rbp
  push   %rbx
  lea    D18(%rip),%rbx
  sub    $0x50,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x48(%rsp)
  xor    %eax,%eax
  lea    0xc(%rsp),%rbp
  call   <puts@plt>
  lea    D44(%rip),%rdi
  call   <puts@plt>
  lea    D96(%rip),%rdi
  call   <puts@plt>
  nop
L37:
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <scanf@plt>
  movslq 0xc(%rsp),%rax
  cmp    $0x6,%eax
  ja     L37
  test   %eax,%eax
  je     L0
L28:
  lea    D46(%rip),%rdx
  lea    D73(%rip),%rcx
  mov    %r12,%rdi
  mov    %rdx,0x10(%rsp)
  lea    D97(%rip),%rdx
  mov    %rcx,0x18(%rsp)
  lea    D15(%rip),%rcx
  mov    %rdx,0x20(%rsp)
  lea    D7(%rip),%rdx
  mov    %rcx,0x28(%rsp)
  lea    D57(%rip),%rcx
  mov    %rdx,0x30(%rsp)
  lea    D85(%rip),%rdx
  mov    %rcx,0x38(%rsp)
  mov    %rdx,0x40(%rsp)
  mov    0x10(%rsp,%rax,8),%rsi
  call   <strcpy@plt>
  xor    %eax,%eax
  mov    %r12,%rsi
  lea    D13(%rip),%rdi
  call   <printf@plt>
  mov    0x48(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L35
  add    $0x50,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
  nopl   0x0(%rax,%rax,1)
L0:
  xor    %edi,%edi
  call   <exit@plt>
  movslq 0xc(%rsp),%rax
  jmp    L28
L35:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D38
type_infered: string
name: extract_symbolic_data
arguments: data_label: D18
type_infered: string
name: extract_symbolic_data
arguments: data_label: D44
type_infered: string
name: extract_symbolic_data
arguments: data_label: D96
type_infered: string
name: extract_symbolic_data
arguments: data_label: D46
type_infered: string
name: extract_symbolic_data
arguments: data_label: D73
type_infered: string
name: extract_symbolic_data
arguments: data_label: D97
type_infered: string
name: extract_symbolic_data
arguments: data_label: D15
type_infered: string
name: extract_symbolic_data
arguments: data_label: D7
type_infered: string
name: extract_symbolic_data
arguments: data_label: D57
type_infered: string
name: extract_symbolic_data
arguments: data_label: D85
type_infered: string
name: extract_symbolic_data
arguments: data_label: D13
type_infered: string

tool: D38: King of Tokyo


tool: D18: %d

tool: D44: Jogador escolha um monstro:
---------------------------

tool: D96: 1-Godzilla
2-Feto Gigante Zumbi Nazista
3-Pac-Man
4-Blanca
5-Penha
6-Nemesis

0-SAIR


tool: 

tool: D73: Godzilla

tool: D97: Feto Gigante Zumbi Nazista

tool: D15: Pac-Man

tool: D7: Blanca

tool: D57: Penha

tool: D85: Nemesis

tool: D13: VOCE ESCOLHEU: %s



assistant: ```c
void menu_principal(char *monstro1, char *monstro2) {
  printf("King of Tokyo\n\n");
  printf("Jogador escolha um monstro:\n---------------------------\n");
  printf("1-Godzilla\n2-Feto Gigante Zumbi Nazista\n3-Pac-Man\n4-Blanca\n5-Penha\n6-Nemesis\n\n0-SAIR\n\n");
  int escolha;
  do {
    scanf("%d", &escolha);
  } while (escolha < 0 || escolha > 6);
  if (escolha == 0)
    exit(0);
  char *monstros[] = {"", "Godzilla", "Feto Gigante Zumbi Nazista", "Pac-Man", "Blanca", "Penha", "Nemesis"};
  strcpy(monstro1, monstros[escolha]);
  printf("VOCE ESCOLHEU: %s\n\n", monstro1);
}
```