user: What is the c source code of the assembly code below?

```asm
<case30>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x10,%rsp
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x0,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x1,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x2,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x3,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x4,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x5,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x6,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x7,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x8,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x9,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0xa,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0xb,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0xc,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0xd,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0xe,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0xf,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x10,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x11,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x12,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x13,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x14,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x15,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x16,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x17,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x18,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x19,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x1a,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x1b,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x1c,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    D285(%rip),%rax
  movq   %rax,%xmm0
  mov    $0x1d,%edi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vsume@plt>
  mov    %rax,%rdx
  mov    D488(%rip),%rax
  movq   %rax,%xmm0
  mov    %rdx,%rdi
  call   <vcons@plt>
  mov    %eax,%edi
  call   <vnorm@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %rax,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: read_data
arguments: label: D285
datatype: f64
name: read_data
arguments: label: D488
datatype: f64

tool: D285: 1

tool: D488: 2

assistant: ```c
double case30() {
  double acc = 0.0;
  acc += vnorm(vcons((long)vsume(vcons(0, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(1, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(2, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(3, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(4, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(5, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(6, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(7, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(8, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(9, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(10, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(11, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(12, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(13, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(14, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(15, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(16, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(17, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(18, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(19, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(20, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(21, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(22, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(23, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(24, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(25, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(26, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(27, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(28, 1.0)), 2.0));
  acc += vnorm(vcons((long)vsume(vcons(29, 1.0)), 2.0));
  return (acc);
}
```