All symbols starting with `r' in src/tools