Constant STDOLE_MAJORVERNUM 

pub const STDOLE_MAJORVERNUM: u32 = 1u32;