Add Next_permutation.