Completed HashTable function and its spec