Part of the vclock implementation