pub const REPL_UNLOCK_FORCE: u32 = 1u32;