pub const REPL_UNLOCK_NOFORCE: u32 = 0u32;