Macro reachable 

macro_rules! reachable {
    ($message:literal, { $($details:tt)* }) => { ... };
    ($message:literal) => { ... };
}

Asserts this line is reached at least once.