Constant CKP_ML_KEM_512 

pub const CKP_ML_KEM_512: CK_PROFILE_ID = 1;