let
name =
"Slicing_gui.State"