B.4 Reporting Problems and Bugs

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.