timer.c revision 40ed9444
1