Constant MAX_SUPPORTED_OS_NUM 

pub const MAX_SUPPORTED_OS_NUM: u32 = 4;