sig
  type key = int
  type 'a map
  val empty : 'Cilutil.IntMapl.map
  val add :
    Cilutil.IntMapl.key ->
    '-> 'Cilutil.IntMapl.map -> 'Cilutil.IntMapl.map
  val find : Cilutil.IntMapl.key -> 'Cilutil.IntMapl.map -> 'a list
end