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

```asm
<SKP_Silk_LPC_synthesis_order16>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  add    $0xffffffffffffff80,%rsp
  mov    %rdi,-0x58(%rbp)
  mov    %rsi,-0x60(%rbp)
  mov    %edx,-0x64(%rbp)
  mov    %rcx,-0x70(%rbp)
  mov    %r8,-0x78(%rbp)
  mov    %r9d,-0x68(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movl   $0x0,-0x48(%rbp)
  jmp    L16
L22:
  mov    -0x48(%rbp),%eax
  add    %eax,%eax
  cltq
  lea    (%rax,%rax,1),%rdx
  mov    -0x60(%rbp),%rax
  add    %rdx,%rax
  movzwl (%rax),%eax
  cwtl
  movzwl %ax,%edx
  mov    -0x48(%rbp),%eax
  add    %eax,%eax
  cltq
  add    $0x1,%rax
  lea    (%rax,%rax,1),%rcx
  mov    -0x60(%rbp),%rax
  add    %rcx,%rax
  movzwl (%rax),%eax
  cwtl
  shl    $0x10,%eax
  or     %eax,%edx
  mov    -0x48(%rbp),%eax
  cltq
  mov    %edx,-0x30(%rbp,%rax,4)
  addl   $0x1,-0x48(%rbp)
L16:
  cmpl   $0x7,-0x48(%rbp)
  jle    L22
  movl   $0x0,-0x48(%rbp)
  jmp    L111
L20:
  mov    -0x70(%rbp),%rax
  mov    0x3c(%rax),%eax
  mov    %eax,-0x44(%rbp)
  mov    -0x30(%rbp),%eax
  mov    %eax,-0x40(%rbp)
  mov    -0x70(%rbp),%rax
  mov    0x38(%rax),%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x70(%rbp),%rax
  lea    0x38(%rax),%rdx
  mov    -0x44(%rbp),%eax
  mov    %eax,(%rdx)
  mov    -0x44(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x44(%rbp),%eax
  movzwl %ax,%edx
  mov    -0x40(%rbp),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x3c(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%eax
  sar    $0x10,%eax
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x3c(%rbp),%eax
  movzwl %ax,%eax
  mov    -0x40(%rbp),%edx
  sar    $0x10,%edx
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x70(%rbp),%rax
  mov    0x34(%rax),%eax
  mov    %eax,-0x44(%rbp)
  mov    -0x70(%rbp),%rax
  lea    0x34(%rax),%rdx
  mov    -0x3c(%rbp),%eax
  mov    %eax,(%rdx)
  mov    -0x2c(%rbp),%eax
  mov    %eax,-0x40(%rbp)
  mov    -0x70(%rbp),%rax
  mov    0x30(%rax),%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x70(%rbp),%rax
  lea    0x30(%rax),%rdx
  mov    -0x44(%rbp),%eax
  mov    %eax,(%rdx)
  mov    -0x44(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x44(%rbp),%eax
  movzwl %ax,%edx
  mov    -0x40(%rbp),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x3c(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%eax
  sar    $0x10,%eax
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x3c(%rbp),%eax
  movzwl %ax,%eax
  mov    -0x40(%rbp),%edx
  sar    $0x10,%edx
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x70(%rbp),%rax
  mov    0x2c(%rax),%eax
  mov    %eax,-0x44(%rbp)
  mov    -0x70(%rbp),%rax
  lea    0x2c(%rax),%rdx
  mov    -0x3c(%rbp),%eax
  mov    %eax,(%rdx)
  mov    -0x28(%rbp),%eax
  mov    %eax,-0x40(%rbp)
  mov    -0x70(%rbp),%rax
  mov    0x28(%rax),%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x70(%rbp),%rax
  lea    0x28(%rax),%rdx
  mov    -0x44(%rbp),%eax
  mov    %eax,(%rdx)
  mov    -0x44(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x44(%rbp),%eax
  movzwl %ax,%edx
  mov    -0x40(%rbp),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x3c(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%eax
  sar    $0x10,%eax
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x3c(%rbp),%eax
  movzwl %ax,%eax
  mov    -0x40(%rbp),%edx
  sar    $0x10,%edx
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x70(%rbp),%rax
  mov    0x24(%rax),%eax
  mov    %eax,-0x44(%rbp)
  mov    -0x70(%rbp),%rax
  lea    0x24(%rax),%rdx
  mov    -0x3c(%rbp),%eax
  mov    %eax,(%rdx)
  mov    -0x24(%rbp),%eax
  mov    %eax,-0x40(%rbp)
  mov    -0x70(%rbp),%rax
  mov    0x20(%rax),%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x70(%rbp),%rax
  lea    0x20(%rax),%rdx
  mov    -0x44(%rbp),%eax
  mov    %eax,(%rdx)
  mov    -0x44(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x44(%rbp),%eax
  movzwl %ax,%edx
  mov    -0x40(%rbp),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x3c(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%eax
  sar    $0x10,%eax
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x3c(%rbp),%eax
  movzwl %ax,%eax
  mov    -0x40(%rbp),%edx
  sar    $0x10,%edx
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x70(%rbp),%rax
  mov    0x1c(%rax),%eax
  mov    %eax,-0x44(%rbp)
  mov    -0x70(%rbp),%rax
  lea    0x1c(%rax),%rdx
  mov    -0x3c(%rbp),%eax
  mov    %eax,(%rdx)
  mov    -0x20(%rbp),%eax
  mov    %eax,-0x40(%rbp)
  mov    -0x70(%rbp),%rax
  mov    0x18(%rax),%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x70(%rbp),%rax
  lea    0x18(%rax),%rdx
  mov    -0x44(%rbp),%eax
  mov    %eax,(%rdx)
  mov    -0x44(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x44(%rbp),%eax
  movzwl %ax,%edx
  mov    -0x40(%rbp),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x3c(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%eax
  sar    $0x10,%eax
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x3c(%rbp),%eax
  movzwl %ax,%eax
  mov    -0x40(%rbp),%edx
  sar    $0x10,%edx
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x70(%rbp),%rax
  mov    0x14(%rax),%eax
  mov    %eax,-0x44(%rbp)
  mov    -0x70(%rbp),%rax
  lea    0x14(%rax),%rdx
  mov    -0x3c(%rbp),%eax
  mov    %eax,(%rdx)
  mov    -0x1c(%rbp),%eax
  mov    %eax,-0x40(%rbp)
  mov    -0x70(%rbp),%rax
  mov    0x10(%rax),%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x70(%rbp),%rax
  lea    0x10(%rax),%rdx
  mov    -0x44(%rbp),%eax
  mov    %eax,(%rdx)
  mov    -0x44(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x44(%rbp),%eax
  movzwl %ax,%edx
  mov    -0x40(%rbp),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x3c(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%eax
  sar    $0x10,%eax
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x3c(%rbp),%eax
  movzwl %ax,%eax
  mov    -0x40(%rbp),%edx
  sar    $0x10,%edx
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x70(%rbp),%rax
  mov    0xc(%rax),%eax
  mov    %eax,-0x44(%rbp)
  mov    -0x70(%rbp),%rax
  lea    0xc(%rax),%rdx
  mov    -0x3c(%rbp),%eax
  mov    %eax,(%rdx)
  mov    -0x18(%rbp),%eax
  mov    %eax,-0x40(%rbp)
  mov    -0x70(%rbp),%rax
  mov    0x8(%rax),%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x70(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    -0x44(%rbp),%eax
  mov    %eax,(%rdx)
  mov    -0x44(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x44(%rbp),%eax
  movzwl %ax,%edx
  mov    -0x40(%rbp),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x3c(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%eax
  sar    $0x10,%eax
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x3c(%rbp),%eax
  movzwl %ax,%eax
  mov    -0x40(%rbp),%edx
  sar    $0x10,%edx
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x70(%rbp),%rax
  mov    0x4(%rax),%eax
  mov    %eax,-0x44(%rbp)
  mov    -0x70(%rbp),%rax
  lea    0x4(%rax),%rdx
  mov    -0x3c(%rbp),%eax
  mov    %eax,(%rdx)
  mov    -0x14(%rbp),%eax
  mov    %eax,-0x40(%rbp)
  mov    -0x70(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x70(%rbp),%rax
  mov    -0x44(%rbp),%edx
  mov    %edx,(%rax)
  mov    -0x44(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x44(%rbp),%eax
  movzwl %ax,%edx
  mov    -0x40(%rbp),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x3c(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%eax
  sar    $0x10,%eax
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x3c(%rbp),%eax
  movzwl %ax,%eax
  mov    -0x40(%rbp),%edx
  sar    $0x10,%edx
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x64(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x48(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rcx
  mov    -0x58(%rbp),%rax
  add    %rcx,%rax
  movzwl (%rax),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x64(%rbp),%eax
  movzwl %ax,%edx
  mov    -0x48(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rsi
  mov    -0x58(%rbp),%rax
  add    %rsi,%rax
  movzwl (%rax),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  lea    (%rcx,%rax,1),%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  test   %eax,%eax
  js     L19
  mov    -0x64(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x48(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rcx
  mov    -0x58(%rbp),%rax
  add    %rcx,%rax
  movzwl (%rax),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x64(%rbp),%eax
  movzwl %ax,%edx
  mov    -0x48(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rsi
  mov    -0x58(%rbp),%rax
  add    %rsi,%rax
  movzwl (%rax),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  and    -0x38(%rbp),%eax
  test   %eax,%eax
  js     L42
  mov    -0x64(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x48(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rcx
  mov    -0x58(%rbp),%rax
  add    %rcx,%rax
  movzwl (%rax),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x64(%rbp),%eax
  movzwl %ax,%edx
  mov    -0x48(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rsi
  mov    -0x58(%rbp),%rax
  add    %rsi,%rax
  movzwl (%rax),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  lea    (%rcx,%rax,1),%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  jmp    L21
L42:
  mov    $0x80000000,%eax
  jmp    L21
L19:
  mov    -0x64(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x48(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rcx
  mov    -0x58(%rbp),%rax
  add    %rcx,%rax
  movzwl (%rax),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x64(%rbp),%eax
  movzwl %ax,%edx
  mov    -0x48(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rsi
  mov    -0x58(%rbp),%rax
  add    %rsi,%rax
  movzwl (%rax),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  or     -0x38(%rbp),%eax
  test   %eax,%eax
  jns    L83
  mov    -0x64(%rbp),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x48(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rcx
  mov    -0x58(%rbp),%rax
  add    %rcx,%rax
  movzwl (%rax),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0x64(%rbp),%eax
  movzwl %ax,%edx
  mov    -0x48(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rsi
  mov    -0x58(%rbp),%rax
  add    %rsi,%rax
  movzwl (%rax),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  lea    (%rcx,%rax,1),%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  jmp    L21
L83:
  mov    $0x7fffffff,%eax
L21:
  mov    %eax,-0x38(%rbp)
  mov    -0x38(%rbp),%eax
  sar    $0x9,%eax
  add    $0x1,%eax
  sar    %eax
  mov    %eax,-0x34(%rbp)
  cmpl   $0x7fff,-0x34(%rbp)
  jg     L6
  cmpl   $0xffff8000,-0x34(%rbp)
  jl     L74
  mov    -0x34(%rbp),%eax
  jmp    L4
L74:
  mov    $0xffff8000,%eax
  jmp    L4
L6:
  mov    $0x7fff,%eax
L4:
  mov    -0x48(%rbp),%edx
  movslq %edx,%rdx
  lea    (%rdx,%rdx,1),%rcx
  mov    -0x78(%rbp),%rdx
  add    %rcx,%rdx
  mov    %ax,(%rdx)
  cmpl   $0x7ffffff,-0x38(%rbp)
  jg     L139
  mov    -0x38(%rbp),%eax
  mov    $0xf8000000,%edx
  cmp    %edx,%eax
  cmovl  %edx,%eax
  shl    $0x4,%eax
  jmp    L55
L139:
  mov    $0x7ffffff0,%eax
L55:
  mov    -0x70(%rbp),%rdx
  add    $0x3c,%rdx
  mov    %eax,(%rdx)
  addl   $0x1,-0x48(%rbp)
L111:
  mov    -0x48(%rbp),%eax
  cmp    -0x68(%rbp),%eax
  jl     L20
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L61
  call   <__stack_chk_fail@plt>
L61:
  leave
  ret
```

