void headerPageInitialize(Page * p);
void freePageInitialize(Page * freepage, Page *headerpage);
#define headerFreepage_ptr(page)       ints_from_end((page), 1)
#define headerFreepagelist_ptr(page)   ints_from_end((page), 2)

/** @todo allow for effecient freeing of blocks of multiple pages, and
    implement worst-fit page reclamation (as a special case, use
    best-fit for single page allocations.) */

#define nextfreepage_ptr(page)   ints_from_end((page), 1)