implement redis_lib