Macro checked

macro_rules! checked {
    ($unsafe_:expr, $safe:expr) => { ... };
}