requires = "frama-c-wp.gui"
