SAVED_STATE_ID_FLAG
if (HAS_CSTATE_FLAG(cstate, SAVED_STATE_ID_FLAG)) {
SET_CSTATE_FLAG(cstate, SAVED_STATE_ID_FLAG);