All symbols starting with `p' in EXTERNAL_HEADERS/bsd/ppc