sig val getWidenHints : Cil_types.kernel_function -> Cil_types.stmt -> Base.Set.t * (Base.t -> Locations.Location_Bytes.generic_widen_hint) end