Constant mir_promoted 

pub const mir_promoted: &str = "mir_promoted";