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

```asm
<kernel_strmm_nt_4x4_lib4>:
  endbr64
  movss  (%rdx),%xmm0
  movss  (%rsi),%xmm9
  pxor   %xmm3,%xmm3
  mov    %edi,%r8d
  movss  0x4(%rsi),%xmm8
  movss  0x8(%rsi),%xmm7
  mov    %rcx,%rdi
  add    $0x40,%rsi
  mulss  %xmm0,%xmm9
  movss  -0x28(%rsi),%xmm10
  movss  -0x30(%rsi),%xmm5
  lea    0x40(%rdx),%rax
  mulss  %xmm0,%xmm8
  movss  -0x2c(%rsi),%xmm4
  movss  -0x24(%rsi),%xmm1
  mulss  %xmm0,%xmm7
  movaps %xmm5,%xmm14
  movaps %xmm10,%xmm12
  movss  0x14(%rdx),%xmm6
  mulss  -0x34(%rsi),%xmm0
  movaps %xmm4,%xmm13
  movss  0x28(%rdx),%xmm11
  mulss  %xmm6,%xmm5
  mulss  %xmm6,%xmm4
  addss  %xmm3,%xmm9
  addss  %xmm3,%xmm8
  addss  %xmm3,%xmm7
  addss  %xmm3,%xmm0
  addss  %xmm3,%xmm5
  addss  %xmm3,%xmm4
  movaps %xmm0,%xmm2
  movss  0x10(%rdx),%xmm0
  mulss  %xmm0,%xmm14
  mulss  %xmm0,%xmm13
  mulss  %xmm0,%xmm12
  mulss  %xmm1,%xmm0
  mulss  %xmm6,%xmm1
  addss  %xmm9,%xmm14
  movss  -0x1c(%rsi),%xmm9
  addss  %xmm8,%xmm13
  movss  -0x18(%rsi),%xmm8
  addss  %xmm7,%xmm12
  movss  -0x14(%rsi),%xmm7
  addss  %xmm2,%xmm0
  movaps %xmm10,%xmm2
  movss  -0x20(%rsi),%xmm10
  mulss  %xmm6,%xmm2
  movss  0x20(%rdx),%xmm6
  addss  %xmm3,%xmm1
  movaps %xmm10,%xmm15
  mulss  %xmm6,%xmm15
  addss  %xmm3,%xmm2
  addss  %xmm14,%xmm15
  movaps %xmm9,%xmm14
  mulss  %xmm6,%xmm14
  movss  %xmm2,-0x50(%rsp)
  movss  0x24(%rdx),%xmm2
  addss  %xmm13,%xmm14
  movaps %xmm8,%xmm13
  mulss  %xmm6,%xmm13
  mulss  %xmm7,%xmm6
  addss  %xmm13,%xmm12
  movss  -0x8(%rsi),%xmm13
  addss  %xmm0,%xmm6
  movaps %xmm10,%xmm0
  mulss  %xmm2,%xmm0
  mulss  %xmm11,%xmm10
  addss  %xmm5,%xmm0
  movaps %xmm9,%xmm5
  mulss  %xmm2,%xmm5
  mulss  %xmm11,%xmm9
  addss  %xmm4,%xmm5
  movss  -0x4(%rsi),%xmm4
  addss  %xmm3,%xmm9
  movss  %xmm5,-0x4c(%rsp)
  movaps %xmm8,%xmm5
  mulss  %xmm2,%xmm5
  movss  %xmm9,-0x3c(%rsp)
  movss  -0xc(%rsi),%xmm9
  mulss  %xmm7,%xmm2
  addss  -0x50(%rsp),%xmm5
  mulss  %xmm11,%xmm7
  mulss  %xmm11,%xmm8
  movss  %xmm5,-0x48(%rsp)
  addss  %xmm1,%xmm2
  movaps %xmm10,%xmm1
  addss  %xmm3,%xmm7
  addss  %xmm3,%xmm1
  addss  %xmm3,%xmm8
  movss  %xmm2,-0x44(%rsp)
  movss  %xmm7,-0x34(%rsp)
  movss  -0x10(%rsi),%xmm7
  movss  %xmm8,-0x38(%rsp)
  movss  0x30(%rdx),%xmm8
  movaps %xmm7,%xmm11
  movss  %xmm1,-0x40(%rsp)
  movss  0x34(%rdx),%xmm2
  movss  0x38(%rdx),%xmm1
  mulss  %xmm8,%xmm11
  movss  0x3c(%rdx),%xmm5
  movss  -0x4c(%rsp),%xmm10
  addss  %xmm11,%xmm15
  movaps %xmm9,%xmm11
  mulss  %xmm8,%xmm11
  addss  %xmm14,%xmm11
  movaps %xmm9,%xmm14
  mulss  %xmm2,%xmm14
  movss  %xmm11,-0x50(%rsp)
  movaps %xmm13,%xmm11
  mulss  %xmm8,%xmm11
  mulss  %xmm4,%xmm8
  addss  %xmm14,%xmm10
  movaps %xmm13,%xmm14
  mulss  %xmm2,%xmm14
  addss  -0x48(%rsp),%xmm14
  addss  %xmm11,%xmm12
  addss  %xmm6,%xmm8
  movaps %xmm7,%xmm6
  mulss  %xmm2,%xmm6
  movss  %xmm14,-0x4c(%rsp)
  mulss  %xmm4,%xmm2
  movaps %xmm6,%xmm11
  movss  -0x44(%rsp),%xmm6
  addss  %xmm0,%xmm11
  movaps %xmm7,%xmm0
  mulss  %xmm1,%xmm0
  addss  %xmm2,%xmm6
  addss  -0x40(%rsp),%xmm0
  mulss  %xmm5,%xmm7
  movss  %xmm6,-0x48(%rsp)
  movss  %xmm0,-0x44(%rsp)
  movaps %xmm9,%xmm0
  mulss  %xmm1,%xmm0
  addss  -0x3c(%rsp),%xmm0
  mulss  %xmm5,%xmm9
  addss  %xmm3,%xmm7
  movss  %xmm0,-0x40(%rsp)
  movaps %xmm13,%xmm0
  mulss  %xmm1,%xmm0
  addss  -0x38(%rsp),%xmm0
  mulss  %xmm4,%xmm1
  addss  %xmm3,%xmm9
  addss  -0x34(%rsp),%xmm1
  movss  %xmm7,-0x34(%rsp)
  movss  %xmm0,-0x3c(%rsp)
  movaps %xmm13,%xmm0
  mulss  %xmm5,%xmm0
  movss  %xmm1,-0x38(%rsp)
  movss  %xmm9,-0x30(%rsp)
  addss  %xmm3,%xmm0
  movss  %xmm0,-0x2c(%rsp)
  movaps %xmm4,%xmm0
  mulss  %xmm5,%xmm0
  addss  %xmm3,%xmm0
  movss  %xmm0,-0x28(%rsp)
  cmp    $0x7,%r8d
  jle    L14
  lea    -0x8(%r8),%r10d
  movaps %xmm10,%xmm14
  movaps %xmm15,%xmm9
  shr    $0x2,%r10d
  movaps %xmm11,%xmm10
  movaps %xmm8,%xmm6
  mov    %r10d,%r9d
  movaps %xmm12,%xmm11
  lea    0x2(%r9),%rcx
  shl    $0x6,%rcx
  add    %rdx,%rcx
  mov    %rsi,%rdx
  nopl   0x0(%rax)
L19:
  movss  0x8(%rdx),%xmm1
  movss  (%rax),%xmm8
  add    $0x40,%rax
  add    $0x40,%rdx
  movss  -0x40(%rdx),%xmm3
  movss  -0x3c(%rdx),%xmm2
  movaps %xmm1,%xmm12
  movss  -0x3c(%rax),%xmm7
  movss  -0x34(%rdx),%xmm0
  mulss  %xmm8,%xmm12
  movaps %xmm3,%xmm15
  movaps %xmm2,%xmm13
  movss  -0x38(%rax),%xmm4
  mulss  %xmm8,%xmm15
  movss  -0x34(%rax),%xmm5
  mulss  %xmm8,%xmm13
  mulss  %xmm0,%xmm8
  addss  -0x50(%rsp),%xmm13
  addss  %xmm11,%xmm12
  movaps %xmm3,%xmm11
  mulss  %xmm7,%xmm11
  addss  %xmm9,%xmm15
  movaps %xmm1,%xmm9
  mulss  %xmm7,%xmm9
  addss  %xmm6,%xmm8
  movaps %xmm3,%xmm6
  addss  -0x4c(%rsp),%xmm9
  mulss  %xmm4,%xmm6
  addss  -0x44(%rsp),%xmm6
  mulss  %xmm5,%xmm3
  addss  %xmm10,%xmm11
  movaps %xmm2,%xmm10
  addss  -0x34(%rsp),%xmm3
  mulss  %xmm7,%xmm10
  movss  %xmm6,-0x4c(%rsp)
  mulss  %xmm0,%xmm7
  movaps %xmm2,%xmm6
  mulss  %xmm4,%xmm6
  addss  -0x48(%rsp),%xmm7
  mulss  %xmm5,%xmm2
  addss  -0x40(%rsp),%xmm6
  addss  -0x30(%rsp),%xmm2
  addss  %xmm14,%xmm10
  movaps %xmm1,%xmm14
  movss  %xmm7,-0x50(%rsp)
  mulss  %xmm4,%xmm14
  movss  %xmm6,-0x48(%rsp)
  mulss  %xmm0,%xmm4
  addss  -0x3c(%rsp),%xmm14
  movss  %xmm3,-0x3c(%rsp)
  movss  -0x30(%rdx),%xmm3
  mulss  %xmm5,%xmm1
  addss  -0x38(%rsp),%xmm4
  movss  %xmm2,-0x38(%rsp)
  movss  -0x2c(%rdx),%xmm2
  mulss  %xmm5,%xmm0
  addss  -0x2c(%rsp),%xmm1
  addss  -0x28(%rsp),%xmm0
  movss  %xmm14,-0x44(%rsp)
  movaps %xmm3,%xmm14
  movss  %xmm4,-0x40(%rsp)
  movss  %xmm1,-0x34(%rsp)
  movss  -0x28(%rdx),%xmm1
  movss  %xmm0,-0x30(%rsp)
  movss  -0x24(%rdx),%xmm0
  movss  -0x30(%rax),%xmm6
  movss  -0x2c(%rax),%xmm5
  movss  -0x28(%rax),%xmm4
  mulss  %xmm6,%xmm14
  movss  -0x24(%rax),%xmm7
  addss  %xmm14,%xmm15
  movaps %xmm2,%xmm14
  mulss  %xmm6,%xmm14
  addss  %xmm13,%xmm14
  movaps %xmm1,%xmm13
  mulss  %xmm6,%xmm13
  mulss  %xmm0,%xmm6
  addss  %xmm13,%xmm12
  movss  -0x48(%rsp),%xmm13
  addss  %xmm6,%xmm8
  movaps %xmm3,%xmm6
  mulss  %xmm5,%xmm6
  addss  %xmm6,%xmm11
  movaps %xmm2,%xmm6
  mulss  %xmm5,%xmm6
  addss  %xmm6,%xmm10
  movaps %xmm1,%xmm6
  mulss  %xmm5,%xmm6
  mulss  %xmm0,%xmm5
  addss  -0x50(%rsp),%xmm5
  addss  %xmm9,%xmm6
  movaps %xmm2,%xmm9
  movss  %xmm5,-0x50(%rsp)
  movaps %xmm3,%xmm5
  mulss  %xmm4,%xmm9
  mulss  %xmm7,%xmm3
  addss  -0x3c(%rsp),%xmm3
  mulss  %xmm4,%xmm5
  mulss  %xmm7,%xmm2
  addss  -0x4c(%rsp),%xmm5
  addss  -0x38(%rsp),%xmm2
  addss  %xmm9,%xmm13
  movss  %xmm3,-0x3c(%rsp)
  movaps %xmm1,%xmm9
  movss  -0x20(%rdx),%xmm3
  mulss  %xmm4,%xmm9
  movss  %xmm5,-0x4c(%rsp)
  movss  -0x1c(%rax),%xmm5
  mulss  %xmm0,%xmm4
  movss  %xmm2,-0x38(%rsp)
  movss  -0x1c(%rdx),%xmm2
  addss  -0x44(%rsp),%xmm9
  mulss  %xmm7,%xmm1
  movss  %xmm13,-0x48(%rsp)
  movaps %xmm3,%xmm13
  addss  -0x40(%rsp),%xmm4
  mulss  %xmm7,%xmm0
  movss  -0x20(%rax),%xmm7
  addss  -0x34(%rsp),%xmm1
  addss  -0x30(%rsp),%xmm0
  movss  %xmm9,-0x44(%rsp)
  movss  -0x14(%rax),%xmm9
  mulss  %xmm7,%xmm13
  movss  %xmm4,-0x40(%rsp)
  movss  -0x18(%rax),%xmm4
  movss  %xmm1,-0x34(%rsp)
  movss  -0x18(%rdx),%xmm1
  movss  %xmm0,-0x30(%rsp)
  movss  -0x14(%rdx),%xmm0
  addss  %xmm13,%xmm15
  movaps %xmm2,%xmm13
  mulss  %xmm7,%xmm13
  addss  %xmm13,%xmm14
  movaps %xmm1,%xmm13
  mulss  %xmm7,%xmm13
  mulss  %xmm0,%xmm7
  addss  %xmm13,%xmm12
  movaps %xmm3,%xmm13
  mulss  %xmm5,%xmm13
  addss  %xmm7,%xmm8
  addss  %xmm11,%xmm13
  movaps %xmm2,%xmm11
  mulss  %xmm5,%xmm11
  addss  %xmm10,%xmm11
  movaps %xmm1,%xmm10
  mulss  %xmm5,%xmm10
  mulss  %xmm0,%xmm5
  movss  %xmm11,-0x2c(%rsp)
  addss  %xmm6,%xmm10
  movss  %xmm10,-0x28(%rsp)
  movss  -0x50(%rsp),%xmm6
  movss  -0x3c(%rsp),%xmm7
  addss  %xmm5,%xmm6
  movaps %xmm3,%xmm5
  mulss  %xmm4,%xmm5
  addss  -0x4c(%rsp),%xmm5
  mulss  %xmm9,%xmm3
  movss  %xmm6,-0x24(%rsp)
  movaps %xmm1,%xmm6
  mulss  %xmm9,%xmm1
  movss  %xmm5,-0x20(%rsp)
  movaps %xmm2,%xmm5
  addss  -0x34(%rsp),%xmm1
  mulss  %xmm9,%xmm2
  addss  -0x38(%rsp),%xmm2
  mulss  %xmm4,%xmm5
  addss  %xmm3,%xmm7
  movss  -0x10(%rdx),%xmm3
  mulss  %xmm4,%xmm6
  movss  %xmm1,-0x8(%rsp)
  movss  -0x8(%rdx),%xmm1
  addss  -0x48(%rsp),%xmm5
  mulss  %xmm0,%xmm4
  addss  -0x44(%rsp),%xmm6
  mulss  %xmm9,%xmm0
  movss  %xmm2,-0xc(%rsp)
  movaps %xmm3,%xmm9
  movss  -0xc(%rdx),%xmm2
  addss  -0x30(%rsp),%xmm0
  movaps %xmm1,%xmm11
  movss  %xmm5,-0x1c(%rsp)
  movss  -0xc(%rax),%xmm5
  movss  %xmm6,-0x18(%rsp)
  movss  -0x10(%rax),%xmm6
  movaps %xmm2,%xmm10
  addss  -0x40(%rsp),%xmm4
  movss  %xmm7,-0x10(%rsp)
  movss  -0x4(%rax),%xmm7
  movss  %xmm0,-0x4(%rsp)
  movss  -0x4(%rdx),%xmm0
  mulss  %xmm6,%xmm9
  mulss  %xmm6,%xmm10
  movss  %xmm4,-0x14(%rsp)
  movss  -0x8(%rax),%xmm4
  mulss  %xmm6,%xmm11
  mulss  %xmm0,%xmm6
  addss  %xmm15,%xmm9
  addss  %xmm14,%xmm10
  movaps %xmm2,%xmm14
  mulss  %xmm5,%xmm14
  addss  %xmm12,%xmm11
  addss  %xmm8,%xmm6
  movaps %xmm3,%xmm8
  addss  -0x2c(%rsp),%xmm14
  mulss  %xmm5,%xmm8
  movss  %xmm10,-0x50(%rsp)
  movaps %xmm8,%xmm10
  movaps %xmm1,%xmm8
  mulss  %xmm5,%xmm8
  addss  %xmm13,%xmm10
  mulss  %xmm0,%xmm5
  addss  -0x28(%rsp),%xmm8
  movss  %xmm8,-0x4c(%rsp)
  movss  -0x24(%rsp),%xmm8
  addss  %xmm5,%xmm8
  movaps %xmm1,%xmm5
  mulss  %xmm4,%xmm5
  mulss  %xmm7,%xmm1
  movss  %xmm8,-0x48(%rsp)
  movaps %xmm3,%xmm8
  mulss  %xmm4,%xmm8
  addss  -0x20(%rsp),%xmm8
  mulss  %xmm7,%xmm3
  addss  -0x18(%rsp),%xmm5
  movss  -0x14(%rsp),%xmm15
  movss  %xmm8,-0x44(%rsp)
  movaps %xmm2,%xmm8
  mulss  %xmm4,%xmm8
  movss  %xmm5,-0x3c(%rsp)
  movss  -0x10(%rsp),%xmm5
  mulss  %xmm0,%xmm4
  addss  -0x1c(%rsp),%xmm8
  mulss  %xmm7,%xmm2
  addss  %xmm3,%xmm5
  mulss  %xmm7,%xmm0
  addss  -0xc(%rsp),%xmm2
  addss  -0x4(%rsp),%xmm0
  movss  %xmm8,-0x40(%rsp)
  movss  %xmm5,-0x34(%rsp)
  addss  %xmm4,%xmm15
  movss  -0x8(%rsp),%xmm4
  movss  %xmm2,-0x30(%rsp)
  movss  %xmm0,-0x28(%rsp)
  addss  %xmm1,%xmm4
  movss  %xmm15,-0x38(%rsp)
  movss  %xmm4,-0x2c(%rsp)
  cmp    %rcx,%rax
  jne    L19
  movaps %xmm11,%xmm12
  movaps %xmm9,%xmm15
  movaps %xmm10,%xmm11
  add    $0x1,%r9
  shl    $0x6,%r9
  movaps %xmm6,%xmm8
  movaps %xmm14,%xmm10
  add    %r9,%rsi
  lea    0x8(,%r10,4),%edx
L47:
  cmp    %edx,%r8d
  jle    L40
  lea    -0x1(%r8),%eax
  movss  -0x2c(%rsp),%xmm9
  movss  -0x28(%rsp),%xmm13
  sub    %edx,%eax
  add    $0x1,%rax
  shl    $0x4,%rax
  add    %rsi,%rax
L3:
  movss  (%rsi),%xmm3
  movss  (%rcx),%xmm6
  add    $0x10,%rsi
  add    $0x10,%rcx
  movss  -0xc(%rsi),%xmm2
  movss  -0x8(%rsi),%xmm1
  movaps %xmm3,%xmm14
  movss  -0x4(%rsi),%xmm0
  movss  -0xc(%rcx),%xmm5
  mulss  %xmm6,%xmm14
  movss  -0x8(%rcx),%xmm4
  movss  -0x4(%rcx),%xmm7
  addss  %xmm14,%xmm15
  movaps %xmm2,%xmm14
  mulss  %xmm6,%xmm14
  addss  -0x50(%rsp),%xmm14
  movss  %xmm14,-0x50(%rsp)
  movaps %xmm1,%xmm14
  mulss  %xmm6,%xmm14
  mulss  %xmm0,%xmm6
  addss  %xmm14,%xmm12
  addss  %xmm6,%xmm8
  movaps %xmm3,%xmm6
  mulss  %xmm5,%xmm6
  addss  %xmm6,%xmm11
  movaps %xmm2,%xmm6
  mulss  %xmm5,%xmm6
  addss  %xmm6,%xmm10
  movaps %xmm1,%xmm6
  mulss  %xmm5,%xmm6
  mulss  %xmm0,%xmm5
  addss  -0x4c(%rsp),%xmm6
  addss  -0x48(%rsp),%xmm5
  movss  %xmm6,-0x4c(%rsp)
  movss  %xmm5,-0x48(%rsp)
  movaps %xmm3,%xmm5
  mulss  %xmm4,%xmm5
  addss  -0x44(%rsp),%xmm5
  mulss  %xmm7,%xmm3
  addss  -0x34(%rsp),%xmm3
  movss  %xmm5,-0x44(%rsp)
  movaps %xmm2,%xmm5
  mulss  %xmm4,%xmm5
  movss  %xmm3,-0x34(%rsp)
  addss  -0x40(%rsp),%xmm5
  mulss  %xmm7,%xmm2
  addss  -0x30(%rsp),%xmm2
  movss  %xmm5,-0x40(%rsp)
  movaps %xmm1,%xmm5
  mulss  %xmm4,%xmm5
  movss  %xmm2,-0x30(%rsp)
  mulss  %xmm0,%xmm4
  addss  -0x3c(%rsp),%xmm5
  mulss  %xmm7,%xmm1
  addss  -0x38(%rsp),%xmm4
  mulss  %xmm7,%xmm0
  movss  %xmm5,-0x3c(%rsp)
  movss  %xmm4,-0x38(%rsp)
  addss  %xmm1,%xmm9
  addss  %xmm0,%xmm13
  cmp    %rax,%rsi
  jne    L3
  movss  %xmm9,-0x2c(%rsp)
  movss  %xmm13,-0x28(%rsp)
L40:
  movss  -0x50(%rsp),%xmm1
  movss  -0x48(%rsp),%xmm3
  movss  %xmm15,(%rdi)
  movss  %xmm12,0x8(%rdi)
  movss  %xmm1,0x4(%rdi)
  movss  -0x4c(%rsp),%xmm1
  movss  %xmm3,0x1c(%rdi)
  movss  -0x40(%rsp),%xmm3
  movss  %xmm1,0x18(%rdi)
  movss  -0x44(%rsp),%xmm1
  movss  %xmm3,0x24(%rdi)
  movss  -0x38(%rsp),%xmm3
  movss  %xmm1,0x20(%rdi)
  movss  -0x3c(%rsp),%xmm1
  movss  %xmm3,0x2c(%rdi)
  movss  -0x30(%rsp),%xmm3
  movss  %xmm1,0x28(%rdi)
  movss  -0x34(%rsp),%xmm1
  movss  %xmm3,0x34(%rdi)
  movss  -0x28(%rsp),%xmm3
  movss  %xmm1,0x30(%rdi)
  movss  -0x2c(%rsp),%xmm1
  movss  %xmm8,0xc(%rdi)
  movss  %xmm11,0x10(%rdi)
  movss  %xmm10,0x14(%rdi)
  movss  %xmm1,0x38(%rdi)
  movss  %xmm3,0x3c(%rdi)
  ret
  nopl   (%rax)
L14:
  mov    %rax,%rcx
  mov    $0x4,%edx
  jmp    L47
```

