All symbols starting with `d' in conf/tools