From http://www.gnu.org/software/gawk/manual/gawk.html#Foreword