We have value generation going through Redis. Is it possible to add an interface so that sequence generation can be done in different ways?