Pythonium port of GWT