Constant CKF_USER_PIN_INITIALIZED 

pub const CKF_USER_PIN_INITIALIZED: CK_FLAGS = 8;