prog: tc12_rwl_trivial