(page_table[first_page].gen == gc_alloc_generation) &&
(page_table[first_page].bytes_used < (4096-32)) &&
(page_table[first_page].write_protected == 0) &&
(page_table[first_page].gen == gc_alloc_generation) &&
(page_table[first_page].bytes_used < (4096-32)) &&
(page_table[first_page].write_protected == 0) &&