static XdrSCVal forTimepoint(int value) { XdrSCVal val = XdrSCVal(XdrSCValType.SCV_TIMEPOINT); val.timepoint = XdrUint64(value); return val; }