1prog: tc24_nonzero_sem
2vgopts: --hg-sanity-flags=111111
3