prereq: test -e tc20_verifywrap prog: tc20_verifywrap vgopts: --read-var-info=yes