LaTeX2e counters in LaTeX3 ways