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

```asm
<syscon_load_dobldobl_Laurential>:
  endbr64
  push   %r12
  push   %rbp
  push   %rbx
  mov    %rdx,%rbx
  sub    $0x10,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x8(%rsp)
  xor    %eax,%eax
  mov    %rsp,%rsi
  mov    %edi,0x4(%rsp)
  call   <syscon_dobldobl_Laurent_size_limit@plt>
  mov    (%rsp),%edi
  mov    $0x4,%esi
  call   <calloc@plt>
  xor    %ecx,%ecx
  mov    $0x22f,%edi
  lea    0x4(%rsp),%rsi
  mov    %rax,%rdx
  mov    %rax,%rbp
  call   <_ada_use_c2phc@plt>
  mov    0x4(%rsp),%ecx
  mov    %eax,%r12d
  movslq %ecx,%rdi
  test   %ecx,%ecx
  jle    L147
  lea    0x0(%rbp,%rdi,4),%rdx
  lea    (%rbx,%rdi,1),%rsi
  mov    %rbp,%rax
  cmp    %rdx,%rbx
  setae  %dl
  cmp    %rsi,%rbp
  setae  %sil
  or     %sil,%dl
  je     L54
  lea    -0x1(%rcx),%edx
  cmp    $0xe,%edx
  jbe    L54
  mov    %ecx,%esi
  movdqa D6(%rip),%xmm3
  mov    %rbx,%rdx
  shr    $0x4,%esi
  shl    $0x6,%rsi
  add    %rbp,%rsi
  cs nopw 0x0(%rax,%rax,1)
L161:
  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    %rsi,%rax
  jne    L161
  mov    %ecx,%eax
  and    $0xfffffff0,%eax
  test   $0xf,%cl
  je     L147
  mov    %eax,%esi
  mov    0x0(%rbp,%rsi,4),%r8d
  lea    0x0(,%rsi,4),%rdx
  mov    %r8b,(%rbx,%rsi,1)
  lea    0x1(%rax),%esi
  cmp    %esi,%ecx
  jle    L147
  mov    0x4(%rbp,%rdx,1),%r8d
  movslq %esi,%rsi
  mov    %r8b,(%rbx,%rsi,1)
  lea    0x2(%rax),%esi
  cmp    %esi,%ecx
  jle    L147
  mov    0x8(%rbp,%rdx,1),%r8d
  movslq %esi,%rsi
  mov    %r8b,(%rbx,%rsi,1)
  lea    0x3(%rax),%esi
  cmp    %esi,%ecx
  jle    L147
  mov    0xc(%rbp,%rdx,1),%r8d
  movslq %esi,%rsi
  mov    %r8b,(%rbx,%rsi,1)
  lea    0x4(%rax),%esi
  cmp    %esi,%ecx
  jle    L147
  mov    0x10(%rbp,%rdx,1),%r8d
  movslq %esi,%rsi
  mov    %r8b,(%rbx,%rsi,1)
  lea    0x5(%rax),%esi
  cmp    %esi,%ecx
  jle    L147
  mov    0x14(%rbp,%rdx,1),%r8d
  movslq %esi,%rsi
  mov    %r8b,(%rbx,%rsi,1)
  lea    0x6(%rax),%esi
  cmp    %esi,%ecx
  jle    L147
  mov    0x18(%rbp,%rdx,1),%r8d
  movslq %esi,%rsi
  mov    %r8b,(%rbx,%rsi,1)
  lea    0x7(%rax),%esi
  cmp    %esi,%ecx
  jle    L147
  mov    0x1c(%rbp,%rdx,1),%r8d
  movslq %esi,%rsi
  mov    %r8b,(%rbx,%rsi,1)
  lea    0x8(%rax),%esi
  cmp    %esi,%ecx
  jle    L147
  mov    0x20(%rbp,%rdx,1),%r8d
  movslq %esi,%rsi
  mov    %r8b,(%rbx,%rsi,1)
  lea    0x9(%rax),%esi
  cmp    %esi,%ecx
  jle    L147
  mov    0x24(%rbp,%rdx,1),%r8d
  movslq %esi,%rsi
  mov    %r8b,(%rbx,%rsi,1)
  lea    0xa(%rax),%esi
  cmp    %esi,%ecx
  jle    L147
  mov    0x28(%rbp,%rdx,1),%r8d
  movslq %esi,%rsi
  mov    %r8b,(%rbx,%rsi,1)
  lea    0xb(%rax),%esi
  cmp    %esi,%ecx
  jle    L147
  mov    0x2c(%rbp,%rdx,1),%r8d
  movslq %esi,%rsi
  mov    %r8b,(%rbx,%rsi,1)
  lea    0xc(%rax),%esi
  cmp    %esi,%ecx
  jle    L147
  mov    0x30(%rbp,%rdx,1),%r8d
  movslq %esi,%rsi
  mov    %r8b,(%rbx,%rsi,1)
  lea    0xd(%rax),%esi
  cmp    %esi,%ecx
  jle    L147
  mov    0x34(%rbp,%rdx,1),%r8d
  movslq %esi,%rsi
  add    $0xe,%eax
  mov    %r8b,(%rbx,%rsi,1)
  cmp    %eax,%ecx
  jle    L147
  mov    0x38(%rbp,%rdx,1),%edx
  cltq
  mov    %dl,(%rbx,%rax,1)
  nopl   0x0(%rax)
L147:
  movb   $0x0,(%rbx,%rdi,1)
  mov    %rbp,%rdi
  call   <free@plt>
  mov    0x8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L152
  add    $0x10,%rsp
  mov    %r12d,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
  nopl   0x0(%rax,%rax,1)
L54:
  mov    %ecx,%ecx
  mov    %rbx,%rdx
  lea    0x0(%rbp,%rcx,4),%rsi
  nopw   0x0(%rax,%rax,1)
L88:
  mov    (%rax),%ecx
  add    $0x4,%rax
  add    $0x1,%rdx
  mov    %cl,-0x1(%rdx)
  cmp    %rsi,%rax
  jne    L88
  jmp    L147
L152:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: retrieve_data
arguments: label: D6
type_infered: byte[16]

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

assistant: ```c
int syscon_load_dobldobl_Laurential(int k, int *nc, char *p) {
  int fail, i, szl;
  int *buffer;
  int size = k;
  double *c;
  fail = syscon_dobldobl_Laurent_size_limit(k, &szl);
  buffer = (int *)calloc(szl, sizeof(int));
  fail = _ada_use_c2phc(559, &size, buffer, c);
  for (i = 0; i < size; i++)
    p[i] = (char)buffer[i];
  p[size] = '\0';
  free(buffer);
  return fail;
}
```