user: Please show me the C implementation that matches the assembly code listed below:

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

tool_calls: name: extract_symbolic_data
arguments: tag: D18
type_infered: f32[2]
name: extract_symbolic_data
arguments: tag: D42
type_infered: f64

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

tool: D42: 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);
    }
  }
}
```