import javax.crypto.Cipher;

sS rsaDecrypt(S encodedText, PublicKey publicKey) ctex {
  Cipher cipher = Cipher.getInstance("RSA");
  cipher.init(Cipher.DECRYPT_MODE, publicKey);
  ret fromUtf8(cipher.doFinal(base64decode(encodedText)));
}