void insertTokenRec(std::list<TokenRec>::reverse_iterator succ, int id, std::string txt){ TokenRec temp; temp.id=id; temp.text=txt; TokenList.insert(succ.base(),temp); }