Since TRICKLE_TIMER_IS_STOPPED is defined, and used in trickle_timer_is_running(), wouldn't it be suitable to use it here as well?