requires = "frama-c-from.core"
