let
name =
"Impact_gui.HighlightedStmt"