Constant is_ctfe_mir_available 

pub const is_ctfe_mir_available: &str = "is_ctfe_mir_available";