Symbol: next_permutation