1prog: tc12_rwl_trivial
2