static Injection injectToBotVM(S progID) {
  startBotVM();
  ret injectTo("Bot VM.", progID);
}