Macro is_cheri

macro_rules! is_cheri {
    () => { ... };
}