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