Constant REPL_EXTENT_FILE

pub const REPL_EXTENT_FILE: u32 = 1u32;