4.4BSD/usr/src/contrib/gawk-2.15.2/patchlevel.h

#define PATCHLEVEL	2