pub const REPL_STATE_NO_SYNC: u32 = 2u32;