https://elvanco.com/blog/how-to-generate-a-sequence-number-in-redis