static XdrSCVal forVec(List<XdrSCVal> value) { XdrSCVal val = XdrSCVal(XdrSCValType.SCV_VEC); val.vec = value; return val; }