requires = "frama-c-inout.core"
