Constant DEFAULT_RESTART_INTERVAL

pub const DEFAULT_RESTART_INTERVAL: usize = 16;