public void write(RPCOutputStream out) throws RPCException, IOException { kind.write(out); out.writeInt(exeUnit); instancePath.write(out); out.writeInt(routineHdl); out.writeString(external); }