modified misc/hash.h : cpplint nearly ok