static XdrSCVal forU64(int value) { XdrSCVal val = XdrSCVal(XdrSCValType.SCV_U64); val.u64 = XdrUint64(value); return val; }