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

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  movl   $0x64,-0x2c(%rbp)
  movsd  D24(%rip),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x20(%rbp),%rdx
  mov    -0x2c(%rbp),%eax
  movq   %rdx,%xmm0
  mov    %eax,%esi
  lea    D13(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  movabs $0x35fa17ed44290000,%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x18(%rbp),%rax
  mov    %eax,%esi
  lea    D11(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0x2c(%rbp),%xmm0
  movsd  -0x20(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x10(%rbp),%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%esi
  lea    D63(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    -0x18(%rbp),%rax
  test   %rax,%rax
  js     L19
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  jmp    L15
L19:
  mov    %rax,%rdx
  shr    %rdx
  and    $0x1,%eax
  or     %rax,%rdx
  pxor   %xmm0,%xmm0
  cvtsi2sd %rdx,%xmm0
  addsd  %xmm0,%xmm0
L15:
  movsd  -0x10(%rbp),%xmm1
  divsd  %xmm0,%xmm1
  movsd  %xmm1,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%esi
  lea    D64(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  movb   $0x0,-0x2e(%rbp)
  movsbl -0x2e(%rbp),%eax
  mov    -0x2c(%rbp),%edx
  imul   %edx,%eax
  mov    %eax,-0x28(%rbp)
  mov    -0x28(%rbp),%eax
  mov    %eax,%esi
  lea    D9(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  movb   $0x0,-0x2d(%rbp)
  movzbl -0x2e(%rbp),%eax
  cmp    -0x2d(%rbp),%al
  sete   %al
  movzbl %al,%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x24(%rbp),%eax
  mov    %eax,%esi
  lea    D46(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0x0,%eax
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D24
type: f64
name: extract_symbolic_data
arguments: tag: D13
type: string
name: extract_symbolic_data
arguments: tag: D11
type: string
name: extract_symbolic_data
arguments: tag: D63
type: string
name: extract_symbolic_data
arguments: tag: D64
type: string
name: extract_symbolic_data
arguments: tag: D9
type: string
name: extract_symbolic_data
arguments: tag: D46
type: string

tool: D24: 1.2

tool: D13: You have %d bugs at the imaginary rate of %f.


tool: D11: The entire universe has %ld bugs.


tool: D63: You are expected to have %.1f bugs.


tool: D64: That is only a %e portion of the universe.


tool: D9: Which means you should care %d%%.


tool: D46: Is nul_byte equal to zero? %d


assistant: ```c
int main() {
  int bugs = 100;
  double bug_rate = 1.2;
  printf("You have %d bugs at the imaginary rate of %f.\n", bugs, bug_rate);
  unsigned long universe_of_defects = 100000000L * 1000L * 10002500L * 100200L;
  printf("The entire universe has %ld bugs.\n", universe_of_defects);
  double expected_bugs = bugs * bug_rate;
  printf("You are expected to have %.1f bugs.\n", expected_bugs);
  double part_of_universe = expected_bugs / universe_of_defects;
  printf("That is only a %e portion of the universe.\n", part_of_universe);
  char nul_byte = '\0';
  int care_percentage = bugs * nul_byte;
  printf("Which means you should care %d%%.\n", care_percentage);
  char zero = 0;
  int nul_is_zero = (nul_byte == zero);
  printf("Is nul_byte equal to zero? %d\n", nul_is_zero);
  return 0;
}
```