user: What would the C source look like for the assembly code provided here?

```asm
<solcon_write_quaddobl_solution_string>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r14
  push   %r13
  movslq %esi,%r13
  push   %r12
  mov    %rdx,%r12
  push   %rbx
  mov    %r13,%rbx
  sub    $0x10,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x28(%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     L235
L150:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rcx,%rsp
  jne    L150
L235:
  and    $0xfff,%edx
  sub    %rdx,%rsp
  test   %rdx,%rdx
  jne    L232
L122:
  movd   %edi,%xmm0
  movd   %ebx,%xmm6
  mov    %rsp,%r14
  xor    %r8d,%r8d
  punpckldq %xmm6,%xmm0
  lea    -0x30(%rbp),%rsi
  xor    %ecx,%ecx
  mov    %r14,%rdx
  mov    $0x1a5,%edi
  movq   %xmm0,-0x30(%rbp)
  call   <_ada_use_c2phc4c@plt>
  mov    %eax,%r8d
  test   %ebx,%ebx
  jle    L66
  lea    -0x1(%rbx),%eax
  cmp    $0xe,%eax
  jbe    L219
  mov    %ebx,%ecx
  movdqa D6(%rip),%xmm3
  mov    %r14,%rax
  mov    %r12,%rdx
  shr    $0x4,%ecx
  shl    $0x6,%rcx
  add    %r14,%rcx
  nopl   (%rax)
L34:
  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    %rax,%rcx
  jne    L34
  mov    %ebx,%eax
  and    $0xfffffff0,%eax
  test   $0xf,%bl
  je     L66
L113:
  movslq %eax,%rcx
  lea    (%r14,%rcx,4),%rdx
  mov    (%rdx),%esi
  mov    %sil,(%r12,%rcx,1)
  lea    0x1(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L66
  mov    0x4(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0x2(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L66
  mov    0x8(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0x3(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L66
  mov    0xc(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0x4(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L66
  mov    0x10(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0x5(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L66
  mov    0x14(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0x6(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L66
  mov    0x18(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0x7(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L66
  mov    0x1c(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0x8(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L66
  mov    0x20(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0x9(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L66
  mov    0x24(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0xa(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L66
  mov    0x28(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0xb(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L66
  mov    0x2c(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0xc(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L66
  mov    0x30(%rdx),%esi
  movslq %ecx,%rcx
  mov    %sil,(%r12,%rcx,1)
  lea    0xd(%rax),%ecx
  cmp    %ecx,%ebx
  jle    L66
  mov    0x34(%rdx),%esi
  movslq %ecx,%rcx
  add    $0xe,%eax
  mov    %sil,(%r12,%rcx,1)
  cmp    %eax,%ebx
  jle    L66
  mov    0x38(%rdx),%edx
  cltq
  mov    %dl,(%r12,%rax,1)
  nopl   0x0(%rax)
L66:
  movb   $0x0,(%r12,%r13,1)
  mov    -0x28(%rbp),%rax
  sub    %fs:0x28,%rax
  jne    L231
  lea    -0x20(%rbp),%rsp
  mov    %r8d,%eax
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %rbp
  ret
  nopl   0x0(%rax)
L232:
  orq    $0x0,-0x8(%rsp,%rdx,1)
  jmp    L122
L219:
  xor    %eax,%eax
  jmp    L113
L231:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: disassemble_data
arguments: tag: D6
type: byte[16]

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

assistant: ```c
int solcon_write_quaddobl_solution_string(int k, int n, char *s) {
  int a[2], b[n], fail, i;
  double *c;
  a[0] = k;
  a[1] = n;
  fail = _ada_use_c2phc4c(421, a, b, c, 0);
  for (i = 0; i < n; i++)
    s[i] = b[i];
  s[n] = '\0';
  return fail;
}
```