convert DSL to Python3 (just ran 2to3)