requires = "frama-c-studia.gui"
