Constant CKF_USER_PIN_TO_BE_CHANGED 

pub const CKF_USER_PIN_TO_BE_CHANGED: CK_FLAGS = 524288;