Constant HASH_DRBG_SHA512_NAME 

pub const HASH_DRBG_SHA512_NAME: &str = "HashDRBG-SHA512";