#include <cruntime.h>
int32_t __int32_mul_16x16(int16_t muliplicand, int16_t multiplier);
__int32_mul_16x16 multiplies multiplicand by multiplier and returns the 32-bit product as the result.
__int32_mul_16x16 may not be provided on all implementations of CrossWorks.