timer.c revision 4c7d0f3c386a609d596152a6956d1fd5f1d43aa4