use PersistentHashtbl to provide a persistent Index type, while keeping
good performance for retrieval