pub const REPL_STATE_NEVER_REPLICATED: u32 = 3u32;