requires = "frama-c-eva.gui"
