if the following are true:

• byte at ID: c, cell #27 at time t = 1
• byte at ID: c, cell #(10 + (number of characters read at t)) at time t = 13

then cursor x at time (t + 1) = 0