Re: [pypy-dev] Problem on OOType for jspypy