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

```asm
<m_rot>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xd0,%rsp
  mov    %rdi,-0xb8(%rbp)
  mov    %rsi,-0xc0(%rbp)
  movss  %xmm0,-0xc4(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  pxor   %xmm3,%xmm3
  cvtss2sd -0xc4(%rbp),%xmm3
  movq   %xmm3,%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  pxor   %xmm0,%xmm0
  cvtsi2ss %rax,%xmm0
  movss  %xmm0,-0xa4(%rbp)
  pxor   %xmm4,%xmm4
  cvtss2sd -0xc4(%rbp),%xmm4
  movq   %xmm4,%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  pxor   %xmm0,%xmm0
  cvtsi2ss %rax,%xmm0
  movss  %xmm0,-0xa0(%rbp)
  mov    -0xc0(%rbp),%rdx
  lea    -0x9c(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <v_nrm@plt>
  movss  -0x9c(%rbp),%xmm1
  movss  -0x9c(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x90(%rbp)
  movss  -0x9c(%rbp),%xmm1
  movss  -0x98(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x80(%rbp)
  movss  -0x9c(%rbp),%xmm1
  movss  -0x94(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x70(%rbp)
  movss  -0x98(%rbp),%xmm1
  movss  -0x9c(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x8c(%rbp)
  movss  -0x98(%rbp),%xmm1
  movss  -0x98(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x7c(%rbp)
  movss  -0x98(%rbp),%xmm1
  movss  -0x94(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x6c(%rbp)
  movss  -0x94(%rbp),%xmm1
  movss  -0x9c(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x88(%rbp)
  movss  -0x94(%rbp),%xmm1
  movss  -0x98(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x78(%rbp)
  movss  -0x94(%rbp),%xmm1
  movss  -0x94(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x68(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x50(%rbp)
  movss  -0x94(%rbp),%xmm0
  movss  D40(%rip),%xmm1
  xorps  %xmm1,%xmm0
  movss  %xmm0,-0x40(%rbp)
  movss  -0x98(%rbp),%xmm0
  movss  %xmm0,-0x30(%rbp)
  movss  -0x94(%rbp),%xmm0
  movss  %xmm0,-0x4c(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x3c(%rbp)
  movss  -0x9c(%rbp),%xmm0
  movss  D40(%rip),%xmm1
  xorps  %xmm1,%xmm0
  movss  %xmm0,-0x2c(%rbp)
  movss  -0x98(%rbp),%xmm0
  movss  D40(%rip),%xmm1
  xorps  %xmm1,%xmm0
  movss  %xmm0,-0x48(%rbp)
  movss  -0x9c(%rbp),%xmm0
  movss  %xmm0,-0x38(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x28(%rbp)
  movss  -0x90(%rbp),%xmm1
  movss  -0x90(%rbp),%xmm2
  movss  D39(%rip),%xmm0
  subss  %xmm2,%xmm0
  mulss  -0xa0(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x50(%rbp),%xmm0
  mulss  -0xa4(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mov    -0xb8(%rbp),%rax
  movss  %xmm0,(%rax)
  movss  -0x8c(%rbp),%xmm1
  movss  -0x8c(%rbp),%xmm2
  pxor   %xmm0,%xmm0
  subss  %xmm2,%xmm0
  mulss  -0xa0(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x4c(%rbp),%xmm0
  mulss  -0xa4(%rbp),%xmm0
  mov    -0xb8(%rbp),%rax
  add    $0x4,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  movss  -0x88(%rbp),%xmm1
  movss  -0x88(%rbp),%xmm2
  pxor   %xmm0,%xmm0
  subss  %xmm2,%xmm0
  mulss  -0xa0(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x48(%rbp),%xmm0
  mulss  -0xa4(%rbp),%xmm0
  mov    -0xb8(%rbp),%rax
  add    $0x8,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0xb8(%rbp),%rax
  add    $0xc,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,(%rax)
  movss  -0x80(%rbp),%xmm1
  movss  -0x80(%rbp),%xmm2
  pxor   %xmm0,%xmm0
  subss  %xmm2,%xmm0
  mulss  -0xa0(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x40(%rbp),%xmm0
  mulss  -0xa4(%rbp),%xmm0
  mov    -0xb8(%rbp),%rax
  add    $0x10,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  movss  -0x7c(%rbp),%xmm1
  movss  -0x7c(%rbp),%xmm2
  movss  D39(%rip),%xmm0
  subss  %xmm2,%xmm0
  mulss  -0xa0(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x3c(%rbp),%xmm0
  mulss  -0xa4(%rbp),%xmm0
  mov    -0xb8(%rbp),%rax
  add    $0x14,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  movss  -0x78(%rbp),%xmm1
  movss  -0x78(%rbp),%xmm2
  pxor   %xmm0,%xmm0
  subss  %xmm2,%xmm0
  mulss  -0xa0(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x38(%rbp),%xmm0
  mulss  -0xa4(%rbp),%xmm0
  mov    -0xb8(%rbp),%rax
  add    $0x18,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0xb8(%rbp),%rax
  add    $0x1c,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,(%rax)
  movss  -0x70(%rbp),%xmm1
  movss  -0x70(%rbp),%xmm2
  pxor   %xmm0,%xmm0
  subss  %xmm2,%xmm0
  mulss  -0xa0(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x30(%rbp),%xmm0
  mulss  -0xa4(%rbp),%xmm0
  mov    -0xb8(%rbp),%rax
  add    $0x20,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  movss  -0x6c(%rbp),%xmm1
  movss  -0x6c(%rbp),%xmm2
  pxor   %xmm0,%xmm0
  subss  %xmm2,%xmm0
  mulss  -0xa0(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x2c(%rbp),%xmm0
  mulss  -0xa4(%rbp),%xmm0
  mov    -0xb8(%rbp),%rax
  add    $0x24,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  movss  -0x68(%rbp),%xmm1
  movss  -0x68(%rbp),%xmm2
  movss  D39(%rip),%xmm0
  subss  %xmm2,%xmm0
  mulss  -0xa0(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x28(%rbp),%xmm0
  mulss  -0xa4(%rbp),%xmm0
  mov    -0xb8(%rbp),%rax
  add    $0x28,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0xb8(%rbp),%rax
  add    $0x2c,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,(%rax)
  mov    -0xb8(%rbp),%rax
  add    $0x30,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,(%rax)
  mov    -0xb8(%rbp),%rax
  add    $0x34,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,(%rax)
  mov    -0xb8(%rbp),%rax
  add    $0x38,%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,(%rax)
  mov    -0xb8(%rbp),%rax
  add    $0x3c,%rax
  movss  D39(%rip),%xmm0
  movss  %xmm0,(%rax)
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L6
  call   <__stack_chk_fail@plt>
L6:
  leave
  ret
```

