haru extension for gawk
