txr 141 -> 142