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

```asm
<main_double>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  mov    %rsi,%rbp
  push   %rbx
  mov    %edi,%ebx
  lea    D76(%rip),%rdi
  sub    $0x28,%rsp
  call   <puts@plt>
  cmp    $0x1,%ebx
  jle    L0
  lea    -0x2(%rbx),%eax
  pxor   %xmm3,%xmm3
  lea    0x8(%rbp),%r12
  lea    0x10(%rbp,%rax,8),%rax
  movsd  %xmm3,0x8(%rsp)
  lea    D52(%rip),%r15
  mov    %rax,0x18(%rsp)
  lea    D67(%rip),%r14
  lea    D16(%rip),%r13
  lea    D72(%rip),%rbp
  lea    D40(%rip),%rbx
  nopw   0x0(%rax,%rax,1)
L9:
  mov    (%r12),%rsi
  mov    %r15,%rdi
  xor    %eax,%eax
  add    $0x8,%r12
  call   <printf@plt>
  movsd  0x8(%rsp),%xmm2
  mov    -0x8(%r12),%rdi
  xor    %esi,%esi
  movsd  %xmm2,0x10(%rsp)
  call   <strtod@plt>
  mov    %r14,%rdi
  xor    %eax,%eax
  cvttsd2si %xmm0,%esi
  movsd  %xmm0,0x8(%rsp)
  call   <printf@plt>
  movsd  0x8(%rsp),%xmm0
  mov    %r13,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  movsd  0x10(%rsp),%xmm0
  mov    $0x1,%eax
  lea    D53(%rip),%rdi
  call   <printf@plt>
  movsd  0x8(%rsp),%xmm1
  addsd  0x10(%rsp),%xmm1
  mov    %rbp,%rdi
  mov    $0x1,%eax
  movapd %xmm1,%xmm0
  call   <printf@plt>
  movsd  0x10(%rsp),%xmm2
  subsd  0x8(%rsp),%xmm2
  mov    %rbx,%rdi
  mov    $0x1,%eax
  movapd %xmm2,%xmm0
  call   <printf@plt>
  movsd  0x8(%rsp),%xmm0
  mulsd  0x10(%rsp),%xmm0
  lea    D50(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  movsd  0x10(%rsp),%xmm2
  mov    $0x1,%eax
  divsd  0x8(%rsp),%xmm2
  lea    D43(%rip),%rdi
  movapd %xmm2,%xmm0
  call   <printf@plt>
  mov    $0xa,%edi
  call   <putchar@plt>
  cmp    0x18(%rsp),%r12
  jne    L9
L0:
  add    $0x28,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: retrieve_data
arguments: data_label: D76
type_infered: string
name: retrieve_data
arguments: data_label: D52
type_infered: string
name: retrieve_data
arguments: data_label: D67
type_infered: string
name: retrieve_data
arguments: data_label: D16
type_infered: string
name: retrieve_data
arguments: data_label: D72
type_infered: string
name: retrieve_data
arguments: data_label: D40
type_infered: string
name: retrieve_data
arguments: data_label: D53
type_infered: string
name: retrieve_data
arguments: data_label: D50
type_infered: string
name: retrieve_data
arguments: data_label: D43
type_infered: string

tool: D76: double

tool: D52: val str: %s


tool: D67: val int: %d


tool: D16: val flt: %.9f


tool: D72: +: %.9f


tool: D40: -: %.9f


tool: D53: last: %.9f


tool: D50: *: %.9f


tool: D43: /: %.9f


assistant: ```c
int main_double(int argc, char *argv[]) {
  int i;
  double last = 0.0;
  double x;
  printf("double\n");
  for (i = 1; i < argc; ++i) {
    printf("val str: %s\n", argv[i]);
    x = strtod(argv[i], 0);
    printf("val int"
           ": %d\n",
           (int)(x));
    printf("val flt"
           ": %."
           "9"
           "f\n",
           (double)(x));
    printf("last"
           ": %."
           "9"
           "f\n",
           (double)(last));
    printf("+"
           ": %."
           "9"
           "f\n",
           (double)(last + x));
    printf("-"
           ": %."
           "9"
           "f\n",
           (double)(last - x));
    printf("*"
           ": %."
           "9"
           "f\n",
           (double)(last * x));
    printf("/"
           ": %."
           "9"
           "f\n",
           (double)(last / x));
    printf("\n");
    last = x;
  }
  return 0;
}
```