requires = "frama-c-sparecode.core"
