requires = "frama-c-impact.gui"
