Naive Redis code