Re: [Python-Dev] SET_LINENO and python options