All symbols starting with `d' in src/tools