Symbol: copy_pte_marker