some little tools for doing things in redis