Constant tskKERNEL_VERSION_NUMBER 

pub const tskKERNEL_VERSION_NUMBER: &'static [u8; 8];