Constant TIM4_BASEADDR 

pub const TIM4_BASEADDR: u32 = 0x40000800;