prog: tc24_nonzero_sem
vgopts: --hg-sanity-flags=111111