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

```asm
<Mat4_RotateRByQuaternion>:
  endbr64
  movss  (%rsi),%xmm10
  movss  D7(%rip),%xmm0
  movaps %xmm10,%xmm4
  xorps  %xmm0,%xmm4
  movss  0x4(%rsi),%xmm9
  movaps %xmm9,%xmm2
  xorps  %xmm0,%xmm2
  movss  0x8(%rsi),%xmm8
  xorps  %xmm8,%xmm0
  movss  0xc(%rsi),%xmm1
  movss  (%rdi),%xmm13
  movss  0xc(%rdi),%xmm3
  movss  0x8(%rdi),%xmm11
  movss  0x4(%rdi),%xmm12
  movaps %xmm1,%xmm6
  mulss  %xmm13,%xmm6
  movaps %xmm10,%xmm5
  mulss  %xmm3,%xmm5
  addss  %xmm5,%xmm6
  movaps %xmm9,%xmm5
  mulss  %xmm11,%xmm5
  addss  %xmm5,%xmm6
  movaps %xmm8,%xmm5
  mulss  %xmm12,%xmm5
  subss  %xmm5,%xmm6
  movaps %xmm1,%xmm5
  mulss  %xmm12,%xmm5
  movaps %xmm9,%xmm7
  mulss  %xmm3,%xmm7
  addss  %xmm7,%xmm5
  movaps %xmm8,%xmm7
  mulss  %xmm13,%xmm7
  addss  %xmm7,%xmm5
  movaps %xmm10,%xmm7
  mulss  %xmm11,%xmm7
  subss  %xmm7,%xmm5
  movaps %xmm1,%xmm7
  mulss  %xmm11,%xmm7
  movaps %xmm8,%xmm14
  mulss  %xmm3,%xmm14
  addss  %xmm14,%xmm7
  movaps %xmm10,%xmm14
  mulss  %xmm12,%xmm14
  addss  %xmm14,%xmm7
  movaps %xmm9,%xmm14
  mulss  %xmm13,%xmm14
  subss  %xmm14,%xmm7
  mulss  %xmm1,%xmm3
  mulss  %xmm13,%xmm10
  subss  %xmm10,%xmm3
  mulss  %xmm12,%xmm9
  subss  %xmm9,%xmm3
  mulss  %xmm11,%xmm8
  subss  %xmm8,%xmm3
  movaps %xmm4,%xmm8
  mulss  %xmm3,%xmm8
  movaps %xmm1,%xmm9
  mulss  %xmm6,%xmm9
  addss  %xmm9,%xmm8
  movaps %xmm0,%xmm9
  mulss  %xmm5,%xmm9
  addss  %xmm9,%xmm8
  movaps %xmm2,%xmm9
  mulss  %xmm7,%xmm9
  subss  %xmm9,%xmm8
  movss  %xmm8,(%rdi)
  movaps %xmm2,%xmm8
  mulss  %xmm3,%xmm8
  movaps %xmm1,%xmm9
  mulss  %xmm5,%xmm9
  addss  %xmm9,%xmm8
  movaps %xmm4,%xmm9
  mulss  %xmm7,%xmm9
  addss  %xmm9,%xmm8
  movaps %xmm0,%xmm9
  mulss  %xmm6,%xmm9
  subss  %xmm9,%xmm8
  movss  %xmm8,0x4(%rdi)
  mulss  %xmm0,%xmm3
  mulss  %xmm1,%xmm7
  addss  %xmm7,%xmm3
  mulss  %xmm2,%xmm6
  addss  %xmm6,%xmm3
  mulss  %xmm4,%xmm5
  subss  %xmm5,%xmm3
  movss  %xmm3,0x8(%rdi)
  movl   $0x0,0xc(%rdi)
  movss  0xc(%rsi),%xmm3
  movss  0x10(%rdi),%xmm10
  movss  (%rsi),%xmm13
  movss  0x1c(%rdi),%xmm14
  movss  0x4(%rsi),%xmm9
  movss  0x18(%rdi),%xmm8
  movss  0x8(%rsi),%xmm11
  movss  0x14(%rdi),%xmm12
  movaps %xmm3,%xmm6
  mulss  %xmm10,%xmm6
  movaps %xmm13,%xmm5
  mulss  %xmm14,%xmm5
  addss  %xmm5,%xmm6
  movaps %xmm9,%xmm5
  mulss  %xmm8,%xmm5
  addss  %xmm5,%xmm6
  movaps %xmm11,%xmm5
  mulss  %xmm12,%xmm5
  subss  %xmm5,%xmm6
  movaps %xmm3,%xmm5
  mulss  %xmm12,%xmm5
  movaps %xmm14,%xmm7
  mulss  %xmm9,%xmm7
  addss  %xmm7,%xmm5
  movaps %xmm10,%xmm7
  mulss  %xmm11,%xmm7
  addss  %xmm7,%xmm5
  movaps %xmm13,%xmm7
  mulss  %xmm8,%xmm7
  subss  %xmm7,%xmm5
  movaps %xmm3,%xmm7
  mulss  %xmm8,%xmm7
  movaps %xmm14,%xmm15
  mulss  %xmm11,%xmm15
  addss  %xmm15,%xmm7
  movaps %xmm13,%xmm15
  mulss  %xmm12,%xmm15
  addss  %xmm15,%xmm7
  movaps %xmm10,%xmm15
  mulss  %xmm9,%xmm15
  subss  %xmm15,%xmm7
  mulss  %xmm14,%xmm3
  mulss  %xmm13,%xmm10
  subss  %xmm10,%xmm3
  mulss  %xmm12,%xmm9
  subss  %xmm9,%xmm3
  mulss  %xmm11,%xmm8
  subss  %xmm8,%xmm3
  movaps %xmm4,%xmm8
  mulss  %xmm3,%xmm8
  movaps %xmm1,%xmm9
  mulss  %xmm6,%xmm9
  addss  %xmm9,%xmm8
  movaps %xmm0,%xmm9
  mulss  %xmm5,%xmm9
  addss  %xmm9,%xmm8
  movaps %xmm2,%xmm9
  mulss  %xmm7,%xmm9
  subss  %xmm9,%xmm8
  movss  %xmm8,0x10(%rdi)
  movaps %xmm2,%xmm8
  mulss  %xmm3,%xmm8
  movaps %xmm1,%xmm9
  mulss  %xmm5,%xmm9
  addss  %xmm9,%xmm8
  movaps %xmm4,%xmm9
  mulss  %xmm7,%xmm9
  addss  %xmm9,%xmm8
  movaps %xmm0,%xmm9
  mulss  %xmm6,%xmm9
  subss  %xmm9,%xmm8
  movss  %xmm8,0x14(%rdi)
  mulss  %xmm0,%xmm3
  mulss  %xmm1,%xmm7
  addss  %xmm7,%xmm3
  mulss  %xmm2,%xmm6
  addss  %xmm6,%xmm3
  mulss  %xmm4,%xmm5
  subss  %xmm5,%xmm3
  movss  %xmm3,0x18(%rdi)
  movl   $0x0,0x1c(%rdi)
  movss  0xc(%rsi),%xmm3
  movss  0x20(%rdi),%xmm10
  movss  (%rsi),%xmm15
  movss  0x2c(%rdi),%xmm12
  movss  0x4(%rsi),%xmm9
  movss  0x28(%rdi),%xmm8
  movss  0x8(%rsi),%xmm13
  movss  0x24(%rdi),%xmm11
  movaps %xmm3,%xmm6
  mulss  %xmm10,%xmm6
  movaps %xmm15,%xmm5
  mulss  %xmm12,%xmm5
  addss  %xmm5,%xmm6
  movaps %xmm9,%xmm5
  mulss  %xmm8,%xmm5
  addss  %xmm5,%xmm6
  movaps %xmm13,%xmm5
  mulss  %xmm11,%xmm5
  subss  %xmm5,%xmm6
  movaps %xmm3,%xmm5
  mulss  %xmm11,%xmm5
  movaps %xmm12,%xmm7
  mulss  %xmm9,%xmm7
  addss  %xmm7,%xmm5
  movaps %xmm10,%xmm7
  mulss  %xmm13,%xmm7
  addss  %xmm7,%xmm5
  movaps %xmm15,%xmm7
  mulss  %xmm8,%xmm7
  subss  %xmm7,%xmm5
  movaps %xmm3,%xmm7
  mulss  %xmm8,%xmm7
  movaps %xmm12,%xmm14
  mulss  %xmm13,%xmm14
  addss  %xmm14,%xmm7
  movaps %xmm15,%xmm14
  mulss  %xmm11,%xmm14
  addss  %xmm14,%xmm7
  movaps %xmm10,%xmm14
  mulss  %xmm9,%xmm14
  subss  %xmm14,%xmm7
  mulss  %xmm12,%xmm3
  mulss  %xmm15,%xmm10
  subss  %xmm10,%xmm3
  mulss  %xmm11,%xmm9
  subss  %xmm9,%xmm3
  mulss  %xmm13,%xmm8
  subss  %xmm8,%xmm3
  movaps %xmm4,%xmm8
  mulss  %xmm3,%xmm8
  movaps %xmm1,%xmm9
  mulss  %xmm6,%xmm9
  addss  %xmm9,%xmm8
  movaps %xmm0,%xmm9
  mulss  %xmm5,%xmm9
  addss  %xmm9,%xmm8
  movaps %xmm2,%xmm9
  mulss  %xmm7,%xmm9
  subss  %xmm9,%xmm8
  movss  %xmm8,0x20(%rdi)
  movaps %xmm2,%xmm8
  mulss  %xmm3,%xmm8
  movaps %xmm1,%xmm9
  mulss  %xmm5,%xmm9
  addss  %xmm9,%xmm8
  movaps %xmm4,%xmm9
  mulss  %xmm7,%xmm9
  addss  %xmm9,%xmm8
  movaps %xmm0,%xmm9
  mulss  %xmm6,%xmm9
  subss  %xmm9,%xmm8
  movss  %xmm8,0x24(%rdi)
  mulss  %xmm3,%xmm0
  mulss  %xmm7,%xmm1
  addss  %xmm1,%xmm0
  mulss  %xmm6,%xmm2
  addss  %xmm2,%xmm0
  mulss  %xmm5,%xmm4
  subss  %xmm4,%xmm0
  movss  %xmm0,0x28(%rdi)
  movl   $0x0,0x2c(%rdi)
  ret
```

