static S getPublicKeyOfComputer(S computer) {
    // TODO: query central bot!
    if (eq(computer, computerID()))
      ret getMyPublicKey();
    ret null;
  }