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