requires = "frama-c-region.core"
