CODE 13 IN AN ITS FILE GETS CHANGED INTO <VT> (EVIDENTLY BY THE FILE JOB) AS SEEN FROM EINE ON THE LISPM. IT WOULD SEEM TO BE MUCH BETTER TO INTERPRET IT AS UP-ARROW (IE LEAVE IT 13 INSTEAD OF MAPPING IT TO 213) SINCE VERTICAL TAB IS SO COMPLETELY RANDOM.