Constant miri

pub const miri: Symbol;