user: What is the c source code of the assembly code below:

```asm
<dobldobl_test>:
  endbr64
  push   %rbx
  sub    $0x20,%rsp
  mov    %edi,%ebx
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  xor    %eax,%eax
  lea    D12(%rip),%rdi
  call   <puts@plt>
  cmp    $0x1,%ebx
  je     L85
  lea    0xc(%rsp),%rdx
  lea    0x8(%rsp),%rsi
  lea    0x4(%rsp),%rdi
  call   <read_dobldobl_witness_set@plt>
L1:
  lea    D32(%rip),%rdi
  call   <puts@plt>
  lea    D53(%rip),%rdi
  call   <puts@plt>
  lea    D126(%rip),%rdi
  call   <puts@plt>
  lea    D167(%rip),%rdi
  call   <puts@plt>
  lea    D116(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    0x14(%rsp),%rsi
  lea    D91(%rip),%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  lea    0x3(%rsp),%rsi
  lea    D72(%rip),%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  cmpl   $0x0,0x14(%rsp)
  je     L128
L33:
  cmpl   $0x2,0x14(%rsp)
  je     L57
L121:
  mov    0x4(%rsp),%esi
  lea    D166(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x8(%rsp),%esi
  lea    D26(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0xc(%rsp),%esi
  lea    D120(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    D3(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    0x3(%rsp),%rsi
  lea    D72(%rip),%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  cmpb   $0x79,0x3(%rsp)
  je     L47
L115:
  mov    0xc(%rsp),%esi
  mov    0x4(%rsp),%edi
  call   <dobldobl_assign_labels@plt>
  lea    D71(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    0x10(%rsp),%rsi
  lea    D91(%rip),%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  mov    0xc(%rsp),%r8d
  mov    0x8(%rsp),%ecx
  mov    0x4(%rsp),%edx
  mov    0x10(%rsp),%esi
  mov    %ebx,%edi
  call   <dobldobl_monodromy_breakup@plt>
  cmpl   $0x2,0x14(%rsp)
  je     L54
L29:
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L125
  mov    $0x0,%eax
  add    $0x20,%rsp
  pop    %rbx
  ret
L85:
  lea    0xc(%rsp),%rdx
  lea    0x8(%rsp),%rsi
  lea    0x4(%rsp),%rdi
  call   <read_dobldobl_Laurent_witness_set@plt>
  jmp    L1
L128:
  mov    $0x0,%eax
  call   <set_dobldobl_state_to_silent@plt>
  jmp    L33
L57:
  mov    $0x0,%eax
  call   <define_output_file@plt>
  jmp    L121
L47:
  lea    D1(%rip),%rdi
  call   <puts@plt>
  cmp    $0x1,%ebx
  je     L7
  mov    $0x0,%eax
  call   <syscon_write_dobldobl_system@plt>
  jmp    L115
L7:
  mov    $0x0,%eax
  call   <syscon_write_dobldobl_Laurent_system@plt>
  jmp    L115
L54:
  lea    D37(%rip),%rdi
  call   <puts@plt>
  jmp    L29
L125:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: parse_data
arguments: tag: D12
type_infered: string
name: parse_data
arguments: tag: D32
type_infered: string
name: parse_data
arguments: tag: D53
type_infered: string
name: parse_data
arguments: tag: D126
type_infered: string
name: parse_data
arguments: tag: D167
type_infered: string
name: parse_data
arguments: tag: D116
type_infered: string
name: parse_data
arguments: tag: D91
type_infered: string
name: parse_data
arguments: tag: D72
type_infered: string
name: parse_data
arguments: tag: D166
type_infered: string
name: parse_data
arguments: tag: D26
type_infered: string
name: parse_data
arguments: tag: D120
type_infered: string
name: parse_data
arguments: tag: D3
type_infered: string
name: parse_data
arguments: tag: D71
type_infered: string
name: parse_data
arguments: tag: D1
type_infered: string
name: parse_data
arguments: tag: D37
type_infered: string

tool: D12: 
Reading a witness set ...

tool: D32: 
MENU for the kind of output :

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

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

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

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

tool: D91: %d

tool: D72: %c

tool: D166: 
The ambient dimension : %d.


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


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


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

tool: D71: 
Give the maximum number of loops : 

tool: D1: 
The system read :

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