static volatile Android3 dbBot_instance;

static Android3 dbBot() {
  ret dbBot(dbBotStandardName());
}

static Android3 dbBot(S name) {
  ensureBotIsNotAlreadyRunning(name);
  assertNotNull(mainConcepts);
  ret dbBot_instance = methodsBot2(name, mainConcepts, exposedDBMethods, mainConcepts.lock);
}