K 10
svn:author
V 2
dg
K 8
svn:date
V 27
1993-10-29T09:06:56.000000Z
K 7
svn:log
V 121
Whoops, the algorithm I last used was messed up - I left off parans, and
should have used PGSHIFT instead of PAGE_SHIFT.

END