#ifndef lint
static char patchlevel[] = "@(#) patchlevel 6.0";
#endif