A Python implementation of a Python bytecode runner