static XdrSCVal forU32(int value) { XdrSCVal val = XdrSCVal(XdrSCValType.SCV_U32); val.u32 = XdrUint32(value); return val; }