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