Constant CKP_PUBLIC_CERTIFICATES_TOKEN 

pub const CKP_PUBLIC_CERTIFICATES_TOKEN: CK_PROFILE_ID = 4;