All symbols starting with `p' in src/targets