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