Constant REPL_INTERVAL_INFOLEVEL 

pub const REPL_INTERVAL_INFOLEVEL: u32 = 1000u32;