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