1 prog: require-text-symbol
2 vgopts: -q "--require-text-symbol=:*libc.so*:doesntexist"
3 prog: require-text-symbol
4 vgopts: -q "--require-text-symbol=:*libc.so*:doesntexist" --vgdb-prefix=./vgdb-prefix-require-text-symbol-2
5 cleanup: rm ./vgdb-prefix-require-text-symbol-2*