public void read(RPCInputStream in) throws RPCException, IOException {
   nrOfExeUnitHnd = in.readInt();
   exeUnitHnd_count = in.readInt();
   for (int for_i = 0; for_i < exeUnitHnd_count; for_i++) {
     exeUnitHnd[for_i] = in.readInt();
   }
   stepCmd.read(in);
 }