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

```asm
<main>:
  endbr64
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x60,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x58(%rsp)
  xor    %eax,%eax
  lea    D117(%rip),%r14
  lea    0x20(%rsp),%rbp
  lea    D196(%rip),%rbx
  lea    D108(%rip),%r13
  jmp    L29
L70:
  comiss D99(%rip),%xmm0
  jbe    L8
  movss  D172(%rip),%xmm1
  comiss %xmm0,%xmm1
  jb     L8
  movaps %xmm0,%xmm1
  divss  D97(%rip),%xmm1
  movaps %xmm1,%xmm4
  mulss  D88(%rip),%xmm4
  movss  %xmm4,0xc(%rsp)
  subss  %xmm4,%xmm0
  movss  %xmm0,0x8(%rsp)
  mov    $0xa,%r12d
  jmp    L41
L8:
  comiss D172(%rip),%xmm0
  jbe    L41
  movaps %xmm0,%xmm1
  divss  D97(%rip),%xmm1
  movaps %xmm1,%xmm3
  mulss  D156(%rip),%xmm3
  movss  %xmm3,0xc(%rsp)
  subss  %xmm3,%xmm0
  movss  %xmm0,0x8(%rsp)
  mov    $0xc,%r12d
L41:
  mov    %rbp,%rsi
  lea    D70(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  pxor   %xmm0,%xmm0
  cvtss2sd 0x1c(%rsp),%xmm0
  lea    D162(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    %r12d,%esi
  lea    D9(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  pxor   %xmm0,%xmm0
  cvtss2sd 0xc(%rsp),%xmm0
  lea    D75(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  pxor   %xmm0,%xmm0
  cvtss2sd 0x8(%rsp),%xmm0
  lea    D69(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  lea    D103(%rip),%rdi
  call   <puts@plt>
  lea    0x1b(%rsp),%rsi
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  cmpb   $0x73,0x1b(%rsp)
  jne    L30
L29:
  mov    %r14,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  mov    %r13,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    0x1c(%rsp),%rsi
  lea    D66(%rip),%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  movss  0x1c(%rsp),%xmm0
  movss  D99(%rip),%xmm1
  comiss %xmm0,%xmm1
  jb     L70
  movaps %xmm0,%xmm1
  divss  D97(%rip),%xmm1
  movaps %xmm1,%xmm2
  mulss  D44(%rip),%xmm2
  movss  %xmm2,0xc(%rsp)
  subss  %xmm2,%xmm0
  movss  %xmm0,0x8(%rsp)
  mov    $0x8,%r12d
  jmp    L41
L30:
  mov    0x58(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L37
  mov    $0x0,%eax
  add    $0x60,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
L37:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D117
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D196
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D108
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D99
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D172
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D97
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D88
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D156
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D70
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D162
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D9
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D75
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D69
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D103
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D66
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D44
type_infered: byte[4]

tool: D117: 
 digite o nome do funcionario; 

tool: D196: %s

tool: D108: 
 digite o salario do funcionario: 

tool: {"D99": [0x00,0x00,0xfa,0x43]}

tool: {"D172": [0x00,0x00,0x7a,0x44]}

tool: {"D97": [0x00,0x00,0xc8,0x42]}

tool: {"D88": [0x00,0x00,0x20,0x41]}

tool: {"D156": [0x00,0x00,0x40,0x41]}

tool: D70: 
 Nome: %s 


tool: D162: 
 Salario bruto: %f 


tool: D9: 
 Taxa de INSS: %d% 


tool: D75: 
 Valor de INSS %f 


tool: D69: 
 Salario liquido: %f 


tool: D103: 
 deseja continuar ? 

tool: D66: %f

tool: {"D44": [0x00,0x00,0x00,0x41]}

assistant: ```c
int main() {
  char resp;
  do {
    int cont = 1, tinss;
    char s, nome[50];
    float sal, novosala, val;
    printf("\n digite o nome do funcionario; ");
    scanf("%s", &nome);
    printf("\n digite o salario do funcionario: ");
    scanf("%f", &sal);
    if (sal <= 500) {
      novosala = sal - ((sal / 100) * 8);
      val = (sal / 100) * 8;
      tinss = 8;
    } else if (sal > 500 && sal <= 1000) {
      novosala = sal - ((sal / 100) * 10);
      val = (sal / 100) * 10;
      tinss = 10;
    } else if (sal > 1000) {
      novosala = sal - ((sal / 100) * 12);
      val = (sal / 100) * 12;
      tinss = 12;
    }
    printf("\n Nome: %s \n", nome);
    printf("\n Salario bruto: %f \n", sal);
    printf("\n Taxa de INSS: %d% \n", tinss);
    printf("\n Valor de INSS %f \n", val);
    printf("\n Salario liquido: %f \n", novosala);
    printf("\n deseja continuar ? \n");
    scanf("%s", &resp);
    cont = cont + 1;
  } while (resp == 's');
}
```