GUARDED_HEAP_PAGE_FLAG_DEAD
|| (page.flags & GUARDED_HEAP_PAGE_FLAG_DEAD) != 0) {
page.flags |= GUARDED_HEAP_PAGE_FLAG_DEAD;
if ((page.flags & GUARDED_HEAP_PAGE_FLAG_DEAD) != 0) {
if ((page.flags & GUARDED_HEAP_PAGE_FLAG_DEAD) != 0)
else if ((page.flags & GUARDED_HEAP_PAGE_FLAG_DEAD) != 0)