user: 请显示与下面列出的汇编代码相匹配的C语言实现：

```asm
<main>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  lea    D133(%rip),%rdi
  call   <puts@plt>
  lea    D139(%rip),%rdi
  call   <puts@plt>
  mov    D199(%rip),%rax
  movq   %rax,%xmm0
  call   <trunc@plt>
  mov    %eax,%r12d
  mov    D199(%rip),%rax
  movq   %rax,%xmm0
  call   <ceil@plt>
  mov    %eax,%ebp
  mov    D199(%rip),%rax
  movq   %rax,%xmm0
  call   <floor@plt>
  mov    %eax,%ebx
  mov    D199(%rip),%rax
  movq   %rax,%xmm0
  call   <round@plt>
  mov    %eax,%esi
  mov    %r12d,%r8d
  mov    %ebp,%ecx
  mov    %ebx,%edx
  mov    D199(%rip),%rax
  movq   %rax,%xmm0
  lea    D298(%rip),%rbx
  mov    %rbx,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    D198(%rip),%rax
  movq   %rax,%xmm0
  call   <trunc@plt>
  mov    %eax,%r13d
  mov    D198(%rip),%rax
  movq   %rax,%xmm0
  call   <ceil@plt>
  mov    %eax,%r12d
  mov    D198(%rip),%rax
  movq   %rax,%xmm0
  call   <floor@plt>
  mov    %eax,%ebp
  mov    D198(%rip),%rax
  movq   %rax,%xmm0
  call   <round@plt>
  mov    %eax,%esi
  mov    %r13d,%r8d
  mov    %r12d,%ecx
  mov    %ebp,%edx
  mov    D198(%rip),%rax
  movq   %rax,%xmm0
  mov    %rbx,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    D287(%rip),%rax
  movq   %rax,%xmm0
  call   <trunc@plt>
  mov    %eax,%r13d
  mov    D287(%rip),%rax
  movq   %rax,%xmm0
  call   <ceil@plt>
  mov    %eax,%r12d
  mov    D287(%rip),%rax
  movq   %rax,%xmm0
  call   <floor@plt>
  mov    %eax,%ebp
  mov    D287(%rip),%rax
  movq   %rax,%xmm0
  call   <round@plt>
  mov    %eax,%esi
  mov    %r13d,%r8d
  mov    %r12d,%ecx
  mov    %ebp,%edx
  mov    D287(%rip),%rax
  movq   %rax,%xmm0
  mov    %rbx,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    D191(%rip),%rax
  movq   %rax,%xmm0
  call   <trunc@plt>
  mov    %eax,%r13d
  mov    D191(%rip),%rax
  movq   %rax,%xmm0
  call   <ceil@plt>
  mov    %eax,%r12d
  mov    D191(%rip),%rax
  movq   %rax,%xmm0
  call   <floor@plt>
  mov    %eax,%ebp
  mov    D191(%rip),%rax
  movq   %rax,%xmm0
  call   <round@plt>
  mov    %eax,%esi
  mov    %r13d,%r8d
  mov    %r12d,%ecx
  mov    %ebp,%edx
  mov    D191(%rip),%rax
  movq   %rax,%xmm0
  mov    %rbx,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    D321(%rip),%rax
  movq   %rax,%xmm0
  call   <trunc@plt>
  mov    %eax,%r13d
  mov    D321(%rip),%rax
  movq   %rax,%xmm0
  call   <ceil@plt>
  mov    %eax,%r12d
  mov    D321(%rip),%rax
  movq   %rax,%xmm0
  call   <floor@plt>
  mov    %eax,%ebp
  mov    D321(%rip),%rax
  movq   %rax,%xmm0
  call   <round@plt>
  mov    %eax,%esi
  mov    %r13d,%r8d
  mov    %r12d,%ecx
  mov    %ebp,%edx
  mov    D321(%rip),%rax
  movq   %rax,%xmm0
  mov    %rbx,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    D314(%rip),%rax
  movq   %rax,%xmm0
  call   <trunc@plt>
  mov    %eax,%r13d
  mov    D314(%rip),%rax
  movq   %rax,%xmm0
  call   <ceil@plt>
  mov    %eax,%r12d
  mov    D314(%rip),%rax
  movq   %rax,%xmm0
  call   <floor@plt>
  mov    %eax,%ebp
  mov    D314(%rip),%rax
  movq   %rax,%xmm0
  call   <round@plt>
  mov    %eax,%esi
  mov    %r13d,%r8d
  mov    %r12d,%ecx
  mov    %ebp,%edx
  mov    D314(%rip),%rax
  movq   %rax,%xmm0
  mov    %rbx,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    $0x0,%eax
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D133
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D139
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D199
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D298
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D198
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D287
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D191
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_tag: D321
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_tag: D314
type_infered: byte[8]

tool: D133: value	round	floor	ceil	trunc

tool: D139: -----	-----	-----	----	-----

tool: D199: 2.3

tool: D298: %.1f 	%.1f 	%.1f 	%.1f 	%.1f


tool: D198: 3.8

tool: D287: 5.5

tool: {"D191": [0x66,0x66,0x66,0x66,0x66,0x66,0x02,0xc0]}

tool: {"D321": [0x66,0x66,0x66,0x66,0x66,0x66,0x0e,0xc0]}

tool: {"D314": [0x00,0x00,0x00,0x00,0x00,0x00,0x16,0xc0]}

assistant: ```c
int main() {
  const char *format = "%.1f \t%.1f \t%.1f \t%.1f \t%.1f\n";
  printf("value\tround\tfloor\tceil\ttrunc\n");
  printf("-----\t-----\t-----\t----\t-----\n");
  printf(format, 2.3, round(2.3), floor(2.3), ceil(2.3), trunc(2.3));
  printf(format, 3.8, round(3.8), floor(3.8), ceil(3.8), trunc(3.8));
  printf(format, 5.5, round(5.5), floor(5.5), ceil(5.5), trunc(5.5));
  printf(format, -2.3, round(-2.3), floor(-2.3), ceil(-2.3), trunc(-2.3));
  printf(format, -3.8, round(-3.8), floor(-3.8), ceil(-3.8), trunc(-3.8));
  printf(format, -5.5, round(-5.5), floor(-5.5), ceil(-5.5), trunc(-5.5));
  return 0;
}
```