filecounter.cpp: output format width 8