static XdrSCVal forI128Parts(int hi, int lo) { XdrSCVal val = XdrSCVal(XdrSCValType.SCV_I128); val.i128 = XdrInt128Parts(XdrInt64(hi), XdrUint64(lo)); return val; }