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