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