Symbol: pte_32