user: 请将这段汇编代码片段转换成等效的C代码：

```asm
<Quaternion_RungeKutta4>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x88,%rsp
  mov    %rdi,%rbp
  mov    %rsi,%r14
  mov    %rdx,%r13
  mov    %ecx,0xc(%rsp)
  mov    %fs:0x28,%rax
  mov    %rax,0x78(%rsp)
  xor    %eax,%eax
  lea    0x10(%rsp),%r15
  mov    %rsi,%rdx
  mov    %rdi,%rsi
  mov    %r15,%rdi
  call   <Quaternion_Multiply@plt>
  movss  D89(%rip),%xmm0
  mov    %r15,%rsi
  mov    %r15,%rdi
  call   <Quaternion_Scalar@plt>
  movss  D89(%rip),%xmm0
  mulss  0x0(%r13),%xmm0
  lea    0x60(%rsp),%rbx
  mov    %r15,%rsi
  mov    %rbx,%rdi
  call   <Quaternion_Scalar@plt>
  mov    %rbx,%rdx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <Quaternion_Add@plt>
  lea    0x20(%rsp),%r12
  mov    %r14,(%rsp)
  mov    %r14,%rdx
  mov    %rbx,%rsi
  mov    %r12,%rdi
  call   <Quaternion_Multiply@plt>
  movss  D89(%rip),%xmm0
  mov    %r12,%rsi
  mov    %r12,%rdi
  call   <Quaternion_Scalar@plt>
  movss  D89(%rip),%xmm0
  mulss  0x0(%r13),%xmm0
  mov    %r12,%rsi
  mov    %rbx,%rdi
  call   <Quaternion_Scalar@plt>
  mov    %rbx,%rdx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <Quaternion_Add@plt>
  lea    0x30(%rsp),%r14
  mov    (%rsp),%rdx
  mov    %rbx,%rsi
  mov    %r14,%rdi
  call   <Quaternion_Multiply@plt>
  movss  D89(%rip),%xmm0
  mov    %r14,%rsi
  mov    %r14,%rdi
  call   <Quaternion_Scalar@plt>
  movss  0x0(%r13),%xmm0
  mov    %r14,%rsi
  mov    %rbx,%rdi
  call   <Quaternion_Scalar@plt>
  mov    %rbx,%rdx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <Quaternion_Add@plt>
  lea    0x40(%rsp),%rax
  mov    (%rsp),%rdx
  mov    %rbx,%rsi
  mov    %rax,(%rsp)
  mov    %rax,%rdi
  call   <Quaternion_Multiply@plt>
  movss  D89(%rip),%xmm0
  mov    (%rsp),%rsi
  mov    %rsi,%rdi
  call   <Quaternion_Scalar@plt>
  movss  D32(%rip),%xmm0
  mov    %r12,%rsi
  mov    %rbx,%rdi
  call   <Quaternion_Scalar@plt>
  lea    0x50(%rsp),%r12
  mov    %rbx,%rdx
  mov    %r15,%rsi
  mov    %r12,%rdi
  call   <Quaternion_Add@plt>
  movss  D32(%rip),%xmm0
  mov    %r14,%rsi
  mov    %rbx,%rdi
  call   <Quaternion_Scalar@plt>
  mov    %rbx,%rdx
  mov    %r12,%rsi
  mov    %r12,%rdi
  call   <Quaternion_Add@plt>
  mov    (%rsp),%rdx
  mov    %r12,%rsi
  mov    %r12,%rdi
  call   <Quaternion_Add@plt>
  movss  0x0(%r13),%xmm0
  divss  D19(%rip),%xmm0
  mov    %r12,%rsi
  mov    %r12,%rdi
  call   <Quaternion_Scalar@plt>
  mov    %r12,%rdx
  mov    %rbp,%rsi
  mov    %rbp,%rdi
  call   <Quaternion_Add@plt>
  cmpl   $0x0,0xc(%rsp)
  jne    L4
L21:
  mov    0x78(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L18
  add    $0x88,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L4:
  mov    %rbp,%rdi
  call   <Quaternion_Normalize@plt>
  jmp    L21
L18:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D89
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D32
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D19
data_type: byte[4]

tool: {"D89": [0x00,0x00,0x00,0x3f]}

tool: {"D32": [0x00,0x00,0x00,0x40]}

tool: {"D19": [0x00,0x00,0xc0,0x40]}

assistant: ```c
void Quaternion_RungeKutta4(float *q, float *w, float *dt, int normalize) {
  float half = 0.5f;
  float two = 2.0f;
  float qw[4], k2[4], k3[4], k4[4];
  float tmpq[4], tmpk[4];
  Quaternion_Multiply(qw, q, w);
  Quaternion_Scalar(qw, qw, half);
  Quaternion_Scalar(tmpk, qw, *dt * half);
  Quaternion_Add(tmpk, q, tmpk);
  Quaternion_Multiply(k2, tmpk, w);
  Quaternion_Scalar(k2, k2, half);
  Quaternion_Scalar(tmpk, k2, *dt * half);
  Quaternion_Add(tmpk, q, tmpk);
  Quaternion_Multiply(k3, tmpk, w);
  Quaternion_Scalar(k3, k3, half);
  Quaternion_Scalar(tmpk, k3, *dt);
  Quaternion_Add(tmpk, q, tmpk);
  Quaternion_Multiply(k4, tmpk, w);
  Quaternion_Scalar(k4, k4, half);
  Quaternion_Scalar(tmpk, k2, two);
  Quaternion_Add(tmpq, qw, tmpk);
  Quaternion_Scalar(tmpk, k3, two);
  Quaternion_Add(tmpq, tmpq, tmpk);
  Quaternion_Add(tmpq, tmpq, k4);
  Quaternion_Scalar(tmpq, tmpq, *dt / 6.0f);
  Quaternion_Add(q, q, tmpq);
  if (normalize) {
    Quaternion_Normalize(q);
  }
}
```