static void copyDataToMachine(S progID, S machine) {
  // TODO
}