Constant REPL_GUARDTIME_INFOLEVEL

pub const REPL_GUARDTIME_INFOLEVEL: u32 = 1002u32;