This should also be `nodeid_counter`.