void counter ( );