C++ demangling is properly checked.