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

```asm
<scanf_test>:
  endbr64
  push   %r15
  lea    D141(%rip),%r15
  push   %r14
  lea    D209(%rip),%r14
  push   %r13
  push   %r12
  push   %rbp
  lea    D359(%rip),%rbp
  push   %rbx
  lea    D247(%rip),%rbx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  sub    $0x28,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  xor    %eax,%eax
  lea    0x8(%rsp),%r13
  movl   $0x0,0x8(%rsp)
  lea    0xc(%rsp),%r12
  mov    %r13,%rdx
  movl   $0x0,0xc(%rsp)
  movq   $0x0,0x10(%rsp)
  call   <sscanf@plt>
  xor    %edi,%edi
  cmpl   $0xa,0x8(%rsp)
  sete   %dil
  call   <CT_ASSERT@plt>
  mov    %r13,%rdx
  mov    %rbp,%rsi
  mov    %r14,%rdi
  xor    %eax,%eax
  call   <sscanf@plt>
  xor    %edi,%edi
  cmpl   $0xb,0x8(%rsp)
  sete   %dil
  call   <CT_ASSERT@plt>
  mov    %r13,%rdx
  mov    %rbp,%rsi
  mov    %r15,%rdi
  xor    %eax,%eax
  lea    D5(%rip),%rbp
  call   <sscanf@plt>
  xor    %edi,%edi
  cmpl   $0xfffffff6,0x8(%rsp)
  sete   %dil
  call   <CT_ASSERT@plt>
  mov    %r12,%rdx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  xor    %eax,%eax
  call   <sscanf@plt>
  xor    %edi,%edi
  cmpl   $0x8,0xc(%rsp)
  sete   %dil
  call   <CT_ASSERT@plt>
  mov    %r12,%rdx
  mov    %rbp,%rsi
  mov    %r15,%rdi
  xor    %eax,%eax
  call   <sscanf@plt>
  xor    %edi,%edi
  cmpl   $0xfffffff8,0xc(%rsp)
  sete   %dil
  call   <CT_ASSERT@plt>
  mov    %r12,%rdx
  mov    %rbp,%rsi
  mov    %r14,%rdi
  xor    %eax,%eax
  lea    D289(%rip),%rbp
  lea    D86(%rip),%r14
  call   <sscanf@plt>
  xor    %edi,%edi
  cmpl   $0x9,0xc(%rsp)
  sete   %dil
  call   <CT_ASSERT@plt>
  mov    %r12,%rdx
  mov    %rbp,%rsi
  xor    %eax,%eax
  lea    D58(%rip),%rdi
  call   <sscanf@plt>
  xor    %edi,%edi
  cmpl   $0xaf,0xc(%rsp)
  sete   %dil
  call   <CT_ASSERT@plt>
  mov    %r12,%rdx
  mov    %r14,%rsi
  xor    %eax,%eax
  lea    D244(%rip),%rdi
  call   <sscanf@plt>
  xor    %edi,%edi
  cmpl   $0xffffff51,0xc(%rsp)
  sete   %dil
  call   <CT_ASSERT@plt>
  mov    %r12,%rdx
  mov    %rbp,%rsi
  xor    %eax,%eax
  lea    D59(%rip),%rdi
  call   <sscanf@plt>
  xor    %edi,%edi
  cmpl   $0xfe,0xc(%rsp)
  sete   %dil
  call   <CT_ASSERT@plt>
  mov    %r12,%rdx
  mov    %rbp,%rsi
  xor    %eax,%eax
  lea    D267(%rip),%rdi
  call   <sscanf@plt>
  xor    %edi,%edi
  cmpl   $0xaf,0xc(%rsp)
  sete   %dil
  call   <CT_ASSERT@plt>
  mov    %r12,%rdx
  mov    %r14,%rsi
  xor    %eax,%eax
  lea    D118(%rip),%rdi
  call   <sscanf@plt>
  xor    %edi,%edi
  cmpl   $0xffffff51,0xc(%rsp)
  sete   %dil
  call   <CT_ASSERT@plt>
  mov    %r12,%rdx
  mov    %rbp,%rsi
  xor    %eax,%eax
  lea    D48(%rip),%rdi
  lea    D168(%rip),%rbp
  call   <sscanf@plt>
  xor    %edi,%edi
  cmpl   $0xfe,0xc(%rsp)
  sete   %dil
  call   <CT_ASSERT@plt>
  mov    %r13,%rdx
  lea    D178(%rip),%rsi
  xor    %eax,%eax
  lea    D157(%rip),%rdi
  lea    0x10(%rsp),%r13
  call   <sscanf@plt>
  xor    %edi,%edi
  cmpl   $0x2d,0x8(%rsp)
  sete   %dil
  call   <CT_ASSERT@plt>
  mov    %rbp,%rsi
  mov    %r13,%rdx
  xor    %eax,%eax
  lea    D335(%rip),%rdi
  call   <sscanf@plt>
  movsd  0x10(%rsp),%xmm0
  xor    %edi,%edi
  ucomisd D229(%rip),%xmm0
  movsd  D229(%rip),%xmm1
  setnp  %dil
  xor    %r12d,%r12d
  ucomisd %xmm0,%xmm1
  cmovne %r12d,%edi
  call   <CT_ASSERT@plt>
  mov    %rbp,%rsi
  mov    %r13,%rdx
  xor    %eax,%eax
  lea    D331(%rip),%rdi
  lea    D128(%rip),%rbp
  call   <sscanf@plt>
  movsd  0x10(%rsp),%xmm0
  xor    %edi,%edi
  ucomisd D53(%rip),%xmm0
  movsd  D53(%rip),%xmm0
  setnp  %dil
  ucomisd 0x10(%rsp),%xmm0
  cmovne %r12d,%edi
  call   <CT_ASSERT@plt>
  mov    %r13,%rdx
  lea    D272(%rip),%rsi
  xor    %eax,%eax
  lea    D285(%rip),%rdi
  call   <sscanf@plt>
  movsd  0x10(%rsp),%xmm0
  xor    %edi,%edi
  ucomisd D191(%rip),%xmm0
  movsd  D191(%rip),%xmm0
  setnp  %dil
  ucomisd 0x10(%rsp),%xmm0
  cmovne %r12d,%edi
  call   <CT_ASSERT@plt>
  mov    %r13,%rdx
  lea    D190(%rip),%rsi
  xor    %eax,%eax
  lea    D46(%rip),%rdi
  call   <sscanf@plt>
  movsd  0x10(%rsp),%xmm0
  xor    %edi,%edi
  ucomisd D229(%rip),%xmm0
  movsd  D229(%rip),%xmm2
  setnp  %dil
  ucomisd %xmm0,%xmm2
  cmovne %r12d,%edi
  call   <CT_ASSERT@plt>
  mov    %r13,%rdx
  mov    %rbp,%rsi
  xor    %eax,%eax
  lea    D242(%rip),%rdi
  call   <sscanf@plt>
  movsd  0x10(%rsp),%xmm0
  xor    %edi,%edi
  ucomisd D236(%rip),%xmm0
  movsd  D236(%rip),%xmm0
  setnp  %dil
  ucomisd 0x10(%rsp),%xmm0
  cmovne %r12d,%edi
  call   <CT_ASSERT@plt>
  xor    %eax,%eax
  mov    %r13,%rdx
  mov    %rbp,%rsi
  lea    D179(%rip),%rdi
  call   <sscanf@plt>
  movsd  0x10(%rsp),%xmm0
  xor    %edi,%edi
  ucomisd D124(%rip),%xmm0
  movsd  D124(%rip),%xmm0
  setnp  %dil
  ucomisd 0x10(%rsp),%xmm0
  cmovne %r12d,%edi
  call   <CT_ASSERT@plt>
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L5
  add    $0x28,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L5:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D141
data_type: string
name: extract_symbolic_data
arguments: tag: D209
data_type: string
name: extract_symbolic_data
arguments: tag: D359
data_type: string
name: extract_symbolic_data
arguments: tag: D247
data_type: string
name: extract_symbolic_data
arguments: tag: D5
data_type: string
name: extract_symbolic_data
arguments: tag: D289
data_type: string
name: extract_symbolic_data
arguments: tag: D86
data_type: string
name: extract_symbolic_data
arguments: tag: D58
data_type: string
name: extract_symbolic_data
arguments: tag: D244
data_type: string
name: extract_symbolic_data
arguments: tag: D59
data_type: string
name: extract_symbolic_data
arguments: tag: D267
data_type: string
name: extract_symbolic_data
arguments: tag: D118
data_type: string
name: extract_symbolic_data
arguments: tag: D48
data_type: string
name: extract_symbolic_data
arguments: tag: D168
data_type: string
name: extract_symbolic_data
arguments: tag: D178
data_type: string
name: extract_symbolic_data
arguments: tag: D157
data_type: string
name: extract_symbolic_data
arguments: tag: D335
data_type: string
name: extract_symbolic_data
arguments: tag: D229
data_type: f64
name: extract_symbolic_data
arguments: tag: D331
data_type: string
name: extract_symbolic_data
arguments: tag: D128
data_type: string
name: extract_symbolic_data
arguments: tag: D53
data_type: f64
name: extract_symbolic_data
arguments: tag: D272
data_type: string
name: extract_symbolic_data
arguments: tag: D285
data_type: string
name: extract_symbolic_data
arguments: tag: D191
data_type: f64
name: extract_symbolic_data
arguments: tag: D190
data_type: string
name: extract_symbolic_data
arguments: tag: D46
data_type: string
name: extract_symbolic_data
arguments: tag: D242
data_type: string
name: extract_symbolic_data
arguments: tag: D236
data_type: f64
name: extract_symbolic_data
arguments: tag: D179
data_type: string
name: extract_symbolic_data
arguments: tag: D124
data_type: f64

tool: D141: -10

tool: D209: +11

tool: D359: %d

tool: D247: 10

tool: D5: %o

tool: D289: %x

tool: D86: %X

tool: D58: af

tool: D244: -af

tool: D59: +fe

tool: D267: AF

tool: D118: -AF

tool: D48: +FE

tool: D168: %lf

tool: D178: %%%i

tool: D157: %45

tool: D335: 45.300000

tool: D229: 45.3

tool: D331: 54.30

tool: D128: XXX%le

tool: D53: 54.3

tool: D272: %lg

tool: D285: 5.43

tool: D191: 5.43

tool: D190: %le

tool: D46: 4.530000e+01

tool: D242: XXX  4.53e+02

tool: D236: 453

tool: D179: XXX  3.53e+01

tool: D124: 35.3

assistant: ```c
void scanf_test() {
  long l = 0;
  int i = 0;
  short s = 0;
  char c = 0;
  unsigned long ul = 0;
  unsigned int ui = 0;
  unsigned short us = 0;
  unsigned char uc = 0;
  double d = 0.0;
  sscanf("10", "%d", &i);
  CT_ASSERT(i == 10);
  sscanf("+11", "%d", &i);
  CT_ASSERT(i == 11);
  sscanf("-10", "%d", &i);
  CT_ASSERT(i == -10);
  sscanf("10", "%o", &ui);
  CT_ASSERT(ui == 010);
  sscanf("-10", "%o", &ui);
  CT_ASSERT(ui == -010);
  sscanf("+11", "%o", &ui);
  CT_ASSERT(ui == 011);
  sscanf("af", "%x", &ui);
  CT_ASSERT(ui == 0xaf);
  sscanf("-af", "%X", &ui);
  CT_ASSERT(ui == -0xaf);
  sscanf("+fe", "%x", &ui);
  CT_ASSERT(ui == 0xfe);
  sscanf("AF", "%x", &ui);
  CT_ASSERT(ui == 0xaf);
  sscanf("-AF", "%X", &ui);
  CT_ASSERT(ui == -0xaf);
  sscanf("+FE", "%x", &ui);
  CT_ASSERT(ui == 0xfe);
  sscanf("%45", "%%%i", &i);
  CT_ASSERT(i == 45);
  sscanf("45.300000", "%lf", &d);
  CT_ASSERT(d == 45.3);
  sscanf("54.30", "%lf", &d);
  CT_ASSERT(d == 54.3);
  sscanf("5.43", "%lg", &d);
  CT_ASSERT(d == 5.43);
  sscanf("4.530000e+01", "%le", &d);
  CT_ASSERT(d == 45.3);
  sscanf("XXX  4.53e+02", "XXX%le", &d);
  CT_ASSERT(d == 453.0);
  sscanf("XXX  3.53e+01", "XXX%le", &d);
  CT_ASSERT(d == 35.3);
}
```