pub const AlertDescription_bad_certificate: AlertDescription = 42;