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

```asm
<interactive_opt>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  mov    %rdi,-0x18(%rbp)
  mov    %rsi,-0x20(%rbp)
  mov    %rdx,-0x28(%rbp)
  mov    %rcx,-0x30(%rbp)
  mov    %r8,-0x38(%rbp)
  mov    %r9,-0x40(%rbp)
  lea    D34(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  mov    $0x0,%eax
  call   <read_line@plt>
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  lea    D79(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L80
  mov    -0x8(%rbp),%rax
  mov    %rax,%rdi
  call   <atol@plt>
  mov    -0x18(%rbp),%rdx
  mov    %rax,(%rdx)
  jmp    L58
L80:
  mov    -0x18(%rbp),%rax
  movq   $0x1,(%rax)
L58:
  mov    -0x8(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  lea    D67(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  mov    $0x0,%eax
  call   <read_line@plt>
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  lea    D79(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L81
  mov    -0x8(%rbp),%rax
  mov    %rax,%rdi
  call   <atol@plt>
  mov    -0x20(%rbp),%rdx
  mov    %rax,(%rdx)
  jmp    L88
L81:
  mov    -0x20(%rbp),%rax
  mov    -0x28(%rbp),%rdx
  mov    %rdx,(%rax)
  mov    -0x30(%rbp),%rax
  movb   $0x1,(%rax)
L88:
  mov    -0x8(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  lea    D0(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  mov    $0x0,%eax
  call   <read_line@plt>
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  lea    D79(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L12
  mov    -0x8(%rbp),%rax
  mov    %rax,%rdi
  call   <atof@plt>
  movq   %xmm0,%rax
  mov    -0x38(%rbp),%rdx
  mov    %rax,(%rdx)
  jmp    L28
L12:
  mov    -0x38(%rbp),%rax
  movsd  D107(%rip),%xmm0
  movsd  %xmm0,(%rax)
L28:
  mov    -0x8(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  lea    D83(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  mov    $0x0,%eax
  call   <read_line@plt>
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  lea    D79(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L53
  mov    -0x8(%rbp),%rax
  mov    %rax,%rdi
  call   <atof@plt>
  movq   %xmm0,%rax
  mov    -0x40(%rbp),%rdx
  mov    %rax,(%rdx)
  jmp    L89
L53:
  movq   $0x0,-0x40(%rbp)
L89:
  mov    -0x8(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  lea    D77(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  mov    $0x0,%eax
  call   <read_line@plt>
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  lea    D79(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L49
  mov    -0x8(%rbp),%rax
  mov    %rax,%rdi
  call   <atof@plt>
  movq   %xmm0,%rax
  mov    0x10(%rbp),%rdx
  mov    %rax,(%rdx)
  jmp    L13
L49:
  mov    0x10(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
L13:
  mov    -0x8(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  nop
  leave
  ret
```

tool_calls: name: read_data
arguments: data_label: D34
type_infered: string
name: read_data
arguments: data_label: D79
type_infered: string
name: read_data
arguments: data_label: D67
type_infered: string
name: read_data
arguments: data_label: D0
type_infered: string
name: read_data
arguments: data_label: D107
type_infered: byte[8]
name: read_data
arguments: data_label: D83
type_infered: string
name: read_data
arguments: data_label: D77
type_infered: string

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

tool: D79: 


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

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

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

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

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