Freshly imported from Python.