Symbol: pte_index