user: Please show me the C implementation that matches the assembly code listed below:

```asm
<interactive_opt>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  mov    %rdi,%r13
  lea    D43(%rip),%rdi
  push   %r12
  mov    %rsi,%r12
  push   %rbp
  lea    D20(%rip),%rbp
  push   %rbx
  mov    %r8,%rbx
  sub    $0x28,%rsp
  mov    %rdx,0x8(%rsp)
  mov    0x60(%rsp),%r15
  mov    %rcx,0x10(%rsp)
  mov    %r9,0x18(%rsp)
  call   <printf@plt>
  xor    %eax,%eax
  call   <read_line@plt>
  mov    %rbp,%rsi
  mov    %rax,%rdi
  mov    %rax,%r14
  call   <strcmp@plt>
  mov    %rax,%r8
  mov    $0x1,%eax
  test   %r8,%r8
  jne    L6
L69:
  mov    %rax,0x0(%r13)
  mov    %r14,%rdi
  call   <free@plt>
  lea    D68(%rip),%rdi
  call   <printf@plt>
  xor    %eax,%eax
  call   <read_line@plt>
  mov    %rbp,%rsi
  mov    %rax,%rdi
  mov    %rax,%r13
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L77
  mov    0x8(%rsp),%rax
  mov    %rax,(%r12)
  mov    0x10(%rsp),%rax
  movb   $0x1,(%rax)
L47:
  mov    %r13,%rdi
  call   <free@plt>
  lea    D8(%rip),%rdi
  call   <printf@plt>
  xor    %eax,%eax
  call   <read_line@plt>
  mov    %rbp,%rsi
  mov    %rax,%rdi
  mov    %rax,%r12
  call   <strcmp@plt>
  movsd  D22(%rip),%xmm0
  test   %rax,%rax
  jne    L2
L37:
  movsd  %xmm0,(%rbx)
  mov    %r12,%rdi
  call   <free@plt>
  lea    D10(%rip),%rdi
  call   <printf@plt>
  xor    %eax,%eax
  call   <read_line@plt>
  mov    %rbp,%rsi
  mov    %rax,%rdi
  mov    %rax,%r12
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L79
L70:
  mov    %r12,%rdi
  call   <free@plt>
  lea    D16(%rip),%rdi
  call   <printf@plt>
  xor    %eax,%eax
  call   <read_line@plt>
  mov    %rbp,%rsi
  mov    %rax,%rdi
  mov    %rax,%r12
  call   <strcmp@plt>
  pxor   %xmm0,%xmm0
  test   %rax,%rax
  jne    L94
L21:
  movsd  %xmm0,(%r15)
  add    $0x28,%rsp
  mov    %r12,%rdi
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    10a0 <free@plt>
  nopl   0x0(%rax,%rax,1)
L6:
  mov    %r14,%rdi
  call   <atol@plt>
  jmp    L69
  nopl   (%rax)
L94:
  mov    %r12,%rdi
  call   <atof@plt>
  jmp    L21
  nopw   0x0(%rax,%rax,1)
L79:
  mov    %r12,%rdi
  call   <atof@plt>
  mov    0x18(%rsp),%rax
  movsd  %xmm0,(%rax)
  jmp    L70
  cs nopw 0x0(%rax,%rax,1)
L2:
  mov    %r12,%rdi
  call   <atof@plt>
  jmp    L37
  nopl   (%rax)
L77:
  mov    %r13,%rdi
  call   <atol@plt>
  mov    %rax,(%r12)
  jmp    L47
```

tool_calls: name: unpack_data
arguments: data_tag: D43
data_type: string
name: unpack_data
arguments: data_tag: D20
data_type: string
name: unpack_data
arguments: data_tag: D68
data_type: string
name: unpack_data
arguments: data_tag: D8
data_type: string
name: unpack_data
arguments: data_tag: D22
data_type: byte[8]
name: unpack_data
arguments: data_tag: D10
data_type: string
name: unpack_data
arguments: data_tag: D16
data_type: string

tool: D43: Insert the min number of condition [1]: 

tool: D20: 


tool: D68: Insert the max number of condition [auto]: 

tool: D8: Insert the min covering in percentage [5]: 

tool: {"D22": [0x00,0x00,0x00,0x00,0x00,0x00,0x14,0x40]}

tool: D10: Insert the max error in percentage: [0]: 

tool: D16: Insert the percentage to use for validation: [0]: 

assistant: ```c
void interactive_opt(size_t *nextractmin, size_t *ncondmax, size_t ncol, char *autodim, double *mincov, double *maxerrperc, double *validperc) {
  char *strtmp;
  printf("Insert the min number of condition ["
         "1"
         "]: ");
  strtmp = read_line();
  if (strcmp(strtmp, "\n"))
    *nextractmin = atol(strtmp);
  else
    *nextractmin = 1;
  free(strtmp);
  printf("Insert the max number of condition [auto]: ");
  strtmp = read_line();
  if (strcmp(strtmp, "\n")) {
    *ncondmax = atol(strtmp);
  } else {
    *ncondmax = ncol;
    *autodim = 1;
  }
  free(strtmp);
  printf("Insert the min covering in percentage ["
         "5"
         "]: ");
  strtmp = read_line();
  if (strcmp(strtmp, "\n"))
    *mincov = atof(strtmp);
  else
    *mincov = 5;
  free(strtmp);
  printf("Insert the max error in percentage: ["
         "0"
         "]: ");
  strtmp = read_line();
  if (strcmp(strtmp, "\n"))
    *maxerrperc = atof(strtmp);
  else
    maxerrperc = 0;
  free(strtmp);
  printf("Insert the percentage to use for validation: ["
         "0"
         "]: ");
  strtmp = read_line();
  if (strcmp(strtmp, "\n"))
    *validperc = atof(strtmp);
  else
    *validperc = 0;
  free(strtmp);
  return;
}
```