pub const AlertDescription_bad_record_mac: AlertDescription = 20;