4 VectorImpl(Int, uint64_t, 4);
5 VectorImpl(Void, void *, 4);
6 VectorImpl(Boolean, Boolean *, 4);
7 VectorImpl(Constraint, Constraint *, 4);
8 VectorImpl(Set, Set *, 4);
9 VectorImpl(Element, Element *, 4);
10 HashTableImpl(Void, void *, void *, Ptr_hash_function, Ptr_equals);
11 HashSetImpl(Void, void *, Ptr_hash_function, Ptr_equals);