prog: tc16_byterace
vgopts: --read-var-info=yes