let name = "Dpds_gui.Highlighter.DpdsState"