pub const is_mir_available: &str = _;