delete van emde boas tree