SIZE_NEXT_STATES
if (s >= SIZE_NEXT_STATES)
if (n >= SIZE_NEXT_STATES)
} while (s < SIZE_NEXT_STATES);