ficl2UnsignedMultiply
ficl2Unsigned resultLo = ficl2UnsignedMultiply(u.low, mul);
ficl2Unsigned resultHi = ficl2UnsignedMultiply(u.high, mul);
prod = ficl2UnsignedMultiply(x, y);
FICL_PLATFORM_EXTERN ficl2Unsigned ficl2UnsignedMultiply(ficlUnsigned x,
ud = ficl2UnsignedMultiply(u1, u2);