I was going through the GNU Awk User\'s Guide and found this in the 4.1.1 Record Splitting with Standard awk section:
When using regular characters as th