some tools for python