page_ctrs_sz
page_ctrs_size = page_ctrs_sz();
extern size_t page_ctrs_sz(void);
alloc_sz = cache_sz + free_sz + page_ctrs_sz();
extern size_t page_ctrs_sz(void);
extern size_t page_ctrs_sz(void);