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

```asm
<build_rotmatrix>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x8(%rbp)
  mov    %rsi,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  cvtss2sd %xmm0,%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  D39(%rip),%xmm0
  subsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  mov    -0x8(%rbp),%rax
  movss  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  addss  %xmm0,%xmm0
  mov    -0x8(%rbp),%rax
  movss  %xmm0,0x4(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  addss  %xmm0,%xmm0
  mov    -0x8(%rbp),%rax
  movss  %xmm0,0x8(%rax)
  mov    -0x8(%rbp),%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,0xc(%rax)
  mov    -0x10(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  mov    -0x8(%rbp),%rax
  add    $0x10,%rax
  addss  %xmm0,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x10(%rbp),%rax
  movss  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  cvtss2sd %xmm0,%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  D39(%rip),%xmm0
  subsd  %xmm1,%xmm0
  mov    -0x8(%rbp),%rax
  add    $0x10,%rax
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,0x4(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x10(%rbp),%rax
  movss  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  mov    -0x8(%rbp),%rax
  add    $0x10,%rax
  addss  %xmm0,%xmm0
  movss  %xmm0,0x8(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x10,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,0xc(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x10(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm1
  mulss  %xmm2,%xmm1
  subss  %xmm1,%xmm0
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  addss  %xmm0,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x10(%rbp),%rax
  movss  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  addss  %xmm0,%xmm0
  movss  %xmm0,0x4(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  mulss  %xmm0,%xmm1
  mov    -0x10(%rbp),%rax
  movss  (%rax),%xmm2
  mov    -0x10(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  cvtss2sd %xmm0,%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  D39(%rip),%xmm0
  subsd  %xmm1,%xmm0
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,0x8(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,0xc(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x30,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x30,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,0x4(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x30,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,0x8(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x30,%rax
  movss  D5(%rip),%xmm0
  movss  %xmm0,0xc(%rax)
  nop
  pop    %rbp
  ret
```

tool_calls: name: retrieve_data
arguments: data_tag: D39
type_guessed: f64
name: retrieve_data
arguments: data_tag: D5
type_guessed: byte[4]

tool: D39: 1

tool: {"D5": [0x00,0x00,0x80,0x3f]}

assistant: ```c
void build_rotmatrix(float m[4][4], const float q[4]) {
  m[0][0] = 1.0 - 2.0 * (q[1] * q[1] + q[2] * q[2]);
  m[0][1] = 2.0 * (q[0] * q[1] - q[2] * q[3]);
  m[0][2] = 2.0 * (q[2] * q[0] + q[1] * q[3]);
  m[0][3] = 0.0;
  m[1][0] = 2.0 * (q[0] * q[1] + q[2] * q[3]);
  m[1][1] = 1.0 - 2.0 * (q[2] * q[2] + q[0] * q[0]);
  m[1][2] = 2.0 * (q[1] * q[2] - q[0] * q[3]);
  m[1][3] = 0.0;
  m[2][0] = 2.0 * (q[2] * q[0] - q[1] * q[3]);
  m[2][1] = 2.0 * (q[1] * q[2] + q[0] * q[3]);
  m[2][2] = 1.0 - 2.0 * (q[1] * q[1] + q[0] * q[0]);
  m[2][3] = 0.0;
  m[3][0] = 0.0;
  m[3][1] = 0.0;
  m[3][2] = 0.0;
  m[3][3] = 1.0;
}
```