user: Demonstrate the C code that generates the assembly output below:

```asm
<m_rot>:
  endbr64
  push   %rbp
  cvtss2sd %xmm0,%xmm0
  mov    %rsi,%rbp
  push   %rbx
  mov    %rdi,%rbx
  sub    $0x38,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x28(%rsp)
  xor    %eax,%eax
  movsd  %xmm0,(%rsp)
  call   <sin@plt>
  pxor   %xmm5,%xmm5
  movsd  (%rsp),%xmm0
  cvtsi2ss %rax,%xmm5
  movss  %xmm5,0xc(%rsp)
  call   <cos@plt>
  pxor   %xmm4,%xmm4
  lea    0x18(%rsp),%rdi
  mov    %rbp,%rsi
  cvtsi2ss %rax,%xmm4
  movaps %xmm4,%xmm3
  movss  %xmm4,0x8(%rsp)
  shufps $0xe0,%xmm3,%xmm3
  movlps %xmm3,(%rsp)
  call   <v_nrm@plt>
  movq   0x18(%rsp),%xmm2
  movq   D29(%rip),%xmm1
  movl   $0x0,0xc(%rbx)
  movq   (%rsp),%xmm3
  movss  0xc(%rsp),%xmm5
  movl   $0x0,0x1c(%rbx)
  movaps %xmm2,%xmm0
  movaps %xmm2,%xmm6
  movss  0x8(%rsp),%xmm4
  movq   $0x0,0x2c(%rbx)
  shufps $0xe0,%xmm0,%xmm0
  mulps  %xmm2,%xmm0
  movaps %xmm5,%xmm7
  shufps $0xe5,%xmm2,%xmm2
  movaps %xmm2,%xmm11
  movq   $0x0,0x34(%rbx)
  mulss  %xmm2,%xmm11
  subps  %xmm0,%xmm1
  mulps  %xmm3,%xmm1
  movss  0x20(%rsp),%xmm3
  movaps %xmm3,%xmm8
  movaps %xmm3,%xmm12
  movaps %xmm3,%xmm9
  mulss  %xmm3,%xmm8
  mulss  %xmm5,%xmm3
  addps  %xmm0,%xmm1
  mulss  %xmm2,%xmm9
  pxor   %xmm0,%xmm0
  mulss  %xmm0,%xmm7
  xorps  D16(%rip),%xmm2
  mulss  %xmm6,%xmm12
  mulss  %xmm5,%xmm6
  mulss  %xmm5,%xmm2
  movaps %xmm3,%xmm10
  movaps %xmm7,%xmm3
  unpcklps %xmm10,%xmm3
  addps  %xmm1,%xmm3
  shufps $0xe5,%xmm1,%xmm1
  subss  %xmm10,%xmm1
  movlps %xmm3,(%rbx)
  movaps %xmm0,%xmm3
  subss  %xmm9,%xmm0
  movss  %xmm1,0x10(%rbx)
  movss  D29(%rip),%xmm1
  subss  %xmm12,%xmm3
  mulss  %xmm4,%xmm0
  movaps %xmm1,%xmm10
  movss  %xmm1,0x3c(%rbx)
  subss  %xmm11,%xmm10
  mulss  %xmm4,%xmm3
  mulss  %xmm4,%xmm10
  addss  %xmm9,%xmm0
  addss  %xmm12,%xmm3
  movaps %xmm0,%xmm5
  subss  %xmm6,%xmm0
  addss  %xmm11,%xmm10
  movaps %xmm3,%xmm12
  addss  %xmm6,%xmm5
  addss  %xmm2,%xmm12
  subss  %xmm2,%xmm3
  movss  %xmm0,0x24(%rbx)
  movaps %xmm1,%xmm0
  subss  %xmm8,%xmm0
  addss  %xmm7,%xmm10
  movss  %xmm5,0x18(%rbx)
  movss  %xmm12,0x8(%rbx)
  movss  %xmm3,0x20(%rbx)
  mulss  %xmm4,%xmm0
  movss  %xmm10,0x14(%rbx)
  addss  %xmm8,%xmm0
  addss  %xmm7,%xmm0
  movss  %xmm0,0x28(%rbx)
  mov    0x28(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L7
  add    $0x38,%rsp
  pop    %rbx
  pop    %rbp
  ret
L7:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: parse_data
arguments: tag: D29
type_infered: byte[8]
name: parse_data
arguments: tag: D16
type_infered: byte[16]

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

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

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;
}
```