8 VectorDef(Int, uint64_t, 4);
9 VectorDef(Boolean, Boolean *, 4);
10 VectorDef(Void, void *, 4);
12 inline unsigned int Ptr_hash_function(void * hash) {
13 return (unsigned int)((uint64_t)hash >> 4);
16 inline bool Ptr_equals(void * key1, void * key2) {
20 HashTableDef(Void, void *, void *, Ptr_hash_function, Ptr_equals);
21 HashSetDef(Void, void *, Ptr_hash_function, Ptr_equals);