My fork of gawk, branching from version 4.0.2