todo: vEB tree + dynamic hash table