HASH(0x7ff41c030888)