If coqtop reports a different number of interactions in its prompt
than we provided, we're out of sync.