requires = "frama-c-users.core"
