Re: [pypy-dev] How to make a builtin pypy module visible?