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

```asm
<vranlc>:
  endbr64
  movapd %xmm0,%xmm1
  mulsd  D58(%rip),%xmm1
  cvttsd2si %xmm1,%eax
  pxor   %xmm7,%xmm7
  cvtsi2sd %eax,%xmm7
  movapd %xmm7,%xmm1
  mulsd  D40(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  (%rsi),%xmm1
  test   %edi,%edi
  jle    L18
  lea    0x8(%rdx),%rax
  lea    -0x1(%rdi),%ecx
  lea    0x10(%rdx,%rcx,8),%rcx
  movsd  D58(%rip),%xmm6
  movsd  D40(%rip),%xmm4
  movsd  D42(%rip),%xmm5
  movsd  D4(%rip),%xmm8
L10:
  movapd %xmm1,%xmm2
  mulsd  %xmm6,%xmm2
  cvttsd2si %xmm2,%edx
  pxor   %xmm3,%xmm3
  cvtsi2sd %edx,%xmm3
  movapd %xmm3,%xmm9
  mulsd  %xmm4,%xmm9
  subsd  %xmm9,%xmm1
  movapd %xmm1,%xmm2
  movapd %xmm7,%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  %xmm0,%xmm3
  addsd  %xmm3,%xmm1
  movapd %xmm1,%xmm3
  mulsd  %xmm6,%xmm3
  cvttsd2si %xmm3,%edx
  pxor   %xmm3,%xmm3
  cvtsi2sd %edx,%xmm3
  mulsd  %xmm4,%xmm3
  subsd  %xmm3,%xmm1
  mulsd  %xmm4,%xmm1
  mulsd  %xmm0,%xmm2
  addsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  %xmm5,%xmm2
  cvttsd2si %xmm2,%edx
  pxor   %xmm2,%xmm2
  cvtsi2sd %edx,%xmm2
  mulsd  %xmm8,%xmm2
  subsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  %xmm5,%xmm2
  movsd  %xmm2,(%rax)
  add    $0x8,%rax
  cmp    %rcx,%rax
  jne    L10
L18:
  movsd  %xmm1,(%rsi)
  ret
```

tool_calls: name: unpack_data
arguments: label: D58
type_infered: byte[8]
name: unpack_data
arguments: label: D40
type_infered: byte[8]
name: unpack_data
arguments: label: D42
type_infered: byte[8]
name: unpack_data
arguments: label: D4
type_infered: byte[8]

tool: {"D58": [0x00,0x00,0x00,0x00,0x00,0x00,0x80,0x3e]}

tool: {"D40": [0x00,0x00,0x00,0x00,0x00,0x00,0x60,0x41]}

tool: {"D42": [0x00,0x00,0x00,0x00,0x00,0x00,0x10,0x3d]}

tool: {"D4": [0x00,0x00,0x00,0x00,0x00,0x00,0xd0,0x42]}

assistant: ```c
void vranlc(int n, double *x_seed, double a, double *y) {
  int i;
  double x, t1, t2, t3, t4, a1, a2, x1, x2, z;
  t1 = (0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5) * a;
  a1 = (int)t1;
  a2 = a - (2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0) * a1;
  x = *x_seed;
  for (i = 1; i <= n; i++) {
    t1 = (0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5) * x;
    x1 = (int)t1;
    x2 = x - (2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0) * x1;
    t1 = a1 * x2 + a2 * x1;
    t2 = (int)((0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5) * t1);
    z = t1 - (2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0) * t2;
    t3 = (2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0) * z + a2 * x2;
    t4 = (int)(((0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5) * (0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5)) * t3);
    x = t3 - ((2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0) * (2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0 * 2.0)) * t4;
    y[i] = ((0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5) * (0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5 * 0.5)) * x;
  }
  *x_seed = x;
}
```