Macro unreachable_validated 

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