/* mawk 1.1 */
#define  PATCHLEVEL	4
#define  PATCH_STRING	".4"  
#define  DATE_STRING    "May 1993"