Constant REPL_EXPORT_EXTENT_INFOLEVEL 

pub const REPL_EXPORT_EXTENT_INFOLEVEL: u32 = 1001u32;