requires = "frama-c-rtegen.core"
