C/C++ implementation of vEB data structure