Semantic fix: An unknown character must always be interpreted as a wrong
token instead of a wrong constant.