identifier,	"K1".
character,	"E".
character,	"Z".
character,	"x".
character,	"t".
eof.
