requires = "frama-c-pdg.types.core"
