some initial lua scripts for redis