All symbols starting with `v' in src/slirp