int16_t __int16_mul_8x8(int8_t muliplicand, int8_t multiplier);
__int16_mul_8x8 multiplies multiplicand by multiplier and returns the 16-bit signed product as the result.