requires = "frama-c-slicing.gui"
