uint16_t __uint16_mul_8x8(uint8_t muliplicand, uint8_t multiplier);
__uint16_mul_8x8 multiplies multiplicand by multiplier and returns the 16-bit unsigned product as the result.