C++ operator new[] has been fixed in recent GCC versions
Add material on std::string