All symbols starting with `v' in makedefs