tool_calls: name: retrieve_data
arguments: data_label: D40
type_guessed: byte[4]
name: retrieve_data
arguments: data_label: D39
type_guessed: byte[4]

tool: {"D40": [0x00,0x00,0x00,0x80]}

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

assistant: ```c
void m_rot(float *M, const float *v, float a) {
  float u[3];
  float U[16];
  float S[16];
  const float s = ((float)sin((double)a));
  const float c = ((float)cos((double)a));
  v_nrm(u, v);
  U[0] = u[0] * u[0];
  U[4] = u[0] * u[1];
  U[8] = u[0] * u[2];
  U[1] = u[1] * u[0];
  U[5] = u[1] * u[1];
  U[9] = u[1] * u[2];
  U[2] = u[2] * u[0];
  U[6] = u[2] * u[1];
  U[10] = u[2] * u[2];
  S[0] = 0.f;
  S[4] = -u[2];
  S[8] = u[1];
  S[1] = u[2];
  S[5] = 0.f;
  S[9] = -u[0];
  S[2] = -u[1];
  S[6] = u[0];
  S[10] = 0.f;
  M[0] = U[0] + c * (1.f - U[0]) + s * S[0];
  M[1] = U[1] + c * (0.f - U[1]) + s * S[1];
  M[2] = U[2] + c * (0.f - U[2]) + s * S[2];
  M[3] = 0.f;
  M[4] = U[4] + c * (0.f - U[4]) + s * S[4];
  M[5] = U[5] + c * (1.f - U[5]) + s * S[5];
  M[6] = U[6] + c * (0.f - U[6]) + s * S[6];
  M[7] = 0.f;
  M[8] = U[8] + c * (0.f - U[8]) + s * S[8];
  M[9] = U[9] + c * (0.f - U[9]) + s * S[9];
  M[10] = U[10] + c * (1.f - U[10]) + s * S[10];
  M[11] = 0.f;
  M[12] = 0.f;
  M[13] = 0.f;
  M[14] = 0.f;
  M[15] = 1.f;
}
```