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

```asm
<main>:
  endbr64
  push   %rbp
  sub    $0x20,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  xor    %eax,%eax
  mov    %rsp,%rbp
  movl   $0x0,(%rsp)
  mov    %rbp,%rdi
  call   <bar_float@plt>
  movss  (%rsp),%xmm0
  ucomiss D17(%rip),%xmm0
  jp     L53
  jne    L53
L281:
  mov    %rbp,%rdi
  movl   $0x0,(%rsp)
  call   <baz_float@plt>
  movss  (%rsp),%xmm0
  ucomiss D18(%rip),%xmm0
  jp     L62
  jne    L62
L11:
  mov    %rbp,%rdi
  movq   $0x0,(%rsp)
  call   <bar_double@plt>
  movsd  D36(%rip),%xmm0
  ucomisd (%rsp),%xmm0
  jp     L124
  jne    L124
L41:
  mov    %rbp,%rdi
  movq   $0x0,(%rsp)
  call   <baz_double@plt>
  movsd  D15(%rip),%xmm0
  ucomisd (%rsp),%xmm0
  jp     L236
  jne    L236
L29:
  fldz
  mov    %rbp,%rdi
  fstpt  (%rsp)
  call   <bar_ldouble_t@plt>
  flds   0xcb1(%rip)        # 2000 <_fini+0xa34>
  fldt   (%rsp)
  fucomip %st(1),%st
  fstp   %st(0)
  jp     L138
  jne    L138
L59:
  fldz
  mov    %rbp,%rdi
  fstpt  (%rsp)
  call   <baz_ldouble_t@plt>
  flds   0xc8f(%rip)        # 2004 <_fini+0xa38>
  fldt   (%rsp)
  fucomip %st(1),%st
  fstp   %st(0)
  jp     L225
  jne    L225
L111:
  mov    %rbp,%rdi
  movb   $0x0,(%rsp)
  call   <bar_char@plt>
  cmpb   $0x6,(%rsp)
  je     L165
  xor    %eax,%eax
  call   <abort@plt>
L165:
  mov    %rbp,%rdi
  movb   $0x0,(%rsp)
  call   <baz_char@plt>
  cmpb   $0x4,(%rsp)
  je     L184
  xor    %eax,%eax
  call   <abort@plt>
L184:
  xor    %edx,%edx
  mov    %rbp,%rdi
  mov    %dx,(%rsp)
  call   <bar_short@plt>
  cmpw   $0x6,(%rsp)
  je     L218
  xor    %eax,%eax
  call   <abort@plt>
L218:
  xor    %eax,%eax
  mov    %rbp,%rdi
  mov    %ax,(%rsp)
  call   <baz_short@plt>
  cmpw   $0x4,(%rsp)
  je     L146
  xor    %eax,%eax
  call   <abort@plt>
L146:
  mov    %rbp,%rdi
  movl   $0x0,(%rsp)
  call   <bar_int@plt>
  cmpl   $0x6,(%rsp)
  je     L200
  xor    %eax,%eax
  call   <abort@plt>
L200:
  mov    %rbp,%rdi
  movl   $0x0,(%rsp)
  call   <baz_int@plt>
  cmpl   $0x4,(%rsp)
  je     L82
  xor    %eax,%eax
  call   <abort@plt>
L82:
  mov    %rbp,%rdi
  movq   $0x0,(%rsp)
  call   <bar_long@plt>
  cmpq   $0x6,(%rsp)
  je     L163
  xor    %eax,%eax
  call   <abort@plt>
L163:
  mov    %rbp,%rdi
  movq   $0x0,(%rsp)
  call   <baz_long@plt>
  cmpq   $0x4,(%rsp)
  je     L221
  xor    %eax,%eax
  call   <abort@plt>
L221:
  mov    %rbp,%rdi
  movq   $0x0,(%rsp)
  call   <bar_llong@plt>
  cmpq   $0x6,(%rsp)
  je     L91
  xor    %eax,%eax
  call   <abort@plt>
L91:
  mov    %rbp,%rdi
  movq   $0x0,(%rsp)
  call   <baz_llong@plt>
  cmpq   $0x4,(%rsp)
  je     L114
  xor    %eax,%eax
  call   <abort@plt>
L114:
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L196
  add    $0x20,%rsp
  xor    %eax,%eax
  pop    %rbp
  ret
L225:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L111
L138:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L59
L236:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L29
L124:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L41
L62:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L11
L53:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L281
L196:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D17
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D18
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D36
type_infered: f32[2]
name: extract_symbolic_data
arguments: data_tag: D15
type_infered: f32[2]

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

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

tool: {"D36": [0.0,2.375]}

tool: {"D15": [0.0,2.25]}

assistant: ```c
int main(void) {
  {
    float var = 0;
    bar_float(&var);
    if (var != 6)
      abort();
    var = 0;
    baz_float(&var);
    if (var != 4)
      abort();
  }
  {
    double var = 0;
    bar_double(&var);
    if (var != 6)
      abort();
    var = 0;
    baz_double(&var);
    if (var != 4)
      abort();
  }
  {
    long double var = 0;
    bar_ldouble_t(&var);
    if (var != 6)
      abort();
    var = 0;
    baz_ldouble_t(&var);
    if (var != 4)
      abort();
  }
  {
    char var = 0;
    bar_char(&var);
    if (var != 6)
      abort();
    var = 0;
    baz_char(&var);
    if (var != 4)
      abort();
  }
  {
    short var = 0;
    bar_short(&var);
    if (var != 6)
      abort();
    var = 0;
    baz_short(&var);
    if (var != 4)
      abort();
  }
  {
    int var = 0;
    bar_int(&var);
    if (var != 6)
      abort();
    var = 0;
    baz_int(&var);
    if (var != 4)
      abort();
  }
  {
    long var = 0;
    bar_long(&var);
    if (var != 6)
      abort();
    var = 0;
    baz_long(&var);
    if (var != 4)
      abort();
  }
  {
    long long var = 0;
    bar_llong(&var);
    if (var != 6)
      abort();
    var = 0;
    baz_llong(&var);
    if (var != 4)
      abort();
  }
  return 0;
}
```