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

```asm
<main>:
  endbr64
  sub    $0x18,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x8(%rsp)
  xor    %eax,%eax
  lea    0x4(%rsp),%rsi
  lea    D32(%rip),%rdi
  call   <scanf@plt>
  movss  0x4(%rsp),%xmm0
  movss  D116(%rip),%xmm1
  comiss %xmm0,%xmm1
  jae    L48
  movss  D132(%rip),%xmm1
  comiss %xmm0,%xmm1
  jae    L79
  movss  D78(%rip),%xmm1
  comiss %xmm0,%xmm1
  jae    L73
  movss  D149(%rip),%xmm1
  comiss %xmm0,%xmm1
  jb     L9
  cvtss2sd %xmm0,%xmm0
  movapd %xmm0,%xmm1
  mulsd  D44(%rip),%xmm1
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  mov    $0x7,%esi
  cvtsd2ss %xmm1,%xmm1
  lea    D24(%rip),%rdi
  call   <printf@plt>
  jmp    L82
L48:
  cvtss2sd %xmm0,%xmm0
  movapd %xmm0,%xmm1
  mulsd  D83(%rip),%xmm1
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  mov    $0xf,%esi
  cvtsd2ss %xmm1,%xmm1
  lea    D24(%rip),%rdi
  call   <printf@plt>
L82:
  mov    0x8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L66
  mov    $0x0,%eax
  add    $0x18,%rsp
  ret
L79:
  cvtss2sd %xmm0,%xmm0
  movapd %xmm0,%xmm1
  mulsd  D110(%rip),%xmm1
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  mov    $0xc,%esi
  cvtsd2ss %xmm1,%xmm1
  lea    D24(%rip),%rdi
  call   <printf@plt>
  jmp    L82
L73:
  cvtss2sd %xmm0,%xmm0
  movapd %xmm0,%xmm1
  mulsd  D0(%rip),%xmm1
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  mov    $0xa,%esi
  cvtsd2ss %xmm1,%xmm1
  lea    D24(%rip),%rdi
  call   <printf@plt>
  jmp    L82
L9:
  cvtss2sd %xmm0,%xmm0
  movapd %xmm0,%xmm1
  mulsd  D37(%rip),%xmm1
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  mov    $0x4,%esi
  cvtsd2ss %xmm1,%xmm1
  lea    D24(%rip),%rdi
  call   <printf@plt>
  jmp    L82
L66:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: label: D32
data_type: string
name: read_data
arguments: label: D116
data_type: byte[4]
name: read_data
arguments: label: D132
data_type: byte[4]
name: read_data
arguments: label: D78
data_type: byte[4]
name: read_data
arguments: label: D149
data_type: byte[4]
name: read_data
arguments: label: D44
data_type: byte[8]
name: read_data
arguments: label: D24
data_type: string
name: read_data
arguments: label: D83
data_type: byte[8]
name: read_data
arguments: label: D110
data_type: byte[8]
name: read_data
arguments: label: D0
data_type: byte[8]
name: read_data
arguments: label: D37
data_type: byte[8]

tool: D32: %f

tool: {"D116": [0x00,0x00,0xc8,0x43]}

tool: {"D132": [0x00,0x00,0x48,0x44]}

tool: {"D78": [0x00,0x00,0x96,0x44]}

tool: {"D149": [0x00,0x00,0xfa,0x44]}

tool: {"D44": [0x66,0x66,0x66,0x66,0x66,0x66,0xe6,0x3f]}

tool: D24: Novo salario: %0.2f
Reajuste ganho: %0.2f
Em percentual: %d %


tool: {"D83": [0x33,0x33,0x33,0x33,0x33,0x33,0xc3,0x3f]}

tool: {"D110": [0xb8,0x1e,0x85,0xeb,0x51,0xb8,0xbe,0x3f]}

tool: {"D0": [0x9a,0x99,0x99,0x99,0x99,0x99,0xb9,0x3f]}

tool: {"D37": [0x9a,0x99,0x99,0x99,0x99,0x99,0xd9,0x3f]}

assistant: ```c
int main(void) {
  float x;
  scanf("%f", &x);
  if (x <= 400)
    printf("Novo salario: %0.2f\nReajuste ganho: %0.2f\nEm percentual: %d %\n", x + x * .15, x * .15, 15);
  else if (x <= 800)
    printf("Novo salario: %0.2f\nReajuste ganho: %0.2f\nEm percentual: %d %\n", x + x * .12, x * .12, 12);
  else if (x <= 1200)
    printf("Novo salario: %0.2f\nReajuste ganho: %0.2f\nEm percentual: %d %\n", x + x * .10, x * .10, 10);
  else if (x <= 2000)
    printf("Novo salario: %0.2f\nReajuste ganho: %0.2f\nEm percentual: %d %\n", x + x * .7, x * .7, 7);
  else
    printf("Novo salario: %0.2f\nReajuste ganho: %0.2f\nEm percentual: %d %\n", x + x * .4, x * .4, 4);
  return 0;
}
```