IFCOUNTERS
if (cnt < IFCOUNTERS)
KASSERT(cnt < IFCOUNTERS, ("%s: invalid cnt %d", __func__, cnt));
case IFCOUNTERS:
KASSERT(cnt < IFCOUNTERS, ("%s: invalid cnt %d", __func__, cnt));
case IFCOUNTERS:
KASSERT(cnt < IFCOUNTERS, ("%s: invalid cnt %d", __func__, cnt));