define REDISDB in redis.h