requires = "frama-c-dive.core"
