user: What would the C source look like for the assembly code provided here?

```asm
<velobeta>:
  endbr64
  mov    %edi,%r11d
  test   %edi,%edi
  jle    L144
  mov    %edx,%eax
  push   %r15
  movslq %esi,%rdx
  movslq %r11d,%r10
  push   %r14
  mov    %esi,%edi
  sub    $0x1,%r10
  lea    0x0(,%rdx,8),%rsi
  push   %r13
  push   %r12
  movslq %eax,%r12
  push   %rbp
  push   %rbx
  mov    %rcx,%rbx
  lea    0x0(,%r12,8),%rcx
  cmp    $0x1,%eax
  jne    L96
  cmp    $0x1,%edi
  jne    L96
  mov    %rcx,%rax
  xor    %r14d,%r14d
  mov    %rsi,%rdi
  imul   %r10,%rax
  mov    %r14,%rbp
  mov    %r14,%r15
  mov    %r14,%r13
  imul   %r10,%rdi
  test   %rcx,%rcx
  cmovs  %rax,%rbp
  add    %r8,%rbp
  test   %rcx,%rcx
  cmovns %rax,%r15
  add    %r8,%r15
  test   %rsi,%rsi
  cmovs  %rdi,%r13
  add    %rbx,%r13
  cmp    %r13,%r15
  setb   %r13b
  test   %rsi,%rsi
  cmovs  %r14,%rdi
  add    %rbx,%rdi
  cmp    %rdi,%rbp
  seta   %dil
  or     %edi,%r13d
  lea    -0x1(%r11),%edi
  cmp    $0x3,%edi
  seta   %dil
  test   %dil,%r13b
  je     L35
  add    $0x4,%rax
  mov    $0x4,%edi
  test   %rcx,%rcx
  cmovs  %rdi,%rax
  lea    (%r9,%r10,4),%rdi
  add    %r8,%rax
  cmp    %rax,%r9
  seta   %al
  cmp    %rdi,%rbp
  seta   %dil
  or     %dil,%al
  je     L35
  mov    %r11d,%r14d
  mov    %rdx,%rbp
  mov    %r12,%r13
  shl    $0x4,%rdx
  shr    $0x2,%r14d
  lea    (%r12,%r12,2),%r12
  shl    $0x5,%rbp
  mov    %rbx,%r10
  sub    $0x1,%r14d
  shl    $0x5,%r13
  mov    %r8,%rax
  mov    %r9,%rdi
  shl    $0x4,%r14
  add    %rbx,%rdx
  shl    $0x3,%r12
  pxor   %xmm3,%xmm3
  movapd D3(%rip),%xmm2
  lea    0x10(%r9,%r14,1),%r14
  nopl   0x0(%rax)
L100:
  movsd  (%r10),%xmm1
  movsd  (%rdx),%xmm0
  add    $0x10,%rdi
  movhpd (%r10,%rsi,1),%xmm1
  movhpd (%rdx,%rsi,1),%xmm0
  add    %rbp,%r10
  add    %rbp,%rdx
  divpd  %xmm2,%xmm1
  divpd  %xmm2,%xmm0
  movlpd %xmm1,(%rax)
  movhpd %xmm1,(%rax,%rcx,1)
  movlpd %xmm0,(%rax,%rcx,2)
  movhpd %xmm0,(%rax,%r12,1)
  add    %r13,%rax
  movups %xmm3,-0x10(%rdi)
  cmp    %rdi,%r14
  jne    L100
L120:
  mov    %r11d,%edi
  mov    %rsi,%rdx
  and    $0xfffffffc,%edi
  mov    %edi,%eax
  imul   %rax,%rdx
  lea    (%r9,%rax,4),%r9
  imul   %rcx,%rax
  add    %rbx,%rdx
  add    %r8,%rax
  cmp    %edi,%r11d
  je     L33
  movsd  (%rdx),%xmm0
  movsd  D3(%rip),%xmm1
  lea    0x1(%rdi),%r8d
  add    %rsi,%rdx
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  add    %rcx,%rax
  movl   $0x0,(%r9)
  cmp    %r8d,%r11d
  jle    L33
  movsd  (%rdx),%xmm0
  add    $0x2,%edi
  add    %rsi,%rdx
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  add    %rcx,%rax
  movl   $0x0,0x4(%r9)
  cmp    %edi,%r11d
  jle    L33
  movsd  (%rdx),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movl   $0x0,0x8(%r9)
L33:
  pop    %rbx
  xor    %eax,%eax
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   (%rax)
L96:
  mov    %rcx,%rax
  xor    %r14d,%r14d
  mov    %rsi,%rdi
  imul   %r10,%rax
  mov    %r14,%rbp
  mov    %r14,%r15
  mov    %r14,%r13
  imul   %r10,%rdi
  test   %rcx,%rcx
  cmovs  %rax,%rbp
  add    %r8,%rbp
  test   %rcx,%rcx
  cmovns %rax,%r15
  add    %r8,%r15
  test   %rsi,%rsi
  cmovs  %rdi,%r13
  add    %rbx,%r13
  cmp    %r13,%r15
  setb   %r13b
  test   %rsi,%rsi
  cmovs  %r14,%rdi
  add    %rbx,%rdi
  cmp    %rdi,%rbp
  seta   %dil
  or     %edi,%r13d
  lea    -0x1(%r11),%edi
  cmp    $0x3,%edi
  seta   %dil
  test   %dil,%r13b
  je     L75
  add    $0x4,%rax
  mov    $0x4,%edi
  test   %rcx,%rcx
  cmovs  %rdi,%rax
  lea    (%r9,%r10,4),%rdi
  add    %r8,%rax
  cmp    %rax,%r9
  seta   %al
  cmp    %rdi,%rbp
  seta   %dil
  or     %dil,%al
  je     L75
  mov    %r11d,%r14d
  mov    %rdx,%rbp
  mov    %r12,%r13
  shl    $0x4,%rdx
  shr    $0x2,%r14d
  lea    (%r12,%r12,2),%r12
  shl    $0x5,%rbp
  mov    %rbx,%r10
  sub    $0x1,%r14d
  shl    $0x5,%r13
  mov    %r8,%rax
  mov    %r9,%rdi
  shl    $0x4,%r14
  add    %rbx,%rdx
  shl    $0x3,%r12
  pxor   %xmm3,%xmm3
  movapd D3(%rip),%xmm2
  lea    0x10(%r9,%r14,1),%r14
  nopw   0x0(%rax,%rax,1)
L147:
  movsd  (%r10),%xmm1
  movsd  (%rdx),%xmm0
  add    $0x10,%rdi
  movhpd (%r10,%rsi,1),%xmm1
  movhpd (%rdx,%rsi,1),%xmm0
  add    %rbp,%r10
  add    %rbp,%rdx
  divpd  %xmm2,%xmm1
  divpd  %xmm2,%xmm0
  movlpd %xmm1,(%rax)
  movhpd %xmm1,(%rax,%rcx,1)
  movlpd %xmm0,(%rax,%rcx,2)
  movhpd %xmm0,(%rax,%r12,1)
  add    %r13,%rax
  movups %xmm3,-0x10(%rdi)
  cmp    %r14,%rdi
  jne    L147
  jmp    L120
  nopl   0x0(%rax,%rax,1)
L35:
  mov    %r11d,%r11d
  movsd  D3(%rip),%xmm1
  lea    (%r9,%r11,4),%rax
  nopw   0x0(%rax,%rax,1)
L17:
  movsd  (%rbx),%xmm0
  add    $0x4,%r9
  add    %rsi,%rbx
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%r8)
  add    %rcx,%r8
  movl   $0x0,-0x4(%r9)
  cmp    %rax,%r9
  jne    L17
  pop    %rbx
  xor    %eax,%eax
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax)
L144:
  xor    %eax,%eax
  ret
L75:
  mov    %r11d,%r11d
  movsd  D3(%rip),%xmm1
  lea    (%r9,%r11,4),%rax
  nopw   0x0(%rax,%rax,1)
L24:
  movsd  (%rbx),%xmm0
  add    $0x4,%r9
  add    %rsi,%rbx
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%r8)
  add    %rcx,%r8
  movl   $0x0,-0x4(%r9)
  cmp    %rax,%r9
  jne    L24
  jmp    L33
```

tool_calls: name: retrieve_data
arguments: label: D3
type_infered: f64[2]

tool: {"D3": [299792458.0,299792458.0]}

assistant: ```c
int velobeta(dummy, nvelo, svelo, sbeta, velo, beta, stat)
double dummy;
int nvelo, svelo, sbeta;
const double velo[];
double beta[];
int stat[];
{
  register int ivelo, *statp;
  register const double *velop;
  register double *betap;
  velop = velo;
  betap = beta;
  statp = stat;
  for (ivelo = 0; ivelo < nvelo; ivelo++) {
    *betap = (*velop) / 2.99792458e8;
    *(statp++) = 0;
    velop += svelo;
    betap += sbeta;
  }
  return 0;
}
```