EOL_CHARACTERS, EOL2NAME, and NAME2EOL