static PKIKeyPair pki_newKeyPair() ctex {
  KeyPair keyPair = PKI.makeKeyPair();
  ret PKIKeyPair(
    PKI.privateKeyToString(keyPair.getPrivate().getEncoded()),
    PKI.publicKeyToString(keyPair.getPublic()));
}