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

```asm
<randombody>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x48,%rsp
  mov    $0xbb7,%r15d
  pxor   %xmm5,%xmm5
  movsd  %xmm5,0x30(%rsp)
  movsd  %xmm5,0x28(%rsp)
  movsd  %xmm5,0x20(%rsp)
L7:
  mov    $0x0,%eax
  call   <rand@plt>
  movslq %eax,%rdx
  imul   $0x68db8bad,%rdx,%rdx
  sar    $0x2b,%rdx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  imul   $0x1388,%edx,%edx
  sub    %edx,%eax
  pxor   %xmm2,%xmm2
  cvtsi2sd %eax,%xmm2
  movsd  %xmm2,0x8(%rsp)
  mov    $0x0,%eax
  call   <rand@plt>
  mov    %eax,%r12d
  mov    $0x0,%eax
  call   <rand@plt>
  mov    %eax,%r13d
  mov    $0x0,%eax
  call   <rand@plt>
  mov    %eax,%r14d
  mov    $0x0,%eax
  call   <rand@plt>
  movslq %eax,%rdx
  imul   $0x66666667,%rdx,%rdx
  sar    $0x23,%rdx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  lea    (%rdx,%rdx,4),%edx
  shl    $0x2,%edx
  sub    %edx,%eax
  sub    $0xa,%eax
  pxor   %xmm3,%xmm3
  cvtsi2sd %eax,%xmm3
  movsd  %xmm3,0x10(%rsp)
  mov    $0x0,%eax
  call   <rand@plt>
  movslq %eax,%rdx
  imul   $0x66666667,%rdx,%rdx
  sar    $0x23,%rdx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  lea    (%rdx,%rdx,4),%edx
  shl    $0x2,%edx
  sub    %edx,%eax
  sub    $0xa,%eax
  pxor   %xmm4,%xmm4
  cvtsi2sd %eax,%xmm4
  movsd  %xmm4,0x18(%rsp)
  mov    $0x0,%eax
  call   <rand@plt>
  movslq %eax,%rdx
  imul   $0x66666667,%rdx,%rdx
  sar    $0x23,%rdx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  lea    (%rdx,%rdx,4),%edx
  shl    $0x2,%edx
  sub    %edx,%eax
  sub    $0xa,%eax
  pxor   %xmm7,%xmm7
  cvtsi2sd %eax,%xmm7
  movsd  0x8(%rsp),%xmm2
  movapd %xmm2,%xmm0
  mulsd  0x10(%rsp),%xmm0
  addsd  0x20(%rsp),%xmm0
  movsd  %xmm0,0x20(%rsp)
  movapd %xmm2,%xmm0
  mulsd  0x18(%rsp),%xmm0
  addsd  0x28(%rsp),%xmm0
  movsd  %xmm0,0x28(%rsp)
  movapd %xmm2,%xmm0
  movsd  %xmm7,0x38(%rsp)
  mulsd  %xmm7,%xmm0
  movapd %xmm0,%xmm1
  addsd  0x30(%rsp),%xmm1
  movsd  %xmm1,0x30(%rsp)
  mov    $0x0,%eax
  call   <rand@plt>
  mov    %eax,%ebx
  mov    $0x0,%eax
  call   <rand@plt>
  mov    %eax,%ebp
  mov    $0x0,%eax
  call   <rand@plt>
  movslq %r14d,%rdx
  imul   $0x51eb851f,%rdx,%rdx
  sar    $0x25,%rdx
  mov    %r14d,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  imul   $0x64,%edx,%edx
  sub    %edx,%r14d
  sub    $0x32,%r14d
  movslq %r13d,%rdx
  imul   $0x51eb851f,%rdx,%rdx
  sar    $0x25,%rdx
  mov    %r13d,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  imul   $0x64,%edx,%edx
  sub    %edx,%r13d
  sub    $0x32,%r13d
  movslq %r12d,%rdx
  imul   $0x51eb851f,%rdx,%rdx
  sar    $0x25,%rdx
  mov    %r12d,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  imul   $0x64,%edx,%edx
  sub    %edx,%r12d
  sub    $0x32,%r12d
  sub    $0x20,%rsp
  cltd
  shr    $0x18,%edx
  add    %edx,%eax
  movzbl %al,%eax
  sub    %edx,%eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  D38(%rip),%xmm0
  movsd  %xmm0,0x10(%rsp)
  mov    %ebp,%eax
  sar    $0x1f,%eax
  shr    $0x18,%eax
  add    %eax,%ebp
  movzbl %bpl,%ebp
  sub    %eax,%ebp
  pxor   %xmm0,%xmm0
  cvtsi2sd %ebp,%xmm0
  mulsd  D38(%rip),%xmm0
  movsd  %xmm0,0x8(%rsp)
  mov    %ebx,%eax
  sar    $0x1f,%eax
  shr    $0x18,%eax
  add    %eax,%ebx
  movzbl %bl,%ebx
  sub    %eax,%ebx
  pxor   %xmm0,%xmm0
  cvtsi2sd %ebx,%xmm0
  mulsd  D38(%rip),%xmm0
  movsd  %xmm0,(%rsp)
  movsd  0x58(%rsp),%xmm7
  movsd  0x38(%rsp),%xmm6
  movsd  0x30(%rsp),%xmm5
  pxor   %xmm4,%xmm4
  cvtsi2sd %r14d,%xmm4
  pxor   %xmm3,%xmm3
  cvtsi2sd %r13d,%xmm3
  pxor   %xmm2,%xmm2
  cvtsi2sd %r12d,%xmm2
  movsd  0x28(%rsp),%xmm0
  movapd %xmm0,%xmm1
  divsd  D19(%rip),%xmm1
  call   <makeBody@plt>
  add    $0x20,%rsp
  sub    $0x1,%r15d
  jne    L7
  mov    $0x0,%eax
  call   <rand@plt>
  movslq %eax,%rdx
  imul   $0x10624dd3,%rdx,%rdx
  sar    $0x25,%rdx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  imul   $0x1f4,%edx,%edx
  sub    %edx,%eax
  add    $0x1f4,%eax
  pxor   %xmm3,%xmm3
  cvtsi2sd %eax,%xmm3
  movsd  %xmm3,0x8(%rsp)
  mov    $0x0,%eax
  call   <rand@plt>
  mov    %eax,%ebx
  mov    $0x0,%eax
  call   <rand@plt>
  mov    %eax,%ebp
  mov    $0x0,%eax
  call   <rand@plt>
  mov    %eax,%r12d
  movsd  0x20(%rsp),%xmm5
  movsd  0x8(%rsp),%xmm3
  divsd  %xmm3,%xmm5
  movsd  %xmm5,0x10(%rsp)
  movsd  0x28(%rsp),%xmm6
  divsd  %xmm3,%xmm6
  movsd  %xmm6,0x18(%rsp)
  movsd  0x30(%rsp),%xmm4
  divsd  %xmm3,%xmm4
  movsd  %xmm4,0x20(%rsp)
  mov    $0x0,%eax
  call   <rand@plt>
  mov    %eax,%r13d
  mov    $0x0,%eax
  call   <rand@plt>
  mov    %eax,%r14d
  mov    $0x0,%eax
  call   <rand@plt>
  movslq %r12d,%rdx
  imul   $0x51eb851f,%rdx,%rdx
  sar    $0x24,%rdx
  mov    %r12d,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  imul   $0x32,%edx,%edx
  mov    %r12d,%ecx
  sub    %edx,%ecx
  sub    $0x19,%ecx
  movslq %ebp,%rdx
  imul   $0x51eb851f,%rdx,%rdx
  sar    $0x24,%rdx
  mov    %ebp,%esi
  sar    $0x1f,%esi
  sub    %esi,%edx
  imul   $0x32,%edx,%edx
  mov    %ebp,%esi
  sub    %edx,%esi
  sub    $0x19,%esi
  movslq %ebx,%rdx
  imul   $0x51eb851f,%rdx,%rdx
  sar    $0x24,%rdx
  mov    %ebx,%edi
  sar    $0x1f,%edi
  sub    %edi,%edx
  imul   $0x32,%edx,%edx
  sub    %edx,%ebx
  lea    -0x19(%rbx),%edx
  sub    $0x20,%rsp
  mov    %eax,%edi
  sar    $0x1f,%edi
  shr    $0x18,%edi
  add    %edi,%eax
  movzbl %al,%eax
  sub    %edi,%eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  D38(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,0x10(%rsp)
  mov    %r14d,%edi
  sar    $0x1f,%edi
  shr    $0x18,%edi
  lea    (%r14,%rdi,1),%eax
  movzbl %al,%eax
  sub    %edi,%eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,0x8(%rsp)
  mov    %r13d,%edi
  sar    $0x1f,%edi
  shr    $0x18,%edi
  lea    0x0(%r13,%rdi,1),%eax
  movzbl %al,%eax
  sub    %edi,%eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,(%rsp)
  movsd  0x40(%rsp),%xmm7
  movsd  0x38(%rsp),%xmm6
  movsd  0x30(%rsp),%xmm5
  pxor   %xmm4,%xmm4
  cvtsi2sd %ecx,%xmm4
  pxor   %xmm3,%xmm3
  cvtsi2sd %esi,%xmm3
  pxor   %xmm2,%xmm2
  cvtsi2sd %edx,%xmm2
  movsd  0x28(%rsp),%xmm0
  movapd %xmm0,%xmm1
  divsd  D19(%rip),%xmm1
  call   <makeBody@plt>
  add    $0x68,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: unpack_data
arguments: data_tag: D38
type_infered: f32[2]
name: unpack_data
arguments: data_tag: D19
type_infered: f64

tool: {"D38": [0.0,0.9375]}

tool: D19: 1000

assistant: ```c
void randombody() {
  int index;
  double mx = 0;
  double my = 0;
  double mz = 0;
  for (index = 0; index < 3000; index++) {
    if (index < 3000 - 1) {
      double m = 1;
      m = rand() % 5000;
      double r = m / 1000;
      double xpos = (rand() % 100) - 50;
      double ypos = (rand() % 100) - 50;
      double zpos = (rand() % 100) - 50;
      double i = (rand() % 20) - 10;
      double j = (rand() % 20) - 10;
      double k = (rand() % 20) - 10;
      mx += m * i;
      my += m * j;
      mz += m * k;
      double rc = (double)(rand() % 256) / 256.0;
      double g = (double)(rand() % 256) / 256.0;
      double b = (double)(rand() % 256) / 256.0;
      makeBody(m, r, xpos, ypos, zpos, i, j, k, rc, g, b);
    } else {
      double m = 1;
      m = rand() % 500 + 500;
      double r = m / 1000;
      double xpos = (rand() % 50) - 25;
      double ypos = (rand() % 50) - 25;
      double zpos = (rand() % 50) - 25;
      double i = mx / m;
      double j = my / m;
      double k = mz / m;
      double rc = (double)(rand() % 256) / 256.0;
      double g = (double)(rand() % 256) / 256.0;
      double b = (double)(rand() % 256) / 256.0;
      makeBody(m, r, xpos, ypos, zpos, i, j, k, rc, g, b);
    }
  }
}
```