requires = "frama-c-server.core"
