requires = "frama-c-studia.core"
