Symbol: WSTATE_SHIFT