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

```asm
<prodVetorial>:
  endbr64
  push   %r14
  lea    D40(%rip),%r14
  push   %r13
  mov    %r14,%rdi
  push   %r12
  lea    D20(%rip),%r12
  push   %rbp
  lea    D35(%rip),%rbp
  push   %rbx
  xor    %ebx,%ebx
  sub    $0x30,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x28(%rsp)
  xor    %eax,%eax
  lea    0x1c(%rsp),%r13
  call   <system@plt>
  mov    $0x1,%esi
  lea    D14(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
L2:
  mov    %ebx,%edi
  add    $0x1,%ebx
  call   <letraCoeficiente@plt>
  mov    %rbp,%rdi
  mov    %eax,%esi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %r13,%rsi
  mov    %r12,%rdi
  add    $0x4,%r13
  call   <scanf@plt>
  cmp    $0x3,%ebx
  jne    L2
  mov    %r14,%rdi
  lea    0x10(%rsp),%r13
  xor    %ebx,%ebx
  call   <system@plt>
  mov    $0x2,%esi
  lea    D6(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
L10:
  mov    %ebx,%edi
  add    $0x1,%ebx
  call   <letraCoeficiente@plt>
  mov    %rbp,%rdi
  mov    %eax,%esi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %r13,%rsi
  mov    %r12,%rdi
  add    $0x4,%r13
  call   <scanf@plt>
  cmp    $0x3,%ebx
  jne    L10
  mov    0x20(%rsp),%ecx
  mov    0x24(%rsp),%edx
  mov    0x10(%rsp),%edi
  mov    0x18(%rsp),%esi
  mov    0x14(%rsp),%eax
  mov    0x1c(%rsp),%r8d
  mov    %ecx,%ebx
  mov    %edx,%r9d
  imul   %edi,%r9d
  imul   %eax,%edx
  imul   %esi,%ebx
  imul   %r8d,%esi
  movd   %r9d,%xmm2
  movd   %edx,%xmm0
  imul   %edi,%ecx
  lea    D55(%rip),%rdi
  movd   %ebx,%xmm1
  imul   %r8d,%eax
  movd   %esi,%xmm3
  punpckldq %xmm2,%xmm1
  punpckldq %xmm3,%xmm0
  psubd  %xmm0,%xmm1
  sub    %ecx,%eax
  mov    %eax,0x8(%rsp)
  movq   %xmm1,(%rsp)
  call   <puts@plt>
  mov    %rsp,%rdi
  call   <mostrarResultado@plt>
  mov    0x28(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L26
  add    $0x30,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
L26:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: disassemble_data
arguments: tag: D40
data_type: string
name: disassemble_data
arguments: tag: D20
data_type: string
name: disassemble_data
arguments: tag: D35
data_type: string
name: disassemble_data
arguments: tag: D14
data_type: string
name: disassemble_data
arguments: tag: D6
data_type: string
name: disassemble_data
arguments: tag: D55
data_type: string

tool: D40: cls

tool: D20: %d

tool: D35: Informe o coeficiente de %c: 

tool: D14: --vetor %d---


tool: D6: ---vetor %d---


tool: D55: ---Produto Vetorial---

assistant: ```c
void prodVetorial() {
  int i = 0, j, u[3];
  int v[3];
  int vetResult[3];
  int op = 1;
  system("cls");
  while (op) {
    if (i == 0) {
      printf("--vetor %d---\n", i + 1);
      for (j = 0; j < 3; j++) {
        printf("Informe o coeficiente de %c: ", letraCoeficiente(j));
        scanf("%d", &v[j]);
      }
    } else {
      printf("---vetor %d---\n", i + 1);
      for (j = 0; j < 3; j++) {
        printf("Informe o coeficiente de %c: ", letraCoeficiente(j));
        scanf("%d", &u[j]);
      }
      vetResult[0] = ((v[1] * u[2]) - (v[2] * u[1]));
      vetResult[1] = (((v[0] * u[2]) - (v[2] * u[0]))) * (-1);
      vetResult[2] = ((v[0] * u[1]) - (v[1] * u[0]));
    }
    i++;
    if (i > 1) {
      break;
    }
    system("cls");
  }
  printf("---Produto Vetorial---\n");
  mostrarResultado(vetResult);
}
```