requires = "frama-c-rtegen.gui"
