Symbol: l1pte_supersection_p