second definition of workout.timer module here