spx_mips++;
spx_mips+=3;
static inline short MULT16_16_Q15(int a, int b) {   long long res;   if (!VERIFY_SHORT(a) || !VERIFY_SHORT(b))   {      fprintf (stderr, "MULT16_16_Q15: inputs are not short: %d %d\n", a, b);   }   res = ((long long)a)*b;   res >>= 15;   if (!VERIFY_SHORT(res))      fprintf (stderr, "MULT16_16_Q15: output is not short: %d\n", (int)res);   spx_mips++;   return res;}