Constant promoted_mir 

pub const promoted_mir: &str = "promoted_mir";