!7

p-exp {
  KeyPair keys = makeRSAKeyPair();
  S pw = randomID(20);
  S encrypted = rsaEncrypt(pw, keys.getPrivate());
  print(encrypted);
  S decrypted = rsaDecrypt(encrypted, keys.getPublic());
  assertEqualsVerbose(pw, decrypted);
}