added #include <list>