public void write(RPCOutputStream out) throws RPCException, IOException {
   out.writeInt(nrOfExeUnitHnd);
   out.writeInt(exeUnitHnd_count);
   for (int for_i = 0; for_i < exeUnitHnd_count; for_i++) {
     out.writeInt(exeUnitHnd[for_i]);
   }
   stepCmd.write(out);
 }