SpaceAreaSize    1670 src/serialize.cc     CHECK(size <= SpaceAreaSize(space));
SpaceAreaSize    1671 src/serialize.cc     if (used_in_this_page + size > SpaceAreaSize(space)) {
SpaceAreaSize     558 src/serialize.h   int SpaceAreaSize(int space);