Improved vclock example