Constant REPL_PULSE_INFOLEVEL

pub const REPL_PULSE_INFOLEVEL: u32 = 1001u32;