Experiments with van Emde Boas trees