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

```asm
<main>:
  endbr64
  push   %r12
  lea    D34(%rip),%rdi
  lea    D3(%rip),%r12
  push   %rbp
  lea    D97(%rip),%rbp
  sub    $0x38,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x28(%rsp)
  xor    %eax,%eax
  call   <puts@plt>
  lea    D91(%rip),%rdi
  call   <puts@plt>
  lea    0x18(%rsp),%rsi
  mov    %r12,%rdi
  call   <scanf@plt>
  mov    %rbp,%rdi
  pxor   %xmm0,%xmm0
  mov    $0x1,%eax
  cvtss2sd 0x18(%rsp),%xmm0
  call   <printf@plt>
  lea    D58(%rip),%rdi
  call   <puts@plt>
  lea    0x1c(%rsp),%rsi
  mov    %r12,%rdi
  call   <scanf@plt>
  mov    %rbp,%rdi
  pxor   %xmm0,%xmm0
  mov    $0x1,%eax
  cvtss2sd 0x1c(%rsp),%xmm0
  call   <printf@plt>
  lea    D45(%rip),%rdi
  call   <puts@plt>
  lea    0x20(%rsp),%rsi
  mov    %r12,%rdi
  call   <scanf@plt>
  mov    %rbp,%rdi
  pxor   %xmm0,%xmm0
  mov    $0x1,%eax
  cvtss2sd 0x20(%rsp),%xmm0
  call   <printf@plt>
  lea    D0(%rip),%rdi
  call   <puts@plt>
  lea    0x24(%rsp),%rsi
  mov    %r12,%rdi
  call   <scanf@plt>
  mov    %rbp,%rdi
  pxor   %xmm0,%xmm0
  mov    $0x1,%eax
  cvtss2sd 0x24(%rsp),%xmm0
  call   <printf@plt>
  lea    D96(%rip),%rdi
  call   <puts@plt>
  lea    D43(%rip),%rdi
  call   <puts@plt>
  movss  0x18(%rsp),%xmm0
  addss  0x1c(%rsp),%xmm0
  lea    D118(%rip),%rdi
  addss  0x20(%rsp),%xmm0
  addss  0x24(%rsp),%xmm0
  mulss  D36(%rip),%xmm0
  movss  %xmm0,0xc(%rsp)
  call   <puts@plt>
  movss  0xc(%rsp),%xmm0
  mov    $0x1,%eax
  lea    D102(%rip),%rdi
  cvtss2sd %xmm0,%xmm0
  call   <printf@plt>
  mov    0x28(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L8
  add    $0x38,%rsp
  xor    %eax,%eax
  pop    %rbp
  pop    %r12
  ret
L8:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D34
type: string
name: extract_symbolic_data
arguments: data_tag: D3
type: string
name: extract_symbolic_data
arguments: data_tag: D97
type: string
name: extract_symbolic_data
arguments: data_tag: D91
type: string
name: extract_symbolic_data
arguments: data_tag: D58
type: string
name: extract_symbolic_data
arguments: data_tag: D45
type: string
name: extract_symbolic_data
arguments: data_tag: D0
type: string
name: extract_symbolic_data
arguments: data_tag: D96
type: string
name: extract_symbolic_data
arguments: data_tag: D43
type: string
name: extract_symbolic_data
arguments: data_tag: D118
type: string
name: extract_symbolic_data
arguments: data_tag: D36
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D102
type: string

tool: D34: HORA DE COMPRAR UM VEICULO NOVO! 

tool: D3: %f

tool: D97: Valor recebido: %f 


tool: D91: Digite o valor do veiculo na concessionaria 1: 

tool: D58: Digite o valor do veiculo na concessionaria 2: 

tool: D45: Digite o valor do veiculo na concessionaria 3: 

tool: D0: Digite o valor do veiculo na concessionaria 4: 

tool: D96: Iniciando calculos... 

tool: D43: Calculando valor medio do veiculo... 

tool: D118: Calculos finalizados com sucesso - 0x0. 

tool: {"D36": [0x00,0x00,0x80,0x3e]}

tool: D102: Valor medio do veiculo ix35: %f 


assistant: ```c
main() {
  float v1, v2, v3, v4, total1, total2;
  printf("HORA DE COMPRAR UM VEICULO NOVO! \n");
  printf("Digite o valor do veiculo na concessionaria 1: \n");
  scanf("%f", &v1);
  printf("Valor recebido: %f \n", v1);
  printf("Digite o valor do veiculo na concessionaria 2: \n");
  scanf("%f", &v2);
  printf("Valor recebido: %f \n", v2);
  printf("Digite o valor do veiculo na concessionaria 3: \n");
  scanf("%f", &v3);
  printf("Valor recebido: %f \n", v3);
  printf("Digite o valor do veiculo na concessionaria 4: \n");
  scanf("%f", &v4);
  printf("Valor recebido: %f \n", v4);
  printf("Iniciando calculos... \n");
  printf("Calculando valor medio do veiculo... \n");
  total1 = v1 + v2 + v3 + v4;
  total2 = total1 / 4;
  printf("Calculos finalizados com sucesso - 0x0. \n");
  printf("Valor medio do veiculo ix35: %f \n", total2);
}
```