Use __COUNTER__ when available