Constant PRODUCT_STANDARD_WS_SERVER_CORE 

pub const PRODUCT_STANDARD_WS_SERVER_CORE: u32 = 148;