static PKIKeyPair agiBot_trustedKeyForMachine() {
  ret pkiKeyPairFromTwoLineFile(agiBot_trustedKeyForMachine_file());
}