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

```asm
<vranlc>:
  endbr64
  movapd %xmm0,%xmm1
  mulsd  D28(%rip),%xmm1
  cvttsd2si %xmm1,%eax
  pxor   %xmm7,%xmm7
  cvtsi2sd %eax,%xmm7
  movapd %xmm7,%xmm1
  mulsd  D38(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  (%rsi),%xmm1
  test   %edi,%edi
  jle    L13
  lea    0x8(%rdx),%rax
  lea    -0x1(%rdi),%ecx
  lea    0x10(%rdx,%rcx,8),%rcx
  movsd  D28(%rip),%xmm6
  movsd  D38(%rip),%xmm4
  movsd  D34(%rip),%xmm5
  movsd  D16(%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
L13:
  movsd  %xmm1,(%rsi)
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D28
type_guessed: byte[8]
name: extract_symbolic_data
arguments: tag: D38
type_guessed: byte[8]
name: extract_symbolic_data
arguments: tag: D34
type_guessed: byte[8]
name: extract_symbolic_data
arguments: tag: D16
type_guessed: byte[8]

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

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

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

tool: {"D16": [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;
}
```