static XdrSCVal forU128Parts(int hi, int lo) { XdrSCVal val = XdrSCVal(XdrSCValType.SCV_U128); val.u128 = XdrUInt128Parts(XdrUint64(hi), XdrUint64(lo)); return val; }