int32_t __int32_mul(int32_t muliplicand, int32_t multiplier);
__int32_mul multiplies multiplicand by multiplier and returns the product as the result. As only the lower 32 bits of the product are returned, __int32_mul returns correct products, modulo 32 bits, for both signed and unsigned arguments.