Constant REPL_STATE_NEVER_REPLICATED 

pub const REPL_STATE_NEVER_REPLICATED: u32 = 3u32;