__delete_page
int32_t __delete_page __P((HTAB *, PAGE16 *, int32_t));
__delete_page(hashp, last_pagep, A_OVFL);
__delete_page(hashp, pagep, A_OVFL);
__delete_page(hashp, empty_page, A_OVFL);
__delete_page(hashp, temp_pagep, A_OVFL);