redis extension for gawk
