All symbols starting with `p' in conf/tools