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

```asm
<main>:
  endbr64
  sub    $0x28,%rsp
  lea    D127(%rip),%rdi
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  xor    %eax,%eax
  call   <puts@plt>
  lea    0x14(%rsp),%rsi
  lea    D122(%rip),%rdi
  call   <scanf@plt>
  mov    0x14(%rsp),%eax
  cmp    $0x28,%eax
  jg     L62
  imul   $0xa,%eax,%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
L33:
  movsd  D44(%rip),%xmm0
  comisd %xmm1,%xmm0
  jb     L23
  movsd  D70(%rip),%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,(%rsp)
L43:
  movapd %xmm1,%xmm0
  lea    D103(%rip),%rdi
  mov    $0x1,%eax
  movsd  %xmm1,0x8(%rsp)
  call   <printf@plt>
  movsd  (%rsp),%xmm0
  mov    $0x1,%eax
  lea    D90(%rip),%rdi
  call   <printf@plt>
  movsd  0x8(%rsp),%xmm1
  subsd  (%rsp),%xmm1
  lea    D6(%rip),%rdi
  mov    $0x1,%eax
  movapd %xmm1,%xmm0
  call   <printf@plt>
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L45
  xor    %eax,%eax
  add    $0x28,%rsp
  ret
L62:
  lea    -0x28(%rax),%edx
  pxor   %xmm1,%xmm1
  pxor   %xmm0,%xmm0
  imul   $0xa,%eax,%eax
  cvtsi2sd %edx,%xmm1
  mulsd  D47(%rip),%xmm1
  cvtsi2sd %eax,%xmm0
  addsd  %xmm0,%xmm1
  jmp    L33
L23:
  movsd  D88(%rip),%xmm2
  comisd %xmm1,%xmm2
  jb     L10
  movapd %xmm1,%xmm2
  subsd  %xmm0,%xmm2
  mulsd  D76(%rip),%xmm2
  addsd  D98(%rip),%xmm2
  movsd  %xmm2,(%rsp)
  jmp    L43
L10:
  movapd %xmm1,%xmm0
  subsd  %xmm2,%xmm0
  mulsd  D50(%rip),%xmm0
  addsd  D85(%rip),%xmm0
  movsd  %xmm0,(%rsp)
  jmp    L43
L45:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: tag: D127
type_guessed: string
name: read_data
arguments: tag: D122
type_guessed: string
name: read_data
arguments: tag: D44
type_guessed: byte[8]
name: read_data
arguments: tag: D70
type_guessed: f64
name: read_data
arguments: tag: D103
type_guessed: string
name: read_data
arguments: tag: D90
type_guessed: string
name: read_data
arguments: tag: D6
type_guessed: string
name: read_data
arguments: tag: D47
type_guessed: byte[8]
name: read_data
arguments: tag: D88
type_guessed: byte[8]
name: read_data
arguments: tag: D76
type_guessed: f64
name: read_data
arguments: tag: D98
type_guessed: byte[8]
name: read_data
arguments: tag: D50
type_guessed: f64
name: read_data
arguments: tag: D85
type_guessed: byte[8]

tool: D127: How many hours do you work in a week?

tool: D122: %d

tool: {"D44": [0x00,0x00,0x00,0x00,0x00,0xc0,0x72,0x40]}

tool: D70: 0.15

tool: D103: Your gross pay: $%.2f


tool: D90: Your taxes: $%.2f


tool: D6: Your net pay: $%.2f


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

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

tool: D76: 0.2

tool: {"D98": [0x00,0x00,0x00,0x00,0x00,0x80,0x46,0x40]}

tool: D50: 0.25

tool: {"D85": [0x00,0x00,0x00,0x00,0x00,0xc0,0x52,0x40]}

assistant: ```c
int main(void) {
  int hours;
  double gross, tax, net;
  printf("How many hours do you work in a week?\n");
  scanf("%d", &hours);
  if (hours <= 40)
    gross = 10 * hours;
  else
    gross = 10 * hours + 1.5 * 10 * (hours - 40);
  if (gross <= 300)
    tax = gross * 0.15;
  else if (gross <= 450)
    tax = 300 * 0.15 + (gross - 300) * 0.20;
  else
    tax = 300 * 0.15 + (450 - 300) * 0.20 + (gross - 450) * 0.25;
  net = gross - tax;
  printf("Your gross pay: $%.2f\n", gross);
  printf("Your taxes: $%.2f\n", tax);
  printf("Your net pay: $%.2f\n", net);
  return 0;
}
```