All symbols starting with `p' in src/tools