added vector clock tools