Update user_accessible_timer.c