tool_calls: name: read_data
arguments: label: D7
data_type: byte[4]

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

assistant: ```c
void Mat4_RotateRByQuaternion(float mat[16], const float q[4]) {
  float qt[4], *v, buf[4];
  {
    (qt)[0] = -(q)[0];
    (qt)[1] = -(q)[1];
    (qt)[2] = -(q)[2];
    (qt)[3] = (q)[3];
  };
  v = mat + 0;
  {
    (buf)[0] = (q)[3] * (v)[0] + (q)[0] * (v)[3] + (q)[1] * (v)[2] - (q)[2] * (v)[1];
    (buf)[1] = (q)[3] * (v)[1] + (q)[1] * (v)[3] + (q)[2] * (v)[0] - (q)[0] * (v)[2];
    (buf)[2] = (q)[3] * (v)[2] + (q)[2] * (v)[3] + (q)[0] * (v)[1] - (q)[1] * (v)[0];
    (buf)[3] = (q)[3] * (v)[3] - (q)[0] * (v)[0] - (q)[1] * (v)[1] - (q)[2] * (v)[2];
  };
  {
    (v)[0] = (buf)[3] * (qt)[0] + (buf)[0] * (qt)[3] + (buf)[1] * (qt)[2] - (buf)[2] * (qt)[1];
    (v)[1] = (buf)[3] * (qt)[1] + (buf)[1] * (qt)[3] + (buf)[2] * (qt)[0] - (buf)[0] * (qt)[2];
    (v)[2] = (buf)[3] * (qt)[2] + (buf)[2] * (qt)[3] + (buf)[0] * (qt)[1] - (buf)[1] * (qt)[0];
    (v)[3] = (buf)[3] * (qt)[3] - (buf)[0] * (qt)[0] - (buf)[1] * (qt)[1] - (buf)[2] * (qt)[2];
  };
  mat[0 + 3] = 0.0f;
  v = mat + 4;
  {
    (buf)[0] = (q)[3] * (v)[0] + (q)[0] * (v)[3] + (q)[1] * (v)[2] - (q)[2] * (v)[1];
    (buf)[1] = (q)[3] * (v)[1] + (q)[1] * (v)[3] + (q)[2] * (v)[0] - (q)[0] * (v)[2];
    (buf)[2] = (q)[3] * (v)[2] + (q)[2] * (v)[3] + (q)[0] * (v)[1] - (q)[1] * (v)[0];
    (buf)[3] = (q)[3] * (v)[3] - (q)[0] * (v)[0] - (q)[1] * (v)[1] - (q)[2] * (v)[2];
  };
  {
    (v)[0] = (buf)[3] * (qt)[0] + (buf)[0] * (qt)[3] + (buf)[1] * (qt)[2] - (buf)[2] * (qt)[1];
    (v)[1] = (buf)[3] * (qt)[1] + (buf)[1] * (qt)[3] + (buf)[2] * (qt)[0] - (buf)[0] * (qt)[2];
    (v)[2] = (buf)[3] * (qt)[2] + (buf)[2] * (qt)[3] + (buf)[0] * (qt)[1] - (buf)[1] * (qt)[0];
    (v)[3] = (buf)[3] * (qt)[3] - (buf)[0] * (qt)[0] - (buf)[1] * (qt)[1] - (buf)[2] * (qt)[2];
  };
  mat[4 + 3] = 0.0f;
  v = mat + 8;
  {
    (buf)[0] = (q)[3] * (v)[0] + (q)[0] * (v)[3] + (q)[1] * (v)[2] - (q)[2] * (v)[1];
    (buf)[1] = (q)[3] * (v)[1] + (q)[1] * (v)[3] + (q)[2] * (v)[0] - (q)[0] * (v)[2];
    (buf)[2] = (q)[3] * (v)[2] + (q)[2] * (v)[3] + (q)[0] * (v)[1] - (q)[1] * (v)[0];
    (buf)[3] = (q)[3] * (v)[3] - (q)[0] * (v)[0] - (q)[1] * (v)[1] - (q)[2] * (v)[2];
  };
  {
    (v)[0] = (buf)[3] * (qt)[0] + (buf)[0] * (qt)[3] + (buf)[1] * (qt)[2] - (buf)[2] * (qt)[1];
    (v)[1] = (buf)[3] * (qt)[1] + (buf)[1] * (qt)[3] + (buf)[2] * (qt)[0] - (buf)[0] * (qt)[2];
    (v)[2] = (buf)[3] * (qt)[2] + (buf)[2] * (qt)[3] + (buf)[0] * (qt)[1] - (buf)[1] * (qt)[0];
    (v)[3] = (buf)[3] * (qt)[3] - (buf)[0] * (qt)[0] - (buf)[1] * (qt)[1] - (buf)[2] * (qt)[2];
  };
  mat[8 + 3] = 0.0f;
}
```