4.4BSD/usr/src/contrib/gawk-2.15.2/config/ultrix40
DECstation running Ultrix 4.0 (4.x?) STDC_HEADERS 1