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