Symbol: pte_exec