1prog: tc19_shadowmem
2vgopts: --cmp-race-err-addrs=yes --error-limit=no
3