Symbol: SAL_FOR_EACH_STATE