let
name =
"Value_gui.DegeneratedHighlightedState"