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