K 10
svn:author
V 3
jkh
K 8
svn:date
V 27
1993-10-31T00:19:01.000000Z
K 7
svn:log
V 150
Now that STAR_SAVER and SNAKE_SAVER are kernel options, add code
to make sure that bad things don't happen if both are (incorrectly)
defined at once.

END