user: Translate the below assembly code into C programming language:

```asm
<main_double>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x18,%rsp
  mov    %edi,%ebp
  mov    %rsi,%r12
  lea    D69(%rip),%rdi
  call   <puts@plt>
  cmp    $0x1,%ebp
  jle    L15
  lea    0x8(%r12),%rbx
  lea    -0x2(%rbp),%eax
  lea    0x10(%r12,%rax,8),%r15
  pxor   %xmm3,%xmm3
  movsd  %xmm3,(%rsp)
  lea    D10(%rip),%r14
  lea    D34(%rip),%r13
  lea    D4(%rip),%r12
  lea    D11(%rip),%rbp
L11:
  mov    (%rbx),%rsi
  mov    %r14,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  movsd  (%rsp),%xmm2
  movsd  %xmm2,0x8(%rsp)
  mov    $0x0,%esi
  mov    (%rbx),%rdi
  call   <strtod@plt>
  movsd  %xmm0,(%rsp)
  cvttsd2si %xmm0,%esi
  mov    %r13,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  movsd  (%rsp),%xmm0
  mov    %r12,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  movsd  0x8(%rsp),%xmm0
  mov    %rbp,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  movsd  (%rsp),%xmm1
  addsd  0x8(%rsp),%xmm1
  movapd %xmm1,%xmm0
  lea    D21(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  movsd  0x8(%rsp),%xmm2
  subsd  (%rsp),%xmm2
  movapd %xmm2,%xmm0
  lea    D59(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  movsd  (%rsp),%xmm0
  mulsd  0x8(%rsp),%xmm0
  lea    D85(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  movsd  0x8(%rsp),%xmm2
  divsd  (%rsp),%xmm2
  movapd %xmm2,%xmm0
  lea    D5(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    $0xa,%edi
  call   <putchar@plt>
  add    $0x8,%rbx
  cmp    %r15,%rbx
  jne    L11
L15:
  mov    $0x0,%eax
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: read_data
arguments: label: D69
data_type: string
name: read_data
arguments: label: D10
data_type: string
name: read_data
arguments: label: D34
data_type: string
name: read_data
arguments: label: D4
data_type: string
name: read_data
arguments: label: D11
data_type: string
name: read_data
arguments: label: D21
data_type: string
name: read_data
arguments: label: D59
data_type: string
name: read_data
arguments: label: D85
data_type: string
name: read_data
arguments: label: D5
data_type: string

tool: D69: double

tool: D10: val str: %s


tool: D34: val int: %d


tool: D4: val flt: %.9f


tool: D11: last: %.9f


tool: D21: +: %.9f


tool: D59: -: %.9f


tool: D85: *: %.9f


tool: D5: /: %.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;
}
```