vgopts: --suppressions=supp.supp -q
prog: supp2