greatly simplified Redis interface