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