Constant REPL_EXPORT_INTEGRITY_INFOLEVEL

pub const REPL_EXPORT_INTEGRITY_INFOLEVEL: u32 = 1000u32;