//chapter-4,Example4_12,pg 491

printf("normal count would be 2^3=8, while 5-modulo counter would limit it to 5, so that illegitimate states are 8-5=3")