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

```asm
<dobldobl_test>:
  endbr64
  push   %r13
  lea    D43(%rip),%rdi
  push   %r12
  lea    D47(%rip),%r12
  push   %rbp
  lea    D58(%rip),%rbp
  sub    $0x20,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  xor    %eax,%eax
  lea    0x3(%rsp),%r13
  call   <puts@plt>
  lea    0xc(%rsp),%rdx
  lea    0x8(%rsp),%rsi
  lea    0x4(%rsp),%rdi
  call   <read_dobldobl_witness_set@plt>
  lea    D40(%rip),%rdi
  call   <puts@plt>
  lea    D46(%rip),%rdi
  call   <puts@plt>
  lea    D83(%rip),%rdi
  call   <puts@plt>
  lea    D76(%rip),%rdi
  call   <puts@plt>
  lea    D65(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  lea    0x14(%rsp),%rsi
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <scanf@plt>
  mov    %r13,%rsi
  mov    %r12,%rdi
  xor    %eax,%eax
  call   <scanf@plt>
  mov    0x14(%rsp),%eax
  test   %eax,%eax
  je     L77
  cmp    $0x2,%eax
  je     L69
L56:
  mov    0x4(%rsp),%esi
  lea    D49(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x8(%rsp),%esi
  lea    D7(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0xc(%rsp),%esi
  lea    D32(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  lea    D77(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  xor    %eax,%eax
  mov    %r13,%rsi
  mov    %r12,%rdi
  call   <scanf@plt>
  cmpb   $0x79,0x3(%rsp)
  je     L72
L8:
  mov    0xc(%rsp),%esi
  mov    0x4(%rsp),%edi
  call   <dobldobl_assign_labels@plt>
  lea    D78(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  lea    0x10(%rsp),%rsi
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <scanf@plt>
  mov    0xc(%rsp),%ecx
  mov    0x8(%rsp),%edx
  mov    0x4(%rsp),%esi
  mov    0x10(%rsp),%edi
  call   <dobldobl_monodromy_breakup@plt>
  cmpl   $0x2,0x14(%rsp)
  je     L45
L21:
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L48
  add    $0x20,%rsp
  xor    %eax,%eax
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
  nopl   (%rax)
L77:
  call   <set_state_to_silent@plt>
  mov    0x14(%rsp),%eax
  cmp    $0x2,%eax
  jne    L56
L69:
  xor    %eax,%eax
  call   <define_output_file@plt>
  jmp    L56
  xchg   %ax,%ax
L45:
  lea    D67(%rip),%rdi
  call   <puts@plt>
  jmp    L21
  xchg   %ax,%ax
L72:
  lea    D24(%rip),%rdi
  call   <puts@plt>
  xor    %eax,%eax
  call   <syscon_write_dobldobl_system@plt>
  jmp    L8
L48:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D43
type: string
name: extract_symbolic_data
arguments: tag: D47
type: string
name: extract_symbolic_data
arguments: tag: D58
type: string
name: extract_symbolic_data
arguments: tag: D40
type: string
name: extract_symbolic_data
arguments: tag: D46
type: string
name: extract_symbolic_data
arguments: tag: D83
type: string
name: extract_symbolic_data
arguments: tag: D76
type: string
name: extract_symbolic_data
arguments: tag: D65
type: string
name: extract_symbolic_data
arguments: tag: D49
type: string
name: extract_symbolic_data
arguments: tag: D7
type: string
name: extract_symbolic_data
arguments: tag: D32
type: string
name: extract_symbolic_data
arguments: tag: D77
type: string
name: extract_symbolic_data
arguments: tag: D78
type: string
name: extract_symbolic_data
arguments: tag: D67
type: string
name: extract_symbolic_data
arguments: tag: D24
type: string

tool: D43: 
Reading a witness set ...

tool: D47: %c

tool: D58: %d

tool: D40: 
MENU for the kind of output :

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

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

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

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

tool: D49: 
The ambient dimension : %d.


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


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


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

tool: D78: 
Give the number of loops : 

tool: D67: See the output file for results.

tool: D24: 
The system read :

assistant: ```c
int dobldobl_test(void) {
  int fail, n, dim, deg, nbloops, kind;
  char ans;
  printf("\nReading a witness set ...\n");
  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_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");
      fail = syscon_write_dobldobl_system();
    }
  }
  fail = dobldobl_assign_labels(n, deg);
  printf("\nGive the number of loops : ");
  scanf("%d", &nbloops);
  fail = dobldobl_monodromy_breakup(nbloops, n, dim, deg);
  if (kind == 2)
    printf("See the output file for results.\n");
  return 0;
}
```