Symbol: PTE_REF