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

```asm
<jacmodhs76>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %rbx
  mov    %rdi,-0x10(%rbp)
  mov    %rsi,-0x18(%rbp)
  mov    %edx,-0x1c(%rbp)
  mov    %ecx,-0x20(%rbp)
  mov    %r8,-0x28(%rbp)
  mov    $0x0,%ebx
  mov    %ebx,%eax
  lea    0x1(%rax),%ebx
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  D6(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    %ebx,%eax
  lea    0x1(%rax),%ebx
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    %ebx,%eax
  lea    0x1(%rax),%ebx
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    %ebx,%eax
  lea    0x1(%rax),%ebx
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    %ebx,%eax
  lea    0x1(%rax),%ebx
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    %ebx,%eax
  lea    0x1(%rax),%ebx
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  D0(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    %ebx,%eax
  lea    0x1(%rax),%ebx
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    %ebx,%eax
  lea    0x1(%rax),%ebx
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    %ebx,%eax
  lea    0x1(%rax),%ebx
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    %ebx,%eax
  lea    0x1(%rax),%ebx
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    %ebx,%eax
  lea    0x1(%rax),%ebx
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  D6(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    %ebx,%eax
  lea    0x1(%rax),%ebx
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    %ebx,%eax
  lea    0x1(%rax),%ebx
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    %ebx,%eax
  lea    0x1(%rax),%ebx
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    %ebx,%eax
  lea    0x1(%rax),%ebx
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    %ebx,%eax
  lea    0x1(%rax),%ebx
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  D0(%rip),%xmm0
  movsd  %xmm0,(%rax)
  nop
  mov    -0x8(%rbp),%rbx
  leave
  ret
```

tool_calls: name: disassemble_data
arguments: data_tag: D6
datatype: f64
name: disassemble_data
arguments: data_tag: D0
datatype: byte[8]

tool: D6: 1

tool: {"D0": [0xcd,0x3b,0x7f,0x66,0x9e,0xa0,0xe6,0x3f]}

assistant: ```c
void jacmodhs76(double *p, double *jac, int m, int n, void *data) {
  register int j = 0;
  jac[j++] = 1.0;
  jac[j++] = 0.0;
  jac[j++] = 0.0;
  jac[j++] = 0.0;
  jac[j++] = 0.0;
  jac[j++] = sqrt(0.5);
  jac[j++] = 0.0;
  jac[j++] = 0.0;
  jac[j++] = 0.0;
  jac[j++] = 0.0;
  jac[j++] = 1.0;
  jac[j++] = 0.0;
  jac[j++] = 0.0;
  jac[j++] = 0.0;
  jac[j++] = 0.0;
  jac[j++] = sqrt(0.5);
}
```