C++ Vector Clock