Kill these lines copied from pypy long ago