user: Translate the below assembly code into C programming language:

```asm
<solcon_write_current_dobldobl_solution_string>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r15
  mov    %rdi,%r15
  push   %r14
  push   %r13
  movslq %esi,%r13
  push   %r12
  mov    %rdx,%r12
  push   %rbx
  mov    %r13,%rbx
  sub    $0x18,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x38(%rbp)
  xor    %eax,%eax
  lea    0xf(,%r13,4),%rax
  mov    %rsp,%rcx
  mov    %rax,%rdx
  and    $0xfffffffffffff000,%rax
  sub    %rax,%rcx
  and    $0xfffffffffffffff0,%rdx
  cmp    %rcx,%rsp
  je     L65
L188:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rcx,%rsp
  jne    L188
L65:
  and    $0xfff,%edx
  sub    %rdx,%rsp
  test   %rdx,%rdx
  jne    L240
L203:
  mov    %ebx,(%r15)
  mov    %rsp,%r14
  xor    %ecx,%ecx
  mov    %r15,%rsi
  mov    %r14,%rdx
  mov    $0x216,%edi
  call   <_ada_use_c2phc@plt>
  mov    %eax,%r8d
  mov    (%r15),%eax
  test   %eax,%eax
  je     L89
  test   %ebx,%ebx
  jle    L219
  lea    -0x1(%rbx),%eax
  cmp    $0xe,%eax
  jbe    L55
  mov    %ebx,%ecx
  movdqa D2(%rip),%xmm3
  mov    %r14,%rax
  mov    %r12,%rdx
  shr    $0x4,%ecx
  shl    $0x6,%rcx
  add    %r14,%rcx
  nopl   0x0(%rax,%rax,1)
L69:
  movdqu (%rax),%xmm0
  movdqu 0x10(%rax),%xmm5
  add    $0x40,%rax
  add    $0x10,%rdx
  movdqu -0x10(%rax),%xmm7
  movdqa %xmm0,%xmm1
  punpcklwd %xmm5,%xmm0
  punpckhwd %xmm5,%xmm1
  movdqa %xmm0,%xmm2
  punpckhwd %xmm1,%xmm2
  punpcklwd %xmm1,%xmm0
  movdqu -0x20(%rax),%xmm1
  punpcklwd %xmm2,%xmm0
  movdqa %xmm1,%xmm2
  punpcklwd %xmm7,%xmm1
  pand   %xmm3,%xmm0
  punpckhwd %xmm7,%xmm2
  movdqa %xmm1,%xmm4
  punpckhwd %xmm2,%xmm4
  punpcklwd %xmm2,%xmm1
  punpcklwd %xmm4,%xmm1
  pand   %xmm3,%xmm1
  packuswb %xmm1,%xmm0
  movups %xmm0,-0x10(%rdx)
  cmp    %rcx,%rax
  jne    L69
  mov    %ebx,%eax
  and    $0xfffffff0,%eax
  test   $0xf,%bl
  je     L219
L58:
  movslq %eax,%rcx
  lea    (%r14,%rcx,4),%rdx
  mov    (%rdx),%esi
  mov    %sil,(%r12,%rcx,1)
  lea    0x1(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L219
  mov    0x4(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0x2(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L219
  mov    0x8(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0x3(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L219
  mov    0xc(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0x4(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L219
  mov    0x10(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0x5(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L219
  mov    0x14(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0x6(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L219
  mov    0x18(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0x7(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L219
  mov    0x1c(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0x8(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L219
  mov    0x20(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0x9(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L219
  mov    0x24(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0xa(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L219
  mov    0x28(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0xb(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L219
  mov    0x2c(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0xc(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L219
  mov    0x30(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0xd(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L219
  mov    0x34(%rdx),%esi
  movslq %ecx,%rcx
  add    $0xe,%eax
  mov    %sil,(%r12,%rcx,1)
  cmp    %eax,%ebx
  jle    L219
  mov    0x38(%rdx),%edx
  cltq
  mov    %dl,(%r12,%rax,1)
  nopl   0x0(%rax)
L219:
  movb   $0x0,(%r12,%r13,1)
L89:
  mov    -0x38(%rbp),%rax
  sub    %fs:0x28,%rax
  jne    L232
  lea    -0x28(%rbp),%rsp
  mov    %r8d,%eax
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
  cs nopw 0x0(%rax,%rax,1)
L240:
  orq    $0x0,-0x8(%rsp,%rdx,1)
  jmp    L203
L55:
  xor    %eax,%eax
  jmp    L58
L232:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: unpack_data
arguments: tag: D2
data_type: byte[16]

tool: {"D2": [0xff,0x00,0xff,0x00,0xff,0x00,0xff,0x00,0xff,0x00,0xff,0x00,0xff,0x00,0xff,0x00]}

assistant: ```c
int solcon_write_current_dobldobl_solution_string(int *k, int n, char *s) {
  int b[n], fail, i;
  double *c;
  *k = n;
  fail = _ada_use_c2phc(534, k, b, c);
  if (*k != 0) {
    for (i = 0; i < n; i++)
      s[i] = b[i];
    s[n] = '\0';
  }
  return fail;
}
```