All symbols starting with `m' in src/tools