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

```asm
<db_init>:
  endbr64
  sub    $0x8,%rsp
  mov    $0x320,%esi
  lea    D132(%rip),%rdi
  call   <db_insert_integer@plt>
  mov    $0x320,%esi
  lea    D21(%rip),%rdi
  call   <db_insert_integer@plt>
  movsd  D20(%rip),%xmm0
  lea    D224(%rip),%rdi
  call   <db_insert_real@plt>
  movsd  D64(%rip),%xmm0
  lea    D118(%rip),%rdi
  call   <db_insert_real@plt>
  movsd  D166(%rip),%xmm0
  lea    D168(%rip),%rdi
  call   <db_insert_real@plt>
  movsd  D175(%rip),%xmm0
  lea    D28(%rip),%rdi
  call   <db_insert_real@plt>
  movsd  D238(%rip),%xmm1
  lea    D54(%rip),%rdi
  movapd %xmm1,%xmm0
  call   <db_insert_real@plt>
  movsd  D140(%rip),%xmm2
  lea    D211(%rip),%rdi
  movapd %xmm2,%xmm0
  call   <db_insert_real@plt>
  movsd  D117(%rip),%xmm0
  lea    D102(%rip),%rdi
  call   <db_insert_real@plt>
  mov    D117(%rip),%rax
  lea    D226(%rip),%rdi
  movq   %rax,%xmm0
  call   <db_insert_real@plt>
  mov    D140(%rip),%rax
  lea    D160(%rip),%rdi
  movq   %rax,%xmm0
  call   <db_insert_real@plt>
  mov    D238(%rip),%rax
  lea    D32(%rip),%rdi
  movq   %rax,%xmm0
  call   <db_insert_real@plt>
  lea    D84(%rip),%rdi
  mov    $0x14,%esi
  call   <db_insert_integer@plt>
  movsd  D249(%rip),%xmm0
  add    $0x8,%rsp
  lea    D53(%rip),%rdi
  jmp    1060 <db_insert_real@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D132
data_type: string
name: extract_symbolic_data
arguments: data_tag: D21
data_type: string
name: extract_symbolic_data
arguments: data_tag: D20
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D224
data_type: string
name: extract_symbolic_data
arguments: data_tag: D64
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D118
data_type: string
name: extract_symbolic_data
arguments: data_tag: D166
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D168
data_type: string
name: extract_symbolic_data
arguments: data_tag: D175
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D28
data_type: string
name: extract_symbolic_data
arguments: data_tag: D238
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D54
data_type: string
name: extract_symbolic_data
arguments: data_tag: D140
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D211
data_type: string
name: extract_symbolic_data
arguments: data_tag: D117
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D102
data_type: string
name: extract_symbolic_data
arguments: data_tag: D226
data_type: string
name: extract_symbolic_data
arguments: data_tag: D160
data_type: string
name: extract_symbolic_data
arguments: data_tag: D32
data_type: string
name: extract_symbolic_data
arguments: data_tag: D84
data_type: string
name: extract_symbolic_data
arguments: data_tag: D249
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D53
data_type: string

tool: D132: screen_w

tool: D21: screen_h

tool: D20: 50

tool: D224: fps

tool: D64: 0.777

tool: D118: menu_text_caption_r

tool: D166: 0.888

tool: D168: menu_text_caption_g

tool: D175: 0.999

tool: D28: menu_text_caption_b

tool: D238: 0.667

tool: D54: menu_text_on_r

tool: D140: 0.5

tool: D211: menu_text_on_g

tool: D117: 0.333

tool: D102: menu_text_on_b

tool: D226: menu_text_off_r

tool: D160: menu_text_off_g

tool: D32: menu_text_off_b

tool: D84: menu_text_size

tool: D249: 30

tool: D53: menu_text_y_offset

assistant: ```c
void db_init(void) {
  db_insert_integer("screen_w", 800);
  db_insert_integer("screen_h", 800);
  db_insert_real("fps", 50.0);
  db_insert_real("menu_text_caption_r", 0.777);
  db_insert_real("menu_text_caption_g", 0.888);
  db_insert_real("menu_text_caption_b", 0.999);
  db_insert_real("menu_text_on_r", 0.667);
  db_insert_real("menu_text_on_g", 0.5);
  db_insert_real("menu_text_on_b", 0.333);
  db_insert_real("menu_text_off_r", 0.333);
  db_insert_real("menu_text_off_g", 0.5);
  db_insert_real("menu_text_off_b", 0.667);
  db_insert_integer("menu_text_size", 20);
  db_insert_real("menu_text_y_offset", 30.0);
}
```