Useful extra bits for Python
