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

```asm
<dobldobl_test>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  mov    %edi,-0x34(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  lea    D2(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  cmpl   $0x1,-0x34(%rbp)
  jne    L15
  lea    -0x18(%rbp),%rdx
  lea    -0x1c(%rbp),%rcx
  lea    -0x20(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <read_dobldobl_Laurent_witness_set@plt>
  mov    %eax,-0xc(%rbp)
  jmp    L47
L15:
  lea    -0x18(%rbp),%rdx
  lea    -0x1c(%rbp),%rcx
  lea    -0x20(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <read_dobldobl_witness_set@plt>
  mov    %eax,-0xc(%rbp)
L47:
  lea    D102(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D10(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D52(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D90(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    D109(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x10(%rbp),%rax
  mov    %rax,%rsi
  lea    D19(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  lea    -0x21(%rbp),%rax
  mov    %rax,%rsi
  lea    D163(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  mov    -0x10(%rbp),%eax
  test   %eax,%eax
  jne    L85
  mov    $0x0,%eax
  call   <set_dobldobl_state_to_silent@plt>
  mov    %eax,-0xc(%rbp)
L85:
  mov    -0x10(%rbp),%eax
  cmp    $0x2,%eax
  jne    L61
  mov    $0x0,%eax
  call   <define_output_file@plt>
  mov    %eax,-0xc(%rbp)
L61:
  mov    -0x20(%rbp),%eax
  mov    %eax,%esi
  lea    D127(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    -0x1c(%rbp),%eax
  mov    %eax,%esi
  lea    D123(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    -0x18(%rbp),%eax
  mov    %eax,%esi
  lea    D147(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    D36(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x21(%rbp),%rax
  mov    %rax,%rsi
  lea    D163(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  movzbl -0x21(%rbp),%eax
  cmp    $0x79,%al
  jne    L32
  lea    D42(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  cmpl   $0x1,-0x34(%rbp)
  jne    L16
  mov    $0x0,%eax
  call   <syscon_write_dobldobl_Laurent_system@plt>
  mov    %eax,-0xc(%rbp)
  jmp    L32
L16:
  mov    $0x0,%eax
  call   <syscon_write_dobldobl_system@plt>
  mov    %eax,-0xc(%rbp)
L32:
  mov    -0x18(%rbp),%edx
  mov    -0x20(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <dobldobl_assign_labels@plt>
  mov    %eax,-0xc(%rbp)
  lea    D143(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x14(%rbp),%rax
  mov    %rax,%rsi
  lea    D19(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  mov    -0x18(%rbp),%edi
  mov    -0x1c(%rbp),%ecx
  mov    -0x20(%rbp),%edx
  mov    -0x14(%rbp),%esi
  mov    -0x34(%rbp),%eax
  mov    %edi,%r8d
  mov    %eax,%edi
  call   <dobldobl_monodromy_breakup@plt>
  mov    %eax,-0xc(%rbp)
  mov    -0x10(%rbp),%eax
  cmp    $0x2,%eax
  jne    L1
  lea    D74(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
L1:
  mov    $0x0,%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L86
  call   <__stack_chk_fail@plt>
L86:
  leave
  ret
```

tool_calls: name: disassemble_data
arguments: data_label: D2
datatype: string
name: disassemble_data
arguments: data_label: D102
datatype: string
name: disassemble_data
arguments: data_label: D10
datatype: string
name: disassemble_data
arguments: data_label: D52
datatype: string
name: disassemble_data
arguments: data_label: D90
datatype: string
name: disassemble_data
arguments: data_label: D109
datatype: string
name: disassemble_data
arguments: data_label: D19
datatype: string
name: disassemble_data
arguments: data_label: D163
datatype: string
name: disassemble_data
arguments: data_label: D127
datatype: string
name: disassemble_data
arguments: data_label: D123
datatype: string
name: disassemble_data
arguments: data_label: D147
datatype: string
name: disassemble_data
arguments: data_label: D36
datatype: string
name: disassemble_data
arguments: data_label: D42
datatype: string
name: disassemble_data
arguments: data_label: D143
datatype: string
name: disassemble_data
arguments: data_label: D74
datatype: string

tool: D2: 
Reading a witness set ...

tool: D102: 
MENU for the kind of output :

tool: D10:   0. remain silent with no intermediate output;

tool: D52:   1. all intermediate output goes to screen;

tool: D90:   2. give a file name for all intermediate output.

tool: D109: Type 0, 1, or 2 to make a choice : 

tool: D19: %d

tool: D163: %c

tool: D127: 
The ambient dimension : %d.


tool: D123: The dimension of the solution set : %d.


tool: D147: The degree of the solution set : %d.


tool: D36: 
Do you wish to see the embedded system ? (y/n) 

tool: D42: 
The system read :

tool: D143: 
Give the maximum number of loops : 

tool: D74: See the output file for results.

assistant: ```c
int dobldobl_test(int islaurent) {
  int fail, n, dim, deg, nbloops, kind;
  char ans;
  printf("\nReading a witness set ...\n");
  if (islaurent == 1)
    fail = read_dobldobl_Laurent_witness_set(&n, &dim, &deg);
  else
    fail = read_dobldobl_witness_set(&n, &dim, &deg);
  printf("\nMENU for the kind of output :\n");
  printf("  0. remain silent with no intermediate output;\n");
  printf("  1. all intermediate output goes to screen;\n");
  printf("  2. give a file name for all intermediate output.\n");
  printf("Type 0, 1, or 2 to make a choice : ");
  scanf("%d", &kind);
  scanf("%c", &ans);
  if (kind == 0)
    fail = set_dobldobl_state_to_silent();
  if (kind == 2)
    fail = define_output_file();
  if (1 > 0) {
    printf("\nThe ambient dimension : %d.\n", n);
    printf("The dimension of the solution set : %d.\n", dim);
    printf("The degree of the solution set : %d.\n", deg);
    printf("\nDo you wish to see the embedded system ? (y/n) ");
    scanf("%c", &ans);
    if (ans == 'y') {
      printf("\nThe system read :\n");
      if (islaurent == 1)
        fail = syscon_write_dobldobl_Laurent_system();
      else
        fail = syscon_write_dobldobl_system();
    }
  }
  fail = dobldobl_assign_labels(n, deg);
  printf("\nGive the maximum number of loops : ");
  scanf("%d", &nbloops);
  fail = dobldobl_monodromy_breakup(islaurent, nbloops, n, dim, deg);
  if (kind == 2)
    printf("See the output file for results.\n");
  return 0;
}
```