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