Constant SynchronizationTimer 

pub const SynchronizationTimer: TIMER_TYPE;