introduce UNREACHABLE() macro.