pub const promoted_mir: &str = "promoted_mir";