static XdrSCVal forSymbol(String symbol) { XdrSCVal val = XdrSCVal(XdrSCValType.SCV_SYMBOL); val.sym = symbol; return val; }