timer.c revision 0fd7c5d4
1