mario uses redis