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