txr o : o i atC