1ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownprog: varinfo2 2ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvgopts: --read-var-info=yes -q 3
1ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownprog: varinfo2 2ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvgopts: --read-var-info=yes -q 3