pub const MBEDTLS_X509_BADCRL_BAD_KEY: u32 = 524288;