1prereq: test -e tc20_verifywrap
2prog: tc20_verifywrap
3vgopts: --read-var-info=yes --sigill-diagnostics=no
4