requires = "frama-c-security_slicing.gui"
