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    D31(%rip),%rdi
  push   %r12
  mov    %rsi,%r12
  push   %rbp
  lea    D39(%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    L84
L79:
  mov    %rax,0x0(%r13)
  mov    %r14,%rdi
  call   <free@plt>
  lea    D25(%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    L99
  mov    0x8(%rsp),%rax
  mov    %rax,(%r12)
  mov    0x10(%rsp),%rax
  movb   $0x1,(%rax)
L17:
  mov    %r13,%rdi
  call   <free@plt>
  lea    D1(%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  D4(%rip),%xmm0
  test   %rax,%rax
  jne    L97
L83:
  movsd  %xmm0,(%rbx)
  mov    %r12,%rdi
  call   <free@plt>
  lea    D46(%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    L47
L24:
  mov    %r12,%rdi
  call   <free@plt>
  lea    D57(%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    L44
L63:
  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)
L84:
  mov    %r14,%rdi
  call   <atol@plt>
  jmp    L79
  nopl   (%rax)
L44:
  mov    %r12,%rdi
  call   <atof@plt>
  jmp    L63
  nopw   0x0(%rax,%rax,1)
L47:
  mov    %r12,%rdi
  call   <atof@plt>
  mov    0x18(%rsp),%rax
  movsd  %xmm0,(%rax)
  jmp    L24
  cs nopw 0x0(%rax,%rax,1)
L97:
  mov    %r12,%rdi
  call   <atof@plt>
  jmp    L83
  nopl   (%rax)
L99:
  mov    %r13,%rdi
  call   <atol@plt>
  mov    %rax,(%r12)
  jmp    L17
```

tool_calls: name: disassemble_data
arguments: data_label: D31
data_type: string
name: disassemble_data
arguments: data_label: D39
data_type: string
name: disassemble_data
arguments: data_label: D25
data_type: string
name: disassemble_data
arguments: data_label: D1
data_type: string
name: disassemble_data
arguments: data_label: D4
data_type: byte[8]
name: disassemble_data
arguments: data_label: D46
data_type: string
name: disassemble_data
arguments: data_label: D57
data_type: string

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

tool: D39: 


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

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

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

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

tool: D57: 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;
}
```