Unreachable code should not exist