1 #ifndef lint
2 static char patchlevel[] = "@(#) patchlevel 7.6 97/03/21 19:27:23";
3 #endif
4