moves XXXSymbol extractors into ptpe, because they are used only there