Add unreachable example