assistant: ```c
void SKP_Silk_LPC_synthesis_order16(const short *in, const short *A_Q12, const int Gain_Q26, int *S, short *out, const int len) {
  int k;
  int SA, SB, out32_Q10, out32;
  int Atmp, A_align_Q12[8];
  for (k = 0; k < 8; k++) {
    A_align_Q12[k] = (((int)A_Q12[2 * k]) & 0x0000ffff) | (((int)A_Q12[2 * k + 1]) << (16));
  }
  for (k = 0; k < len; k++) {
    SA = S[15];
    Atmp = A_align_Q12[0];
    SB = S[14];
    S[14] = SA;
    out32_Q10 = ((((SA) >> 16) * (int)((short)(Atmp))) + ((((SA)&0x0000FFFF) * (int)((short)(Atmp))) >> 16));
    out32_Q10 = ((int)((unsigned int)((out32_Q10)) + (unsigned int)(((((SB)) >> 16) * (((Atmp)) >> 16) + (((((SB)) & 0x0000FFFF) * (((Atmp)) >> 16)) >> 16)))));
    SA = S[13];
    S[13] = SB;
    Atmp = A_align_Q12[1];
    SB = S[12];
    S[12] = SA;
    out32_Q10 = ((int)((unsigned int)((out32_Q10)) + (unsigned int)((((((SA)) >> 16) * (int)((short)((Atmp)))) + (((((SA)) & 0x0000FFFF) * (int)((short)((Atmp)))) >> 16)))));
    out32_Q10 = ((int)((unsigned int)((out32_Q10)) + (unsigned int)(((((SB)) >> 16) * (((Atmp)) >> 16) + (((((SB)) & 0x0000FFFF) * (((Atmp)) >> 16)) >> 16)))));
    SA = S[11];
    S[11] = SB;
    Atmp = A_align_Q12[2];
    SB = S[10];
    S[10] = SA;
    out32_Q10 = ((int)((unsigned int)((out32_Q10)) + (unsigned int)((((((SA)) >> 16) * (int)((short)((Atmp)))) + (((((SA)) & 0x0000FFFF) * (int)((short)((Atmp)))) >> 16)))));
    out32_Q10 = ((int)((unsigned int)((out32_Q10)) + (unsigned int)(((((SB)) >> 16) * (((Atmp)) >> 16) + (((((SB)) & 0x0000FFFF) * (((Atmp)) >> 16)) >> 16)))));
    SA = S[9];
    S[9] = SB;
    Atmp = A_align_Q12[3];
    SB = S[8];
    S[8] = SA;
    out32_Q10 = ((int)((unsigned int)((out32_Q10)) + (unsigned int)((((((SA)) >> 16) * (int)((short)((Atmp)))) + (((((SA)) & 0x0000FFFF) * (int)((short)((Atmp)))) >> 16)))));
    out32_Q10 = ((int)((unsigned int)((out32_Q10)) + (unsigned int)(((((SB)) >> 16) * (((Atmp)) >> 16) + (((((SB)) & 0x0000FFFF) * (((Atmp)) >> 16)) >> 16)))));
    SA = S[7];
    S[7] = SB;
    Atmp = A_align_Q12[4];
    SB = S[6];
    S[6] = SA;
    out32_Q10 = ((int)((unsigned int)((out32_Q10)) + (unsigned int)((((((SA)) >> 16) * (int)((short)((Atmp)))) + (((((SA)) & 0x0000FFFF) * (int)((short)((Atmp)))) >> 16)))));
    out32_Q10 = ((int)((unsigned int)((out32_Q10)) + (unsigned int)(((((SB)) >> 16) * (((Atmp)) >> 16) + (((((SB)) & 0x0000FFFF) * (((Atmp)) >> 16)) >> 16)))));
    SA = S[5];
    S[5] = SB;
    Atmp = A_align_Q12[5];
    SB = S[4];
    S[4] = SA;
    out32_Q10 = ((int)((unsigned int)((out32_Q10)) + (unsigned int)((((((SA)) >> 16) * (int)((short)((Atmp)))) + (((((SA)) & 0x0000FFFF) * (int)((short)((Atmp)))) >> 16)))));
    out32_Q10 = ((int)((unsigned int)((out32_Q10)) + (unsigned int)(((((SB)) >> 16) * (((Atmp)) >> 16) + (((((SB)) & 0x0000FFFF) * (((Atmp)) >> 16)) >> 16)))));
    SA = S[3];
    S[3] = SB;
    Atmp = A_align_Q12[6];
    SB = S[2];
    S[2] = SA;
    out32_Q10 = ((int)((unsigned int)((out32_Q10)) + (unsigned int)((((((SA)) >> 16) * (int)((short)((Atmp)))) + (((((SA)) & 0x0000FFFF) * (int)((short)((Atmp)))) >> 16)))));
    out32_Q10 = ((int)((unsigned int)((out32_Q10)) + (unsigned int)(((((SB)) >> 16) * (((Atmp)) >> 16) + (((((SB)) & 0x0000FFFF) * (((Atmp)) >> 16)) >> 16)))));
    SA = S[1];
    S[1] = SB;
    Atmp = A_align_Q12[7];
    SB = S[0];
    S[0] = SA;
    out32_Q10 = ((int)((unsigned int)((out32_Q10)) + (unsigned int)((((((SA)) >> 16) * (int)((short)((Atmp)))) + (((((SA)) & 0x0000FFFF) * (int)((short)((Atmp)))) >> 16)))));
    out32_Q10 = ((int)((unsigned int)((out32_Q10)) + (unsigned int)(((((SB)) >> 16) * (((Atmp)) >> 16) + (((((SB)) & 0x0000FFFF) * (((Atmp)) >> 16)) >> 16)))));
    out32_Q10 = ((((out32_Q10) + (((((Gain_Q26) >> 16) * (int)((short)(in[k]))) + ((((Gain_Q26)&0x0000FFFF) * (int)((short)(in[k]))) >> 16)))) & 0x80000000) == 0 ? ((((out32_Q10) & (((((Gain_Q26) >> 16) * (int)((short)(in[k]))) + ((((Gain_Q26)&0x0000FFFF) * (int)((short)(in[k]))) >> 16)))) & 0x80000000) != 0 ? ((int)0x80000000) : (out32_Q10) + (((((Gain_Q26) >> 16) * (int)((short)(in[k]))) + ((((Gain_Q26)&0x0000FFFF) * (int)((short)(in[k]))) >> 16)))) : ((((out32_Q10) | (((((Gain_Q26) >> 16) * (int)((short)(in[k]))) + ((((Gain_Q26)&0x0000FFFF) * (int)((short)(in[k]))) >> 16)))) & 0x80000000) == 0 ? 0x7FFFFFFF : (out32_Q10) + (((((Gain_Q26) >> 16) * (int)((short)(in[k]))) + ((((Gain_Q26)&0x0000FFFF) * (int)((short)(in[k]))) >> 16)))));
    out32 = ((10) == 1 ? ((out32_Q10) >> 1) + ((out32_Q10)&1) : (((out32_Q10) >> ((10) - 1)) + 1) >> 1);
    out[k] = (short)((out32) > 0x7FFF ? 0x7FFF : ((out32) < ((short)0x8000) ? ((short)0x8000) : (out32)));
    S[15] = (((((((((int)0x80000000)) >> ((4)))) > (((0x7FFFFFFF) >> ((4)))) ? (((out32_Q10)) > (((((int)0x80000000)) >> ((4)))) ? (((((int)0x80000000)) >> ((4)))) : (((out32_Q10)) < (((0x7FFFFFFF) >> ((4)))) ? (((0x7FFFFFFF) >> ((4)))) : ((out32_Q10)))) : (((out32_Q10)) > (((0x7FFFFFFF) >> ((4)))) ? (((0x7FFFFFFF) >> ((4)))) : (((out32_Q10)) < (((((int)0x80000000)) >> ((4)))) ? (((((int)0x80000000)) >> ((4)))) : ((out32_Q10)))))) << ((4))));
  }
}
```