don't import GUI stuff in dsl.py, use gui.py for that