user: 请将这段汇编代码片段转换成等效的C代码：

```asm
<test_dobldobl_solution_strings>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  mov    %edi,%r12d
  lea    D56(%rip),%rdi
  push   %rbx
  mov    %esi,%ebx
  sub    $0x28,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x38(%rbp)
  xor    %eax,%eax
  call   <puts@plt>
  mov    %r12d,%esi
  lea    D24(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  lea    -0x48(%rbp),%r12
  lea    D19(%rip),%rdi
  mov    %r12,%rsi
  call   <scanf@plt>
  xor    %ecx,%ecx
  lea    -0x44(%rbp),%rdx
  mov    %r12,%rsi
  mov    $0x46,%edi
  call   <_ada_use_solcon@plt>
  mov    -0x44(%rbp),%edx
  mov    -0x48(%rbp),%esi
  xor    %eax,%eax
  lea    D22(%rip),%rdi
  call   <printf@plt>
  movslq -0x44(%rbp),%rax
  mov    %rsp,%rsi
  mov    %rax,%rdx
  lea    0xf(,%rax,4),%rax
  mov    %rax,%rcx
  and    $0xfffffffffffff000,%rax
  sub    %rax,%rsi
  and    $0xfffffffffffffff0,%rcx
  cmp    %rsi,%rsp
  je     L74
L90:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rsi,%rsp
  jne    L90
L74:
  and    $0xfff,%ecx
  sub    %rcx,%rsp
  test   %rcx,%rcx
  jne    L37
L55:
  lea    0x1(%rdx),%eax
  mov    %rsp,%rsi
  mov    %rsp,%r13
  cltq
  add    $0xf,%rax
  mov    %rax,%rcx
  and    $0xfffffffffffff000,%rax
  sub    %rax,%rsi
  and    $0xfffffffffffffff0,%rcx
  cmp    %rsi,%rsp
  je     L67
L79:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rsi,%rsp
  jne    L79
L67:
  and    $0xfff,%ecx
  sub    %rcx,%rsp
  test   %rcx,%rcx
  jne    L94
L92:
  mov    -0x48(%rbp),%eax
  lea    -0x40(%rbp),%r12
  mov    %edx,-0x3c(%rbp)
  xor    %ecx,%ecx
  mov    %r13,%rdx
  mov    %r12,%rsi
  mov    $0x47,%edi
  mov    %rsp,%r14
  mov    %eax,-0x40(%rbp)
  call   <_ada_use_solcon@plt>
  movslq -0x44(%rbp),%rcx
  test   %ecx,%ecx
  jle    L109
  xor    %eax,%eax
  nopl   (%rax)
L105:
  mov    0x0(%r13,%rax,4),%edx
  mov    %dl,(%r14,%rax,1)
  add    $0x1,%rax
  cmp    %rax,%rcx
  jne    L105
L109:
  mov    -0x48(%rbp),%esi
  mov    %r14,%rdx
  lea    D55(%rip),%rdi
  xor    %eax,%eax
  xor    %r15d,%r15d
  movb   $0x0,(%r14,%rcx,1)
  call   <printf@plt>
  mov    -0x44(%rbp),%eax
  mov    %r15,%rcx
  mov    %r13,%rdx
  mov    %r12,%rsi
  mov    $0x4e,%edi
  mov    %ebx,-0x40(%rbp)
  mov    %eax,-0x3c(%rbp)
  call   <_ada_use_solcon@plt>
  mov    -0x48(%rbp),%esi
  lea    D49(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %r15,%rcx
  mov    %r13,%rdx
  mov    %r12,%rsi
  mov    $0x29,%edi
  call   <_ada_use_solcon@plt>
  mov    -0x38(%rbp),%rax
  sub    %fs:0x28,%rax
  jne    L36
  lea    -0x28(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
  nopl   0x0(%rax)
L37:
  orq    $0x0,-0x8(%rsp,%rcx,1)
  jmp    L55
L94:
  orq    $0x0,-0x8(%rsp,%rcx,1)
  jmp    L92
L36:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: data_label: D56
datatype: string
name: read_data
arguments: data_label: D24
datatype: string
name: read_data
arguments: data_label: D19
datatype: string
name: read_data
arguments: data_label: D22
datatype: string
name: read_data
arguments: data_label: D55
datatype: string
name: read_data
arguments: data_label: D49
datatype: string

tool: D56: 
Testing strings of solutions ... 


tool: D24: Give index of solution ( in [1,%d] ) : 

tool: D19: %d

tool: D22: -> number of characters in solution %d : %d


tool: D55: the solution %d :
%s


tool: D49: the container after appending solution %d :


assistant: ```c
void test_dobldobl_solution_strings(int len, int nvar) {
  int k, n, fail;
  double *c;
  printf("\nTesting strings of solutions ... \n\n");
  printf("Give index of solution ( in [1,%d] ) : ", len);
  scanf("%d", &k);
  fail = _ada_use_solcon(70, &k, &n, c);
  printf("-> number of characters in solution %d : %d\n", k, n);
  {
    int i, a[2];
    int v[n];
    char s[n + 1];
    a[0] = k;
    a[1] = n;
    fail = _ada_use_solcon(71, a, v, c);
    for (i = 0; i < n; i++)
      s[i] = (char)v[i];
    s[n] = '\0';
    printf("the solution %d :\n%s\n", k, s);
    a[0] = nvar;
    a[1] = n;
    fail = _ada_use_solcon(78, a, v, c);
    printf("the container after appending solution %d :\n", k);
    fail = _ada_use_solcon(41, a, v, c);
  }
}
```