Constant REPL_INTEGRITY_FILE 

pub const REPL_INTEGRITY_FILE: u32 = 1u32;