All symbols starting with `w' in src/tools