user: 请从给定的汇编指令推导出C源代码:

```asm
<dobldobl_test>:
  endbr64
  push   %r13
  lea    D122(%rip),%rdi
  push   %r12
  lea    D86(%rip),%r12
  push   %rbp
  lea    D15(%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    D98(%rip),%rdi
  call   <puts@plt>
  lea    D79(%rip),%rdi
  call   <puts@plt>
  lea    D41(%rip),%rdi
  call   <puts@plt>
  lea    D43(%rip),%rdi
  call   <puts@plt>
  lea    D104(%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     L34
  cmp    $0x2,%eax
  je     L31
L45:
  mov    0x4(%rsp),%esi
  lea    D106(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x8(%rsp),%esi
  lea    D34(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0xc(%rsp),%esi
  lea    D27(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  lea    D119(%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     L73
L19:
  mov    0xc(%rsp),%esi
  mov    0x4(%rsp),%edi
  call   <dobldobl_assign_labels@plt>
  lea    D115(%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     L61
L77:
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L88
  add    $0x20,%rsp
  xor    %eax,%eax
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
  nopl   (%rax)
L34:
  call   <set_state_to_silent@plt>
  mov    0x14(%rsp),%eax
  cmp    $0x2,%eax
  jne    L45
L31:
  xor    %eax,%eax
  call   <define_output_file@plt>
  jmp    L45
  xchg   %ax,%ax
L61:
  lea    D72(%rip),%rdi
  call   <puts@plt>
  jmp    L77
  xchg   %ax,%ax
L73:
  lea    D20(%rip),%rdi
  call   <puts@plt>
  xor    %eax,%eax
  call   <syscon_write_dobldobl_system@plt>
  jmp    L19
L88:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: retrieve_data
arguments: tag: D122
type_guessed: string
name: retrieve_data
arguments: tag: D86
type_guessed: string
name: retrieve_data
arguments: tag: D15
type_guessed: string
name: retrieve_data
arguments: tag: D98
type_guessed: string
name: retrieve_data
arguments: tag: D79
type_guessed: string
name: retrieve_data
arguments: tag: D41
type_guessed: string
name: retrieve_data
arguments: tag: D43
type_guessed: string
name: retrieve_data
arguments: tag: D104
type_guessed: string
name: retrieve_data
arguments: tag: D106
type_guessed: string
name: retrieve_data
arguments: tag: D34
type_guessed: string
name: retrieve_data
arguments: tag: D27
type_guessed: string
name: retrieve_data
arguments: tag: D119
type_guessed: string
name: retrieve_data
arguments: tag: D115
type_guessed: string
name: retrieve_data
arguments: tag: D72
type_guessed: string
name: retrieve_data
arguments: tag: D20
type_guessed: string

tool: D122: 
Reading a witness set ...

tool: D86: %c

tool: D15: %d

tool: D98: 
MENU for the kind of output :

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

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

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

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

tool: D106: 
The ambient dimension : %d.


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


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


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

tool: D115: 
Give the number of loops : 

tool: D72: See the output file for results.

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