user: Converte this assembly snippet into its equivalent C code:

```asm
<dobldobl_interactive_Laurent_input_output>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbx
  sub    $0x778,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x38(%rbp)
  xor    %eax,%eax
  lea    D72(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x794(%rbp),%rax
  mov    %rax,%rsi
  lea    D52(%rip),%rax
  mov    %rax,%rdi
  call   <scanf@plt>
  mov    -0x794(%rbp),%eax
  mov    %eax,%edi
  call   <syscon_initialize_number_of_dobldobl_Laurentials@plt>
  mov    %eax,-0x774(%rbp)
  mov    -0x794(%rbp),%eax
  mov    %eax,%esi
  lea    D81(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    D50(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  movl   $0x1,-0x790(%rbp)
  jmp    L9
L42:
  mov    -0x790(%rbp),%eax
  mov    %eax,%esi
  lea    D143(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0x0,%eax
  call   <getchar@plt>
  mov    %al,-0x795(%rbp)
  lea    -0x760(%rbp),%rdx
  lea    -0x78c(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <read_poly@plt>
  mov    -0x790(%rbp),%edx
  mov    -0x794(%rbp),%esi
  mov    -0x78c(%rbp),%eax
  lea    -0x760(%rbp),%rcx
  mov    %eax,%edi
  call   <syscon_store_dobldobl_Laurential@plt>
  mov    %eax,-0x774(%rbp)
  mov    -0x790(%rbp),%eax
  add    $0x1,%eax
  mov    %eax,-0x790(%rbp)
L9:
  mov    -0x790(%rbp),%edx
  mov    -0x794(%rbp),%eax
  cmp    %eax,%edx
  jle    L42
  lea    D148(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  mov    $0x0,%eax
  call   <syscon_write_dobldobl_Laurent_system@plt>
  lea    D119(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x77c(%rbp),%rax
  mov    %rax,%rsi
  lea    D52(%rip),%rax
  mov    %rax,%rdi
  call   <scanf@plt>
  lea    D41(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x778(%rbp),%rax
  mov    %rax,%rsi
  lea    D52(%rip),%rax
  mov    %rax,%rdi
  call   <scanf@plt>
  mov    -0x778(%rbp),%edi
  mov    -0x77c(%rbp),%esi
  lea    -0x440(%rbp),%rcx
  lea    -0x784(%rbp),%rdx
  lea    -0x788(%rbp),%rax
  mov    %edi,%r9d
  mov    %esi,%r8d
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <solve_dobldobl_Laurent_system@plt>
  mov    %eax,-0x774(%rbp)
  mov    -0x788(%rbp),%eax
  mov    %eax,%esi
  lea    D145(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    D142(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
L46:
  lea    D66(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x790(%rbp),%rax
  mov    %rax,%rsi
  lea    D52(%rip),%rax
  mov    %rax,%rdi
  call   <scanf@plt>
  mov    -0x790(%rbp),%eax
  test   %eax,%eax
  js     L60
  mov    -0x790(%rbp),%eax
  lea    -0x780(%rbp),%rdx
  mov    %rdx,%rsi
  mov    %eax,%edi
  call   <solcon_length_dobldobl_solution_string@plt>
  mov    %eax,-0x774(%rbp)
  mov    %rsp,%rax
  mov    %rax,%rbx
  mov    -0x780(%rbp),%eax
  movslq %eax,%rdx
  sub    $0x1,%rdx
  mov    %rdx,-0x770(%rbp)
  movslq %eax,%rdx
  mov    %rdx,%r12
  mov    $0x0,%r13d
  movslq %eax,%rdx
  mov    %rdx,%r14
  mov    $0x0,%r15d
  cltq
  mov    $0x10,%edx
  sub    $0x1,%rdx
  add    %rdx,%rax
  mov    $0x10,%ecx
  mov    $0x0,%edx
  div    %rcx
  imul   $0x10,%rax,%rax
  mov    %rax,%rcx
  and    $0xfffffffffffff000,%rcx
  mov    %rsp,%rdx
  sub    %rcx,%rdx
L62:
  cmp    %rdx,%rsp
  je     L13
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L62
L13:
  mov    %rax,%rdx
  and    $0xfff,%edx
  sub    %rdx,%rsp
  mov    %rax,%rdx
  and    $0xfff,%edx
  test   %rdx,%rdx
  je     L29
  and    $0xfff,%eax
  sub    $0x8,%rax
  add    %rsp,%rax
  orq    $0x0,(%rax)
L29:
  mov    %rsp,%rax
  add    $0x0,%rax
  mov    %rax,-0x768(%rbp)
  mov    -0x780(%rbp),%ecx
  mov    -0x790(%rbp),%eax
  mov    -0x768(%rbp),%rdx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <solcon_write_dobldobl_solution_string@plt>
  mov    %eax,-0x774(%rbp)
  mov    -0x790(%rbp),%eax
  mov    -0x768(%rbp),%rdx
  mov    %eax,%esi
  lea    D141(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    %rbx,%rsp
  mov    -0x790(%rbp),%eax
  test   %eax,%eax
  jns    L46
  jmp    L76
L60:
  nop
L76:
  mov    -0x774(%rbp),%eax
  mov    -0x38(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L86
  call   <__stack_chk_fail@plt>
L86:
  lea    -0x28(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
```

tool_calls: name: unpack_data
arguments: data_tag: D72
type_guessed: string
name: unpack_data
arguments: data_tag: D52
type_guessed: string
name: unpack_data
arguments: data_tag: D81
type_guessed: string
name: unpack_data
arguments: data_tag: D50
type_guessed: string
name: unpack_data
arguments: data_tag: D143
type_guessed: string
name: unpack_data
arguments: data_tag: D148
type_guessed: string
name: unpack_data
arguments: data_tag: D119
type_guessed: string
name: unpack_data
arguments: data_tag: D41
type_guessed: string
name: unpack_data
arguments: data_tag: D145
type_guessed: string
name: unpack_data
arguments: data_tag: D142
type_guessed: string
name: unpack_data
arguments: data_tag: D66
type_guessed: string
name: unpack_data
arguments: data_tag: D141
type_guessed: string

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

tool: D52: %d

tool: D81: 
Reading %d polynomials, 

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

tool: D143: -> polynomial %d : 

tool: D148: The system in the container : 

tool: D119: 
Give the number of tasks : 

tool: D41: 
Give the verbose level : 

tool: D145: 
The root count : %d


tool: D142: interactive selection of solutions... 

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

tool: D141: 
Solution %d : 
%s

assistant: ```c
int dobldobl_interactive_Laurent_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_dobldobl_Laurentials(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_dobldobl_Laurential(nc, n, k, p);
  }
  printf("The system in the container : \n");
  syscon_write_dobldobl_Laurent_system();
  printf("\nGive the number of tasks : ");
  scanf("%d", &nbtasks);
  printf("\nGive the verbose level : ");
  scanf("%d", &vrb);
  fail = solve_dobldobl_Laurent_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_dobldobl_solution_string(k, &len);
    {
      char s[len];
      fail = solcon_write_dobldobl_solution_string(k, len, s);
      printf("\nSolution %d : \n%s", k, s);
    }
  } while (k >= 0);
  return fail;
}
```