1vgopts: --sigill-diagnostics=no
2prog: tc12_rwl_trivial
3