assistant: ```c
void kernel_strmm_nt_4x4_lib4(int kadd, float *A, float *B, float *C) {
  const int bs = 4;
  const int lda = bs;
  const int ldc = bs;
  int k;
  float a_0, a_1, a_2, a_3, b_0, b_1, b_2, b_3, c_00 = 0, c_01 = 0, c_02 = 0, c_03 = 0, c_10 = 0, c_11 = 0, c_12 = 0, c_13 = 0, c_20 = 0, c_21 = 0, c_22 = 0, c_23 = 0, c_30 = 0, c_31 = 0, c_32 = 0, c_33 = 0;
  a_0 = A[0 + lda * 0];
  a_1 = A[1 + lda * 0];
  a_2 = A[2 + lda * 0];
  a_3 = A[3 + lda * 0];
  b_0 = B[0 + lda * 0];
  c_00 += a_0 * b_0;
  c_10 += a_1 * b_0;
  c_20 += a_2 * b_0;
  c_30 += a_3 * b_0;
  a_0 = A[0 + lda * 1];
  a_1 = A[1 + lda * 1];
  a_2 = A[2 + lda * 1];
  a_3 = A[3 + lda * 1];
  b_0 = B[0 + lda * 1];
  b_1 = B[1 + lda * 1];
  c_00 += a_0 * b_0;
  c_10 += a_1 * b_0;
  c_20 += a_2 * b_0;
  c_30 += a_3 * b_0;
  c_01 += a_0 * b_1;
  c_11 += a_1 * b_1;
  c_21 += a_2 * b_1;
  c_31 += a_3 * b_1;
  a_0 = A[0 + lda * 2];
  a_1 = A[1 + lda * 2];
  a_2 = A[2 + lda * 2];
  a_3 = A[3 + lda * 2];
  b_0 = B[0 + lda * 2];
  b_1 = B[1 + lda * 2];
  b_2 = B[2 + lda * 2];
  c_00 += a_0 * b_0;
  c_10 += a_1 * b_0;
  c_20 += a_2 * b_0;
  c_30 += a_3 * b_0;
  c_01 += a_0 * b_1;
  c_11 += a_1 * b_1;
  c_21 += a_2 * b_1;
  c_31 += a_3 * b_1;
  c_02 += a_0 * b_2;
  c_12 += a_1 * b_2;
  c_22 += a_2 * b_2;
  c_32 += a_3 * b_2;
  a_0 = A[0 + lda * 3];
  a_1 = A[1 + lda * 3];
  a_2 = A[2 + lda * 3];
  a_3 = A[3 + lda * 3];
  b_0 = B[0 + lda * 3];
  b_1 = B[1 + lda * 3];
  b_2 = B[2 + lda * 3];
  b_3 = B[3 + lda * 3];
  c_00 += a_0 * b_0;
  c_10 += a_1 * b_0;
  c_20 += a_2 * b_0;
  c_30 += a_3 * b_0;
  c_01 += a_0 * b_1;
  c_11 += a_1 * b_1;
  c_21 += a_2 * b_1;
  c_31 += a_3 * b_1;
  c_02 += a_0 * b_2;
  c_12 += a_1 * b_2;
  c_22 += a_2 * b_2;
  c_32 += a_3 * b_2;
  c_03 += a_0 * b_3;
  c_13 += a_1 * b_3;
  c_23 += a_2 * b_3;
  c_33 += a_3 * b_3;
  A += 16;
  B += 16;
  for (k = 4; k < kadd - 3; k += 4) {
    a_0 = A[0 + lda * 0];
    a_1 = A[1 + lda * 0];
    a_2 = A[2 + lda * 0];
    a_3 = A[3 + lda * 0];
    b_0 = B[0 + lda * 0];
    b_1 = B[1 + lda * 0];
    b_2 = B[2 + lda * 0];
    b_3 = B[3 + lda * 0];
    c_00 += a_0 * b_0;
    c_10 += a_1 * b_0;
    c_20 += a_2 * b_0;
    c_30 += a_3 * b_0;
    c_01 += a_0 * b_1;
    c_11 += a_1 * b_1;
    c_21 += a_2 * b_1;
    c_31 += a_3 * b_1;
    c_02 += a_0 * b_2;
    c_12 += a_1 * b_2;
    c_22 += a_2 * b_2;
    c_32 += a_3 * b_2;
    c_03 += a_0 * b_3;
    c_13 += a_1 * b_3;
    c_23 += a_2 * b_3;
    c_33 += a_3 * b_3;
    a_0 = A[0 + lda * 1];
    a_1 = A[1 + lda * 1];
    a_2 = A[2 + lda * 1];
    a_3 = A[3 + lda * 1];
    b_0 = B[0 + lda * 1];
    b_1 = B[1 + lda * 1];
    b_2 = B[2 + lda * 1];
    b_3 = B[3 + lda * 1];
    c_00 += a_0 * b_0;
    c_10 += a_1 * b_0;
    c_20 += a_2 * b_0;
    c_30 += a_3 * b_0;
    c_01 += a_0 * b_1;
    c_11 += a_1 * b_1;
    c_21 += a_2 * b_1;
    c_31 += a_3 * b_1;
    c_02 += a_0 * b_2;
    c_12 += a_1 * b_2;
    c_22 += a_2 * b_2;
    c_32 += a_3 * b_2;
    c_03 += a_0 * b_3;
    c_13 += a_1 * b_3;
    c_23 += a_2 * b_3;
    c_33 += a_3 * b_3;
    a_0 = A[0 + lda * 2];
    a_1 = A[1 + lda * 2];
    a_2 = A[2 + lda * 2];
    a_3 = A[3 + lda * 2];
    b_0 = B[0 + lda * 2];
    b_1 = B[1 + lda * 2];
    b_2 = B[2 + lda * 2];
    b_3 = B[3 + lda * 2];
    c_00 += a_0 * b_0;
    c_10 += a_1 * b_0;
    c_20 += a_2 * b_0;
    c_30 += a_3 * b_0;
    c_01 += a_0 * b_1;
    c_11 += a_1 * b_1;
    c_21 += a_2 * b_1;
    c_31 += a_3 * b_1;
    c_02 += a_0 * b_2;
    c_12 += a_1 * b_2;
    c_22 += a_2 * b_2;
    c_32 += a_3 * b_2;
    c_03 += a_0 * b_3;
    c_13 += a_1 * b_3;
    c_23 += a_2 * b_3;
    c_33 += a_3 * b_3;
    a_0 = A[0 + lda * 3];
    a_1 = A[1 + lda * 3];
    a_2 = A[2 + lda * 3];
    a_3 = A[3 + lda * 3];
    b_0 = B[0 + lda * 3];
    b_1 = B[1 + lda * 3];
    b_2 = B[2 + lda * 3];
    b_3 = B[3 + lda * 3];
    c_00 += a_0 * b_0;
    c_10 += a_1 * b_0;
    c_20 += a_2 * b_0;
    c_30 += a_3 * b_0;
    c_01 += a_0 * b_1;
    c_11 += a_1 * b_1;
    c_21 += a_2 * b_1;
    c_31 += a_3 * b_1;
    c_02 += a_0 * b_2;
    c_12 += a_1 * b_2;
    c_22 += a_2 * b_2;
    c_32 += a_3 * b_2;
    c_03 += a_0 * b_3;
    c_13 += a_1 * b_3;
    c_23 += a_2 * b_3;
    c_33 += a_3 * b_3;
    A += 16;
    B += 16;
  }
  for (; k < kadd; k++) {
    a_0 = A[0 + lda * 0];
    a_1 = A[1 + lda * 0];
    a_2 = A[2 + lda * 0];
    a_3 = A[3 + lda * 0];
    b_0 = B[0 + lda * 0];
    b_1 = B[1 + lda * 0];
    b_2 = B[2 + lda * 0];
    b_3 = B[3 + lda * 0];
    c_00 += a_0 * b_0;
    c_10 += a_1 * b_0;
    c_20 += a_2 * b_0;
    c_30 += a_3 * b_0;
    c_01 += a_0 * b_1;
    c_11 += a_1 * b_1;
    c_21 += a_2 * b_1;
    c_31 += a_3 * b_1;
    c_02 += a_0 * b_2;
    c_12 += a_1 * b_2;
    c_22 += a_2 * b_2;
    c_32 += a_3 * b_2;
    c_03 += a_0 * b_3;
    c_13 += a_1 * b_3;
    c_23 += a_2 * b_3;
    c_33 += a_3 * b_3;
    A += 4;
    B += 4;
  }
  C[0 + ldc * 0] = c_00;
  C[1 + ldc * 0] = c_10;
  C[2 + ldc * 0] = c_20;
  C[3 + ldc * 0] = c_30;
  C[0 + ldc * 1] = c_01;
  C[1 + ldc * 1] = c_11;
  C[2 + ldc * 1] = c_21;
  C[3 + ldc * 1] = c_31;
  C[0 + ldc * 2] = c_02;
  C[1 + ldc * 2] = c_12;
  C[2 + ldc * 2] = c_22;
  C[3 + ldc * 2] = c_32;
  C[0 + ldc * 3] = c_03;
  C[1 + ldc * 3] = c_13;
  C[2 + ldc * 3] = c_23;
  C[3 + ldc * 3] = c_33;
}
```