Constant REPL_UNLOCK_FORCE 

pub const REPL_UNLOCK_FORCE: u32 = 1u32;