\catcode`\@=11 \let\newcounter\undefined\let\usecounter\undefined \catcode`\@=\active