// botProg = bot program to start if botName is not found
static O evalInCertainBot(S botName, S botProg, S java) {
  startBotSeparateVM(botName, botProg);
  S cmd = format("please eval java *", java);
  ret safeUnstructure(matchOK2OrFail(sendToLocalBot(botName, cmd)));
}