requires = "frama-c-scope.gui"
