HASH(0x7fede25ae1d0)