Translate pygments to Python3