pub const optimized_mir: &str = _;