4.4BSD/usr/src/contrib/gawk-2.15.2/config/ultrix40

DECstation running Ultrix 4.0 (4.x?)
STDC_HEADERS	1