Added #include <typeinfo>