Edit: hash_fun.h