144743Smarkm#ifndef lint 244743Smarkmstatic char patchlevel[] = "@(#) patchlevel 7.6 97/03/21 19:27:23"; 344743Smarkm#endif 4