van emde boas fuckin trees