#ifndef lint
static
char
patchlevel
[
]
=
"@(#) patchlevel 7.6 97/03/21 19:27:23"
;
#endif
syntax highlighted by
Code2HTML
, v. 0.9.1