Constant REVEXT_DEFAULT_DS 

pub const REVEXT_DEFAULT_DS: u32 = 256u32;