counter doesn't use encode_vclock_header/2