user: Please show me the C implementation that matches the assembly code listed below:

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x20,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  lea    -0x18(%rbp),%rax
  mov    %rax,%rsi
  lea    D141(%rip),%rax
  mov    %rax,%rdi
  call   <scanf@plt>
  cmp    $0x1,%eax
  jne    L134
  movsd  -0x18(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  comisd %xmm1,%xmm0
  jbe    L40
  movsd  -0x18(%rbp),%xmm1
  movsd  D89(%rip),%xmm0
  comisd %xmm1,%xmm0
  jb     L40
  movsd  -0x18(%rbp),%xmm1
  movsd  D81(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  jmp    L91
L40:
  movsd  -0x18(%rbp),%xmm0
  comisd D89(%rip),%xmm0
  jbe    L124
  movsd  -0x18(%rbp),%xmm1
  movsd  D13(%rip),%xmm0
  comisd %xmm1,%xmm0
  jb     L124
  movsd  -0x18(%rbp),%xmm0
  movsd  D89(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D167(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D243(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  jmp    L91
L124:
  movsd  -0x18(%rbp),%xmm0
  comisd D13(%rip),%xmm0
  jbe    L59
  movsd  -0x18(%rbp),%xmm1
  movsd  D254(%rip),%xmm0
  comisd %xmm1,%xmm0
  jb     L59
  movsd  -0x18(%rbp),%xmm0
  movsd  D13(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D204(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D221(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  jmp    L91
L59:
  movsd  -0x18(%rbp),%xmm0
  comisd D254(%rip),%xmm0
  jbe    L25
  movsd  -0x18(%rbp),%xmm1
  movsd  D154(%rip),%xmm0
  comisd %xmm1,%xmm0
  jb     L25
  movsd  -0x18(%rbp),%xmm0
  movsd  D254(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D16(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D125(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  jmp    L91
L25:
  movsd  -0x18(%rbp),%xmm0
  comisd D154(%rip),%xmm0
  jbe    L99
  movsd  -0x18(%rbp),%xmm1
  movsd  D18(%rip),%xmm0
  comisd %xmm1,%xmm0
  jb     L99
  movsd  -0x18(%rbp),%xmm0
  movsd  D154(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D178(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D244(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  jmp    L91
L99:
  movsd  -0x18(%rbp),%xmm0
  comisd D18(%rip),%xmm0
  jbe    L91
  movsd  -0x18(%rbp),%xmm0
  movsd  D18(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D127(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D35(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
L91:
  mov    -0x10(%rbp),%rax
  movq   %rax,%xmm0
  lea    D55(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
L134:
  mov    $0x0,%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L21
  call   <__stack_chk_fail@plt>
L21:
  leave
  ret
```

tool_calls: name: unpack_data
arguments: label: D141
type: string
name: unpack_data
arguments: label: D89
type: byte[16]
name: unpack_data
arguments: label: D81
type: f64
name: unpack_data
arguments: label: D13
type: byte[16]
name: unpack_data
arguments: label: D167
type: f64
name: unpack_data
arguments: label: D243
type: byte[8]
name: unpack_data
arguments: label: D254
type: byte[16]
name: unpack_data
arguments: label: D204
type: f64
name: unpack_data
arguments: label: D221
type: byte[8]
name: unpack_data
arguments: label: D154
type: byte[16]
name: unpack_data
arguments: label: D16
type: f64
name: unpack_data
arguments: label: D125
type: byte[8]
name: unpack_data
arguments: label: D18
type: byte[16]
name: unpack_data
arguments: label: D178
type: f64
name: unpack_data
arguments: label: D244
type: byte[8]
name: unpack_data
arguments: label: D127
type: f64
name: unpack_data
arguments: label: D35
type: byte[8]
name: unpack_data
arguments: label: D55
type: string

tool: D141: %lf

tool: {"D89": [0x00,0x00,0x00,0x00,0x00,0x70,0x87,0x40,0x7b,0x14,0xae,0x47,0xe1,0x7a,0x94,0x3f]}

tool: D81: 0.02

tool: {"D13": [0x00,0x00,0x00,0x00,0x00,0x94,0xa1,0x40,0x9a,0x99,0x99,0x99,0x99,0x99,0xa9,0x3f]}

tool: D167: 0.05

tool: {"D243": [0x00,0x00,0x00,0x00,0x00,0x00,0x2e,0x40]}

tool: {"D254": [0x00,0x00,0x00,0x00,0x00,0x4c,0xad,0x40,0x7b,0x14,0xae,0x47,0xe1,0x7a,0xb4,0x3f]}

tool: D204: 0.08

tool: {"D221": [0x00,0x00,0x00,0x00,0x00,0x80,0x56,0x40]}

tool: {"D154": [0x00,0x00,0x00,0x00,0x00,0x82,0xb4,0x40,0x9a,0x99,0x99,0x99,0x99,0x99,0xb9,0x3f]}

tool: D16: 0.1

tool: {"D125": [0x00,0x00,0x00,0x00,0x00,0x40,0x6a,0x40]}

tool: {"D18": [0x00,0x00,0x00,0x00,0x00,0x58,0xbb,0x40,0x9a,0x99,0x99,0x99,0x99,0x99,0xc9,0x3f]}

tool: D178: 0.2

tool: {"D244": [0x00,0x00,0x00,0x00,0x00,0x80,0x76,0x40]}

tool: D127: 0.3

tool: {"D35": [0x00,0x00,0x00,0x00,0x00,0x30,0x86,0x40]}

tool: D55: %.2lf


assistant: ```c
int main() {
  double salary, tax;
  if (scanf("%lf", &salary) == 1) {
    if (0 < salary && salary <= 750)
      tax = salary * 0.02;
    else if (750 < salary && salary <= 2250)
      tax = 15 + (salary - 750) * 0.05;
    else if (2250 < salary && salary <= 3750)
      tax = 90 + (salary - 2250) * 0.08;
    else if (3750 < salary && salary <= 5250)
      tax = 210 + (salary - 3750) * 0.10;
    else if (5250 < salary && salary <= 7000)
      tax = 360 + (salary - 5250) * 0.20;
    else if (salary > 7000)
      tax = 710 + (salary - 7000) * 0.30;
    printf("%.2lf\n", tax);
  }
  return 0;
}
```