* Fix an invalid hashing function on CORE_identifier.t