timer.c revision 298523461941e171ce97ea8b76892ac01bb7a49f