Internal counter for eids.