user: 请显示与下面列出的汇编代码相匹配的C语言实现:

```asm
<solcon_replace_solution_string>:
  endbr64
  push   %rbp
  mov    %esi,%r9d
  mov    %edx,%esi
  mov    %rsp,%rbp
  sub    $0x20,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movslq %edx,%rax
  mov    %rsp,%r8
  lea    0xf(,%rax,4),%rax
  mov    %rax,%rdx
  and    $0xfffffffffffff000,%rax
  sub    %rax,%r8
  and    $0xfffffffffffffff0,%rdx
  cmp    %r8,%rsp
  je     L181
L119:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %r8,%rsp
  jne    L119
L181:
  and    $0xfff,%edx
  sub    %rdx,%rsp
  test   %rdx,%rdx
  jne    L144
L238:
  movd   %edi,%xmm0
  movd   %r9d,%xmm6
  mov    %esi,-0x10(%rbp)
  mov    %rsp,%r8
  punpckldq %xmm6,%xmm0
  movq   %xmm0,-0x18(%rbp)
  test   %esi,%esi
  jle    L123
  lea    -0x1(%rsi),%eax
  cmp    $0xe,%eax
  jbe    L2
  mov    %esi,%edi
  mov    %rcx,%rdx
  pxor   %xmm5,%xmm5
  mov    %r8,%rax
  shr    $0x4,%edi
  pxor   %xmm3,%xmm3
  sub    $0x1,%edi
  shl    $0x4,%rdi
  lea    0x10(%rcx,%rdi,1),%rdi
  nopl   (%rax)
L77:
  movdqu (%rdx),%xmm0
  movdqa %xmm5,%xmm2
  add    $0x10,%rdx
  add    $0x40,%rax
  pcmpgtb %xmm0,%xmm2
  movdqa %xmm0,%xmm1
  punpcklbw %xmm2,%xmm1
  punpckhbw %xmm2,%xmm0
  movdqa %xmm3,%xmm2
  pcmpgtw %xmm1,%xmm2
  movdqa %xmm1,%xmm4
  punpckhwd %xmm2,%xmm1
  punpcklwd %xmm2,%xmm4
  movdqa %xmm0,%xmm2
  movups %xmm1,-0x30(%rax)
  movdqa %xmm3,%xmm1
  pcmpgtw %xmm0,%xmm1
  movups %xmm4,-0x40(%rax)
  punpcklwd %xmm1,%xmm2
  punpckhwd %xmm1,%xmm0
  movups %xmm2,-0x20(%rax)
  movups %xmm0,-0x10(%rax)
  cmp    %rdx,%rdi
  jne    L77
  mov    %esi,%eax
  and    $0xfffffff0,%eax
  test   $0xf,%sil
  je     L123
L159:
  movslq %eax,%rdi
  lea    (%r8,%rdi,4),%rdx
  movsbl (%rcx,%rdi,1),%edi
  mov    %edi,(%rdx)
  lea    0x1(%rax),%edi
  cmp    %edi,%esi
  jle    L123
  movslq %edi,%rdi
  movsbl (%rcx,%rdi,1),%edi
  mov    %edi,0x4(%rdx)
  lea    0x2(%rax),%edi
  cmp    %edi,%esi
  jle    L123
  movslq %edi,%rdi
  movsbl (%rcx,%rdi,1),%edi
  mov    %edi,0x8(%rdx)
  lea    0x3(%rax),%edi
  cmp    %edi,%esi
  jle    L123
  movslq %edi,%rdi
  movsbl (%rcx,%rdi,1),%edi
  mov    %edi,0xc(%rdx)
  lea    0x4(%rax),%edi
  cmp    %edi,%esi
  jle    L123
  movslq %edi,%rdi
  movsbl (%rcx,%rdi,1),%edi
  mov    %edi,0x10(%rdx)
  lea    0x5(%rax),%edi
  cmp    %edi,%esi
  jle    L123
  movslq %edi,%rdi
  movsbl (%rcx,%rdi,1),%edi
  mov    %edi,0x14(%rdx)
  lea    0x6(%rax),%edi
  cmp    %edi,%esi
  jle    L123
  movslq %edi,%rdi
  movsbl (%rcx,%rdi,1),%edi
  mov    %edi,0x18(%rdx)
  lea    0x7(%rax),%edi
  cmp    %edi,%esi
  jle    L123
  movslq %edi,%rdi
  movsbl (%rcx,%rdi,1),%edi
  mov    %edi,0x1c(%rdx)
  lea    0x8(%rax),%edi
  cmp    %edi,%esi
  jle    L123
  movslq %edi,%rdi
  movsbl (%rcx,%rdi,1),%edi
  mov    %edi,0x20(%rdx)
  lea    0x9(%rax),%edi
  cmp    %edi,%esi
  jle    L123
  movslq %edi,%rdi
  movsbl (%rcx,%rdi,1),%edi
  mov    %edi,0x24(%rdx)
  lea    0xa(%rax),%edi
  cmp    %edi,%esi
  jle    L123
  movslq %edi,%rdi
  movsbl (%rcx,%rdi,1),%edi
  mov    %edi,0x28(%rdx)
  lea    0xb(%rax),%edi
  cmp    %edi,%esi
  jle    L123
  movslq %edi,%rdi
  movsbl (%rcx,%rdi,1),%edi
  mov    %edi,0x2c(%rdx)
  lea    0xc(%rax),%edi
  cmp    %edi,%esi
  jle    L123
  movslq %edi,%rdi
  movsbl (%rcx,%rdi,1),%edi
  mov    %edi,0x30(%rdx)
  lea    0xd(%rax),%edi
  cmp    %edi,%esi
  jle    L123
  movslq %edi,%rdi
  add    $0xe,%eax
  movsbl (%rcx,%rdi,1),%edi
  mov    %edi,0x34(%rdx)
  cmp    %eax,%esi
  jle    L123
  cltq
  movsbl (%rcx,%rax,1),%eax
  mov    %eax,0x38(%rdx)
  nopw   0x0(%rax,%rax,1)
L123:
  xor    %ecx,%ecx
  mov    %r8,%rdx
  lea    -0x18(%rbp),%rsi
  mov    $0xd1,%edi
  call   <_ada_use_c2phc@plt>
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  jne    L180
  leave
  ret
  nopl   0x0(%rax)
L144:
  orq    $0x0,-0x8(%rsp,%rdx,1)
  jmp    L238
L2:
  xor    %eax,%eax
  jmp    L159
L180:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
int solcon_replace_solution_string(int k, int nv, int nc, char *s) {
  int a[3], b[nc], fail, i;
  double *c;
  a[0] = k;
  a[1] = nv;
  a[2] = nc;
  for (i = 0; i < nc; i++)
    b[i] = s[i];
  fail = _ada_use_c2phc(209, a, b, c);
  return fail;
}
```