Symbol: pte_looks_normal