vgopts: --sigill-diagnostics=no
prog: tc12_rwl_trivial