sig
  type t = Cil_types.lval
  val compare : Cilutil.LvalComparable.t -> Cilutil.LvalComparable.t -> int
end