pub const REPL_STATE_OK: u32 = 0u32;