pub const REPL_INTEGRITY_FILE: u32 = 1u32;