scanner.l: STRING and CHAR treatment