Aharon Robbins Fri, 13 Jan 2012 03:56:39 -0800
Thanks Paul! I will merge into the gawk sources. Arnold
