Symbol: prev_permutation