All symbols starting with `v' in conf/tools