K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2010-08-08T15:35:17.229908Z
K 7
svn:log
V 93
Revert r211029.
The suggestion to skip TUNABLE_INT() may not be well centered for all
cases.

END