string,	"+".
character,	"k".
eof.
