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