K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2003-08-23T03:38:36.000000Z
K 7
svn:log
V 93
Picking PAGE_SHIFT as a global option is a bad idea. Instead call the
option LOG2_PAGE_SIZE.

END