Constant MBN_CDMA_DEFAULT_PROVIDER_ID 

pub const MBN_CDMA_DEFAULT_PROVIDER_ID: MBN_REGISTRATION_CONSTANTS;