counter          2145 dxref.c            static int counter = 0;
counter          2146 dxref.c            snprintf (buf, sizeof (buf), "MACINFOID%d", counter++);