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