Do not depend upon std::hash()