static O eleu_bot(S programID) {
  ret eleu_getBot(programID);
}