Constant REPL_GUARDTIME_INFOLEVEL 

pub const REPL_GUARDTIME_INFOLEVEL: u32 = 1002u32;