sim-gui correctly initializes