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

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x20,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  lea    D18(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D29(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x18(%rbp),%rax
  mov    %rax,%rsi
  lea    D58(%rip),%rax
  mov    %rax,%rdi
  call   <scanf@plt>
  lea    D62(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x14(%rbp),%rax
  mov    %rax,%rsi
  lea    D58(%rip),%rax
  mov    %rax,%rdi
  call   <scanf@plt>
  movss  -0x14(%rbp),%xmm0
  mov    -0x18(%rbp),%eax
  movaps %xmm0,%xmm1
  movd   %eax,%xmm0
  call   <berechne_nettopreis@plt>
  movd   %xmm0,%eax
  mov    %eax,-0x10(%rbp)
  movss  -0x14(%rbp),%xmm0
  mov    -0x10(%rbp),%eax
  movaps %xmm0,%xmm1
  movd   %eax,%xmm0
  call   <berechne_mehrwertsteuer@plt>
  movd   %xmm0,%eax
  mov    %eax,-0xc(%rbp)
  movss  -0x10(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  comiss %xmm1,%xmm0
  jb     L16
  movss  -0xc(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  comiss %xmm1,%xmm0
  jb     L16
  movss  -0x18(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  cvtss2sd %xmm0,%xmm2
  movq   %xmm2,%rax
  movq   %rax,%xmm0
  lea    D15(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  pxor   %xmm3,%xmm3
  cvtss2sd -0x10(%rbp),%xmm3
  movq   %xmm3,%rax
  movq   %rax,%xmm0
  lea    D39(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  pxor   %xmm4,%xmm4
  cvtss2sd -0xc(%rbp),%xmm4
  movq   %xmm4,%rax
  movq   %rax,%xmm0
  lea    D49(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
L16:
  mov    $0x0,%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L19
  call   <__stack_chk_fail@plt>
L19:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D18
type_guessed: string
name: extract_symbolic_data
arguments: tag: D29
type_guessed: string
name: extract_symbolic_data
arguments: tag: D58
type_guessed: string
name: extract_symbolic_data
arguments: tag: D62
type_guessed: string
name: extract_symbolic_data
arguments: tag: D15
type_guessed: string
name: extract_symbolic_data
arguments: tag: D39
type_guessed: string
name: extract_symbolic_data
arguments: tag: D49
type_guessed: string

tool: D18: 
Programm zum Berechnen des Mehrwertsteueranteils von Preisen.

tool: D29: 
Eingabe Bruttopreis in Euro:        

tool: D58: %f

tool: D62: Eingabe Mehrwertsteuersatz in %%:    

tool: D15: 
Bruttopreis:            %10.2f Euro

tool: D39: 
Nettopreis:             %10.2f Euro

tool: D49: 
Mehrwertsteueranteil:   %10.2f Euro



assistant: ```c
int main(void) {
  printf("\nProgramm zum Berechnen des Mehrwertsteueranteils"
         " von Preisen.\n");
  printf("\nEingabe Bruttopreis in Euro:        ");
  float bruttopreis;
  scanf("%f", &bruttopreis);
  printf("Eingabe Mehrwertsteuersatz in %%:    ");
  float mwst_satz;
  scanf("%f", &mwst_satz);
  float nettopreis;
  nettopreis = berechne_nettopreis(bruttopreis, mwst_satz);
  float mwst_anteil;
  mwst_anteil = berechne_mehrwertsteuer(nettopreis, mwst_satz);
  if (nettopreis >= 0 && mwst_anteil >= 0) {
    printf("\nBruttopreis:            %10.2f Euro", bruttopreis);
    printf("\nNettopreis:             %10.2f Euro", nettopreis);
    printf("\nMehrwertsteueranteil:   %10.2f Euro\n\n", mwst_anteil);
  }
}
```