requires = "frama-c-variadic.core"
