Constant REPL_STATE_NEVER_REPLICATED

pub const REPL_STATE_NEVER_REPLICATED: u32 = 3u32;