returning two tokens

[Buday Gergely]

Hi,

I have to return two tokens in response to a single character. How can I
write this nicely using flex?

I've thought of going to a new state, returning the first token, then
reading the next character, returning the second token, and then flushing
back the read character to the stream.
  
Beside being not very elegant, it's doubtful if it works at the end of the
file.

Any comments?

- Gergely