add: return 0;
context: void dump_page_stats(int argc, char **argv){	unsigned int page_types[8];	addr i;	memset(page_types, 0, sizeof(page_types));	for(i=0; i<num_pages; i++) {		page_types[all_pages[i].state]++;	}	dprintf("page stats:\n");	dprintf("active: %d\ninactive: %d\nbusy: %d\nunused: %d\n",		page_types[PAGE_STATE_ACTIVE], page_types[PAGE_STATE_INACTIVE], page_types[PAGE_STATE_BUSY], page_types[PAGE_STATE_UNUSED]);	dprintf("modified: %d\nfree: %d\nclear: %d\nwired: %d\n",		page_types[PAGE_STATE_MODIFIED], page_types[PAGE_STATE_FREE], page_types[PAGE_STATE_CLEAR], page_types[PAGE_STATE_WIRED]);}