Constant miri 

pub const miri: Symbol;