user: Demonstrate the C code that generates the assembly output below:

```asm
<main>:
  endbr64
  push   %r12
  push   %rbp
  lea    D100(%rip),%rbp
  sub    $0x98,%rsp
  movsd  D5(%rip),%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,0x88(%rsp)
  xor    %eax,%eax
  mov    %rsp,%r12
  mov    %r12,%rdi
  call   <dollar_text@plt>
  mov    %rbp,%rdi
  mov    %eax,%esi
  mov    D5(%rip),%rax
  movq   %rax,%xmm0
  call   <printf@plt>
  movsd  D240(%rip),%xmm0
  mov    %r12,%rdi
  call   <dollar_text@plt>
  mov    %rbp,%rdi
  mov    %eax,%esi
  mov    D240(%rip),%rax
  movq   %rax,%xmm0
  call   <printf@plt>
  movsd  D35(%rip),%xmm0
  mov    %r12,%rdi
  call   <dollar_text@plt>
  mov    %rbp,%rdi
  mov    %eax,%esi
  mov    D35(%rip),%rax
  movq   %rax,%xmm0
  call   <printf@plt>
  movsd  D65(%rip),%xmm0
  mov    %r12,%rdi
  call   <dollar_text@plt>
  mov    %rbp,%rdi
  mov    %eax,%esi
  mov    D65(%rip),%rax
  movq   %rax,%xmm0
  call   <printf@plt>
  movsd  D171(%rip),%xmm0
  mov    %r12,%rdi
  call   <dollar_text@plt>
  mov    %rbp,%rdi
  mov    %eax,%esi
  mov    D171(%rip),%rax
  movq   %rax,%xmm0
  call   <printf@plt>
  movsd  D160(%rip),%xmm0
  mov    %r12,%rdi
  call   <dollar_text@plt>
  mov    %rbp,%rdi
  mov    %eax,%esi
  mov    D160(%rip),%rax
  movq   %rax,%xmm0
  call   <printf@plt>
  movsd  D194(%rip),%xmm0
  mov    %r12,%rdi
  call   <dollar_text@plt>
  mov    %rbp,%rdi
  mov    %eax,%esi
  mov    D194(%rip),%rax
  movq   %rax,%xmm0
  call   <printf@plt>
  movsd  D102(%rip),%xmm0
  mov    %r12,%rdi
  call   <dollar_text@plt>
  mov    %rbp,%rdi
  mov    %eax,%esi
  mov    D102(%rip),%rax
  movq   %rax,%xmm0
  call   <printf@plt>
  movsd  D247(%rip),%xmm0
  mov    %r12,%rdi
  call   <dollar_text@plt>
  mov    %rbp,%rdi
  mov    %eax,%esi
  mov    D247(%rip),%rax
  movq   %rax,%xmm0
  call   <printf@plt>
  movsd  D229(%rip),%xmm0
  mov    %r12,%rdi
  call   <dollar_text@plt>
  mov    %rbp,%rdi
  mov    %eax,%esi
  mov    D229(%rip),%rax
  movq   %rax,%xmm0
  call   <printf@plt>
  movsd  D79(%rip),%xmm0
  mov    %r12,%rdi
  call   <dollar_text@plt>
  mov    %rbp,%rdi
  mov    %eax,%esi
  mov    D79(%rip),%rax
  movq   %rax,%xmm0
  call   <printf@plt>
  movsd  D173(%rip),%xmm0
  mov    %r12,%rdi
  call   <dollar_text@plt>
  mov    %rbp,%rdi
  mov    %eax,%esi
  mov    D173(%rip),%rax
  movq   %rax,%xmm0
  call   <printf@plt>
  mov    0x88(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L3
  add    $0x98,%rsp
  xor    %eax,%eax
  pop    %rbp
  pop    %r12
  ret
L3:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D100
data_type: string
name: extract_symbolic_data
arguments: tag: D5
data_type: f64
name: extract_symbolic_data
arguments: tag: D240
data_type: f64
name: extract_symbolic_data
arguments: tag: D35
data_type: f64
name: extract_symbolic_data
arguments: tag: D65
data_type: f64
name: extract_symbolic_data
arguments: tag: D171
data_type: f64
name: extract_symbolic_data
arguments: tag: D160
data_type: f64
name: extract_symbolic_data
arguments: tag: D194
data_type: f64
name: extract_symbolic_data
arguments: tag: D102
data_type: f64
name: extract_symbolic_data
arguments: tag: D247
data_type: f64
name: extract_symbolic_data
arguments: tag: D229
data_type: f64
name: extract_symbolic_data
arguments: tag: D79
data_type: f64
name: extract_symbolic_data
arguments: tag: D173
data_type: f64

tool: D100: %.2lf is %s


tool: D5: 0.12

tool: D240: 1.23

tool: D35: 2.34

tool: D65: 12.34

tool: D171: 112.34

tool: D160: 123.45

tool: D194: 1234.56

tool: D102: 9999.99

tool: D247: 10000

tool: D229: 100000

tool: D79: 123456.78

tool: D173: 999999.99

assistant: ```c
int main(void) {
  double dollar;
  char destination[128];
  dollar = 0.12;
  printf("%.2lf is %s\n", dollar, dollar_text(destination, dollar));
  dollar = 1.23;
  printf("%.2lf is %s\n", dollar, dollar_text(destination, dollar));
  dollar = 2.34;
  printf("%.2lf is %s\n", dollar, dollar_text(destination, dollar));
  dollar = 12.34;
  printf("%.2lf is %s\n", dollar, dollar_text(destination, dollar));
  dollar = 112.34;
  printf("%.2lf is %s\n", dollar, dollar_text(destination, dollar));
  dollar = 123.45;
  printf("%.2lf is %s\n", dollar, dollar_text(destination, dollar));
  dollar = 1234.56;
  printf("%.2lf is %s\n", dollar, dollar_text(destination, dollar));
  dollar = 9999.99;
  printf("%.2lf is %s\n", dollar, dollar_text(destination, dollar));
  dollar = 10000.00;
  printf("%.2lf is %s\n", dollar, dollar_text(destination, dollar));
  dollar = 100000.00;
  printf("%.2lf is %s\n", dollar, dollar_text(destination, dollar));
  dollar = 123456.78;
  printf("%.2lf is %s\n", dollar, dollar_text(destination, dollar));
  dollar = 999999.99;
  printf("%.2lf is %s\n", dollar, dollar_text(destination, dollar));
  return 0;
}
```