GUIdff12 now has a HighLevelState