There is nothing more dangerous than a bored archaeologist.
— Douglas Adams, The Hitchhiker’s Guide to the Galaxy
If you have problems with gawk or think that you have found a bug,
report it to the developers; we cannot promise to do anything,
but we might well want to fix it.