Removes a character ch from count [ ] array constructed by populateAndIncreaseCount ( )
static void updatecount ( int [ ] count , char ch ) { int i ; for ( i = ch ; i < MAX_CHAR ; ++ i ) -- count [ i ] ; }