Dis Virtual Machine Tools for Python