requires = "frama-c-volatile.core"
