✏️ Editing: hash_fun.h