timer.c revision c09dae9683f7fb55564d117bf7dcfcd74674b68e