back to printing the actual lines for text input
back to high-precision relex