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