prog: varinfo1
vgopts: --read-var-info=yes -q