notreachable is following