Constant PRODUCT_STANDARD_SERVER_CORE 

pub const PRODUCT_STANDARD_SERVER_CORE: u32 = 13u32;