[FOLD] integer_sequence tests