vgopts: -q --suppressions=supp_unknown.supp
prog: badjump
cleanup: rm -f vgcore.pid*