VEBtree.expectedSize

this member stores the initialization size, as it would be lost forever after initialization, otherwise

class VEBtree
immutable
size_t expectedSize;

Meta