Symbol: pte_modified_p