Constant DEFAULT_RESTART_INTERVAL 

pub const DEFAULT_RESTART_INTERVAL: usize = 16;