Symbol: create_krb5_invalidCertificates