static L<S> injectToAllVMs(S progID) {
  ret sendToAllVMs("Please inject program *.", progID);
}