static Android3 bot_ensureNotRunning(S greeting) {
  ensureBotNotRunning(greeting);
  ret bot(greeting);
}

static Android3 bot_ensureNotRunning(Android3 a) {
  ensureBotNotRunning(a.greeting);
  ret bot(a);
}

static Android3 bot_ensureNotRunning(S greeting, O responder) {
  ensureBotNotRunning(greeting);
  ret bot(greeting, responder);
}

static Android3 bot_ensureNotRunning() {
  ret bot_ensureNotRunning(defaultBotName());
}