translate exceptions No_more_input -> End_of_file