Added /* NOTREACHED */ comment.