user: Converte this assembly snippet into its equivalent C code:

```asm
<test_solution_strings>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r14
  push   %r13
  push   %r12
  sub    $0x28,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x28(%rbp)
  xor    %eax,%eax
  call   <solcon_read_standard_solutions@plt>
  lea    -0x40(%rbp),%rdi
  call   <solcon_number_of_standard_solutions@plt>
  mov    -0x40(%rbp),%esi
  lea    D30(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  lea    D25(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  lea    -0x3c(%rbp),%rsi
  lea    D70(%rip),%rdi
  call   <scanf@plt>
  mov    -0x3c(%rbp),%edi
  lea    -0x38(%rbp),%rsi
  call   <solcon_length_standard_solution_string@plt>
  mov    -0x3c(%rbp),%edi
  lea    -0x34(%rbp),%rsi
  call   <solcon_length_solution_intro@plt>
  mov    -0x3c(%rbp),%edi
  lea    -0x30(%rbp),%rsi
  call   <solcon_length_solution_vector@plt>
  mov    -0x3c(%rbp),%edi
  lea    -0x2c(%rbp),%rsi
  call   <solcon_length_solution_diagnostics@plt>
  mov    -0x34(%rbp),%ecx
  mov    -0x38(%rbp),%edx
  xor    %eax,%eax
  mov    -0x3c(%rbp),%esi
  mov    -0x2c(%rbp),%r9d
  lea    D49(%rip),%rdi
  mov    -0x30(%rbp),%r8d
  call   <printf@plt>
  mov    -0x38(%rbp),%esi
  mov    %rsp,%rcx
  lea    0x1(%rsi),%eax
  cltq
  add    $0xf,%rax
  mov    %rax,%rdx
  and    $0xfffffffffffff000,%rax
  sub    %rax,%rcx
  and    $0xfffffffffffffff0,%rdx
  cmp    %rcx,%rsp
  je     L54
L96:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rcx,%rsp
  jne    L96
L54:
  and    $0xfff,%edx
  sub    %rdx,%rsp
  test   %rdx,%rdx
  jne    L131
L7:
  mov    -0x34(%rbp),%eax
  mov    %rsp,%rcx
  mov    %rsp,%r12
  add    $0x1,%eax
  cltq
  add    $0xf,%rax
  mov    %rax,%rdx
  and    $0xfffffffffffff000,%rax
  sub    %rax,%rcx
  and    $0xfffffffffffffff0,%rdx
  cmp    %rcx,%rsp
  je     L26
L136:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rcx,%rsp
  jne    L136
L26:
  and    $0xfff,%edx
  sub    %rdx,%rsp
  test   %rdx,%rdx
  jne    L68
L105:
  mov    -0x30(%rbp),%eax
  mov    %rsp,%rcx
  mov    %rsp,%r13
  add    $0x1,%eax
  cltq
  add    $0xf,%rax
  mov    %rax,%rdx
  and    $0xfffffffffffff000,%rax
  sub    %rax,%rcx
  and    $0xfffffffffffffff0,%rdx
  cmp    %rcx,%rsp
  je     L39
L114:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rcx,%rsp
  jne    L114
L39:
  and    $0xfff,%edx
  sub    %rdx,%rsp
  test   %rdx,%rdx
  je     L115
  orq    $0x0,-0x8(%rsp,%rdx,1)
L115:
  mov    -0x2c(%rbp),%eax
  mov    %rsp,%rcx
  mov    %rsp,%r14
  add    $0x1,%eax
  cltq
  add    $0xf,%rax
  mov    %rax,%rdx
  and    $0xfffffffffffff000,%rax
  sub    %rax,%rcx
  and    $0xfffffffffffffff0,%rdx
  cmp    %rcx,%rsp
  je     L27
L3:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rcx,%rsp
  jne    L3
L27:
  and    $0xfff,%edx
  sub    %rdx,%rsp
  test   %rdx,%rdx
  je     L67
  orq    $0x0,-0x8(%rsp,%rdx,1)
L67:
  mov    -0x3c(%rbp),%edi
  mov    %r12,%rdx
  call   <solcon_write_standard_solution_string@plt>
  mov    -0x3c(%rbp),%esi
  mov    %r12,%rdx
  xor    %eax,%eax
  lea    D56(%rip),%rdi
  call   <printf@plt>
  mov    -0x34(%rbp),%esi
  mov    -0x3c(%rbp),%edi
  mov    %r13,%rdx
  call   <solcon_write_solution_intro@plt>
  mov    -0x3c(%rbp),%esi
  mov    %r13,%rdx
  xor    %eax,%eax
  lea    D44(%rip),%rdi
  call   <printf@plt>
  mov    -0x30(%rbp),%esi
  mov    -0x3c(%rbp),%edi
  mov    %r14,%rdx
  call   <solcon_write_solution_vector@plt>
  mov    -0x3c(%rbp),%esi
  mov    %r14,%rdx
  xor    %eax,%eax
  lea    D55(%rip),%rdi
  call   <printf@plt>
  mov    -0x2c(%rbp),%esi
  mov    -0x3c(%rbp),%edi
  mov    %rsp,%rdx
  call   <solcon_write_solution_diagnostics@plt>
  mov    -0x3c(%rbp),%esi
  xor    %eax,%eax
  mov    %rsp,%rdx
  lea    D35(%rip),%rdi
  call   <printf@plt>
  mov    -0x28(%rbp),%rax
  sub    %fs:0x28,%rax
  jne    L84
  lea    -0x18(%rbp),%rsp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %rbp
  ret
  cs nopw 0x0(%rax,%rax,1)
L131:
  orq    $0x0,-0x8(%rsp,%rdx,1)
  jmp    L7
  nopl   0x0(%rax,%rax,1)
L68:
  orq    $0x0,-0x8(%rsp,%rdx,1)
  jmp    L105
L84:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: disassemble_data
arguments: tag: D30
datatype: string
name: disassemble_data
arguments: tag: D25
datatype: string
name: disassemble_data
arguments: tag: D70
datatype: string
name: disassemble_data
arguments: tag: D49
datatype: string
name: disassemble_data
arguments: tag: D56
datatype: string
name: disassemble_data
arguments: tag: D44
datatype: string
name: disassemble_data
arguments: tag: D55
datatype: string
name: disassemble_data
arguments: tag: D35
datatype: string

tool: D30: Number of solutions : %d


tool: D25: Give solution number : 

tool: D70: %d

tool: D49: Length of solution %d : %d = %d + %d + %d


tool: D56: Solution %d as string :
%s


tool: D44: introduction to solution %d :
%s

tool: D55: vector in the solution %d :
%s

tool: D35: diagnostics of the solution %d :
%s

assistant: ```c
void test_solution_strings(void) {
  int len, fail, k, n, n0, n1, n2;
  fail = solcon_read_standard_solutions();
  fail = solcon_number_of_standard_solutions(&len);
  printf("Number of solutions : %d\n", len);
  printf("Give solution number : ");
  scanf("%d", &k);
  fail = solcon_length_standard_solution_string(k, &n);
  fail = solcon_length_solution_intro(k, &n0);
  fail = solcon_length_solution_vector(k, &n1);
  fail = solcon_length_solution_diagnostics(k, &n2);
  printf("Length of solution %d : %d = %d + %d + %d\n", k, n, n0, n1, n2);
  {
    char s[n + 1], s0[n0 + 1], s1[n1 + 1], s2[n2 + 1];
    fail = solcon_write_standard_solution_string(k, n, s);
    printf("Solution %d as string :\n%s\n", k, s);
    fail = solcon_write_solution_intro(k, n0, s0);
    printf("introduction to solution %d :\n%s", k, s0);
    fail = solcon_write_solution_vector(k, n1, s1);
    printf("vector in the solution %d :\n%s", k, s1);
    fail = solcon_write_solution_diagnostics(k, n2, s2);
    printf("diagnostics of the solution %d :\n%s", k, s2);
  }
}
```