sig val oneret : Cil_types.fundec -> unit end