Implement ungetToken