Source position: systemh.inc line 1069
function UMul64x64_128(
a: UInt64;
b: UInt64;
out rHi: UInt64
):UInt64;