12aef6930SMark Murray #ifndef lint 22aef6930SMark Murray static char patchlevel[] = "@(#) patchlevel 7.6 97/03/21 19:27:23"; 32aef6930SMark Murray #endif 4