sig val oneret : Cil_types.fundec -> unit val feature : Cil.featureDescr end