&trip \toksdef\tokens=0 \input trip
