Constant NotificationTimer 

pub const NotificationTimer: TIMER_TYPE;