Constant timer_intr_t_TIMER_INTR_NONE 

pub const timer_intr_t_TIMER_INTR_NONE: timer_intr_t = 0;