(Uint64 hi, Uint64 lo) widenMulImpl(Uint64 a, Uint64 b) { if (useNativeWordMath) return native.widenMulImpl(a, b); return Uint64.widenMulPortable(a, b); }