requires = "frama-c-api_generator.core"
