Constant RANDOMNESS_MODULE_NAME 

pub const RANDOMNESS_MODULE_NAME: &IdentStr;