toplev: handle one more fixed counter encoding