K 10
svn:author
V 4
fsmp
K 8
svn:date
V 27
1997-08-10T19:32:38.000000Z
K 7
svn:log
V 106
Cheap fix for kern/4255.
If the problem is seen this fix suggests a compile-time work-around then panics.

END