gawk redis extension --------------------
https://git.code.sf.net/u/paulinohuerta/gawkextlib_d
latest