Dynamically allocated van Emde Boas trees