Constant TCP_TMR_INTERVAL 

pub const TCP_TMR_INTERVAL: u32 = 250;