user: What would the C source look like for the assembly code provided here:

```asm
<quaddobl_interactive_input_output>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbx
  sub    $0x768,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x38(%rbp)
  xor    %eax,%eax
  lea    D92(%rip),%rdi
  call   <printf@plt>
  lea    -0x780(%rbp),%rsi
  lea    D26(%rip),%rdi
  call   <scanf@plt>
  mov    -0x780(%rbp),%edi
  call   <syscon_initialize_number_of_quaddobl_polynomials@plt>
  mov    -0x780(%rbp),%esi
  lea    D82(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    D57(%rip),%rdi
  call   <puts@plt>
  movl   $0x1,-0x77c(%rbp)
  cmpl   $0x0,-0x780(%rbp)
  jle    L24
  mov    $0x1,%esi
  lea    D109(%rip),%r12
L3:
  mov    %r12,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0x0,%eax
  call   <getchar@plt>
  lea    -0x760(%rbp),%rbx
  lea    -0x778(%rbp),%rdi
  mov    %rbx,%rsi
  call   <read_poly@plt>
  mov    %rbx,%rcx
  mov    -0x77c(%rbp),%edx
  mov    -0x780(%rbp),%esi
  mov    -0x778(%rbp),%edi
  call   <syscon_store_quaddobl_polynomial@plt>
  mov    -0x77c(%rbp),%eax
  lea    0x1(%rax),%esi
  mov    %esi,-0x77c(%rbp)
  cmp    -0x780(%rbp),%esi
  jle    L3
L24:
  lea    D84(%rip),%rdi
  call   <puts@plt>
  mov    $0x0,%eax
  call   <syscon_write_quaddobl_system@plt>
  lea    D118(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x768(%rbp),%rsi
  lea    D26(%rip),%rbx
  mov    %rbx,%rdi
  call   <scanf@plt>
  lea    D53(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x764(%rbp),%rsi
  mov    %rbx,%rdi
  call   <scanf@plt>
  lea    -0x440(%rbp),%rcx
  lea    -0x770(%rbp),%rdx
  lea    -0x774(%rbp),%rdi
  mov    -0x764(%rbp),%r9d
  mov    -0x768(%rbp),%r8d
  mov    $0x0,%esi
  call   <solve_quaddobl_system@plt>
  mov    %eax,-0x784(%rbp)
  mov    -0x774(%rbp),%esi
  lea    D123(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    D1(%rip),%rdi
  call   <puts@plt>
  lea    D69(%rip),%r14
  lea    -0x77c(%rbp),%r13
  mov    %rbx,%r12
  lea    D86(%rip),%r15
  jmp    L68
L76:
  mov    %rcx,%rax
  and    $0xfff,%eax
  sub    %rax,%rsp
  test   %rax,%rax
  je     L86
  orq    $0x0,-0x8(%rsp,%rax,1)
L86:
  mov    %rsp,%rdx
  mov    -0x77c(%rbp),%edi
  call   <solcon_write_quaddobl_solution_string@plt>
  mov    %eax,-0x784(%rbp)
  mov    %rsp,%rdx
  mov    -0x77c(%rbp),%esi
  mov    %r15,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    %rbx,%rsp
  cmpl   $0x0,-0x77c(%rbp)
  js     L28
L68:
  mov    %r14,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    %r13,%rsi
  mov    %r12,%rdi
  call   <scanf@plt>
  mov    -0x77c(%rbp),%edi
  test   %edi,%edi
  js     L28
  lea    -0x76c(%rbp),%rsi
  call   <solcon_length_quaddobl_solution_string@plt>
  mov    %rsp,%rbx
  mov    -0x76c(%rbp),%esi
  movslq %esi,%rax
  add    $0xf,%rax
  mov    %rax,%rcx
  and    $0xfffffffffffffff0,%rcx
  and    $0xfffffffffffff000,%rax
  mov    %rsp,%rdx
  sub    %rax,%rdx
L62:
  cmp    %rdx,%rsp
  je     L76
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L62
L28:
  mov    -0x38(%rbp),%rax
  sub    %fs:0x28,%rax
  jne    L81
  mov    -0x784(%rbp),%eax
  lea    -0x28(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
L81:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D92
type: string
name: extract_symbolic_data
arguments: tag: D26
type: string
name: extract_symbolic_data
arguments: tag: D82
type: string
name: extract_symbolic_data
arguments: tag: D57
type: string
name: extract_symbolic_data
arguments: tag: D109
type: string
name: extract_symbolic_data
arguments: tag: D84
type: string
name: extract_symbolic_data
arguments: tag: D118
type: string
name: extract_symbolic_data
arguments: tag: D53
type: string
name: extract_symbolic_data
arguments: tag: D123
type: string
name: extract_symbolic_data
arguments: tag: D1
type: string
name: extract_symbolic_data
arguments: tag: D69
type: string
name: extract_symbolic_data
arguments: tag: D86
type: string

tool: D92: 
Give the number of polynomials in the system : 

tool: D26: %d

tool: D82: 
Reading %d polynomials, 

tool: D57: terminate each with ; (semicolon)...

tool: D109: -> polynomial %d : 

tool: D84: The system in the container : 

tool: D118: 
Give the number of tasks : 

tool: D53: 
Give the verbose level : 

tool: D123: 
The root count : %d


tool: D1: interactive selection of solutions... 

tool: D69: 
Give an index to a solution (-1 to exit) : 

tool: D86: 
Solution %d : 
%s

assistant: ```c
int quaddobl_interactive_input_output(void) {
  int n, fail, k, nc, i, rc, nrc, len, nbtasks, vrb;
  char rocos[1024];
  char ch, p[800];
  printf("\nGive the number of polynomials in the system : ");
  scanf("%d", &n);
  fail = syscon_initialize_number_of_quaddobl_polynomials(n);
  printf("\nReading %d polynomials, ", n);
  printf("terminate each with ; (semicolon)...\n");
  for (k = 1; k <= n; k++) {
    printf("-> polynomial %d : ", k);
    ch = getchar();
    read_poly(&nc, p);
    fail = syscon_store_quaddobl_polynomial(nc, n, k, p);
  }
  printf("The system in the container : \n");
  syscon_write_quaddobl_system();
  printf("\nGive the number of tasks : ");
  scanf("%d", &nbtasks);
  printf("\nGive the verbose level : ");
  scanf("%d", &vrb);
  fail = solve_quaddobl_system(&rc, 0, &nrc, rocos, nbtasks, vrb);
  printf("\nThe root count : %d\n", rc);
  printf("interactive selection of solutions... \n");
  do {
    printf("\nGive an index to a solution (-1 to exit) : ");
    scanf("%d", &k);
    if (k < 0)
      break;
    fail = solcon_length_quaddobl_solution_string(k, &len);
    {
      char s[len];
      fail = solcon_write_quaddobl_solution_string(k, len, s);
      printf("\nSolution %d : \n%s", k, s);
    }
  } while (k >= 0);
  return fail;
}
```